c73d87f | Daniel Le Berre | 27 January 2019, 10:51:55 UTC | Merge branch 'EFFICIENCY_FIX' of https://gitlab.ow2.org/sat4j/sat4j into EFFICIENCY_FIX | 27 January 2019, 10:51:55 UTC |
6d1c1f1 | Daniel Le Berre | 23 August 2017, 20:00:37 UTC | Fix import statements. | 15 December 2018, 18:49:37 UTC |
db4901d | Daniel Le Berre | 23 August 2017, 14:59:30 UTC | Change the code of getBacktrackLevel() to improve the running time (n^2 instead of n^3). | 15 December 2018, 18:49:37 UTC |
91c54ae | Daniel Le Berre | 15 December 2018, 18:36:11 UTC | Revert "Fix heuristics bumping (according to Armin's comments)." This reverts commit efcfea8c4b46fbe7324963624ce6e4d51a8cc088. | 15 December 2018, 18:36:11 UTC |
17d9c91 | Daniel Le Berre | 07 December 2018, 19:01:38 UTC | Another fix for #151. Need to go through the whole type hierarchy to retrieve all private fields. | 07 December 2018, 19:01:38 UTC |
20c8f7f | Daniel Le Berre | 07 December 2018, 17:36:00 UTC | Check field type: important when code weaving is performed (with JaCoCo for instance). | 07 December 2018, 17:36:00 UTC |
72c87c9 | Daniel Le Berre | 07 December 2018, 17:19:33 UTC | Fix for #151 | 07 December 2018, 17:19:33 UTC |
ab20f0c | Daniel Le Berre | 01 December 2018, 13:27:00 UTC | Fix missing addhook() method call. Thanks David Monniaux for reporting that problem. | 01 December 2018, 13:27:00 UTC |
958ad97 | Daniel Le Berre | 15 November 2018, 06:54:58 UTC | Fixing type for operations. | 15 November 2018, 06:54:58 UTC |
0cdc7b8 | Daniel Le Berre | 15 November 2018, 06:48:48 UTC | Remove unsused parameter. | 15 November 2018, 06:48:48 UTC |
6605bc5 | Daniel Le Berre | 14 November 2018, 20:27:10 UTC | Increasing JUnit timeout to avoid breaking builds. | 14 November 2018, 20:27:10 UTC |
ad1ee8d | Daniel Le Berre | 14 November 2018, 16:37:15 UTC | Clearing properties once the test is over. | 14 November 2018, 16:37:15 UTC |
edee35d | Daniel Le Berre | 13 November 2018, 21:28:15 UTC | A few more lines covered. | 13 November 2018, 21:28:15 UTC |
382a1ef | Daniel Le Berre | 13 November 2018, 17:40:44 UTC | moving back to 1.7 since there is no easy way to produce java 6 builds (maven 3.5 requires 1.7+) | 13 November 2018, 17:40:44 UTC |
fb3745c | Daniel Le Berre | 13 November 2018, 17:07:12 UTC | using previous version of maven for java 6 support | 13 November 2018, 17:07:12 UTC |
42bd1f0 | Daniel Le Berre | 13 November 2018, 08:21:05 UTC | Make the source code compatible with java 1.6 | 13 November 2018, 08:21:05 UTC |
7be2065 | Daniel Le Berre | 13 November 2018, 07:25:15 UTC | trying to keep support for java 1.6 | 13 November 2018, 07:25:15 UTC |
1ab805b | Daniel Le Berre | 13 November 2018, 07:23:08 UTC | Fix java 1.6 compilation level. | 13 November 2018, 07:23:08 UTC |
dc6c4b7 | Daniel Le Berre | 13 November 2018, 07:22:11 UTC | Fix for sonarqube violation. | 13 November 2018, 07:22:11 UTC |
2fc692b | Daniel Le Berre | 13 November 2018, 06:53:20 UTC | Removing java 6 build since source input is Java 7 | 13 November 2018, 06:53:20 UTC |
818dc29 | Daniel Le Berre | 13 November 2018, 06:51:34 UTC | adding java 6 build, removing java 10 one | 13 November 2018, 06:51:34 UTC |
96b102a | Daniel Le Berre | 11 November 2018, 14:08:19 UTC | rename stats into pbStats to avoid confusion with Solver.stats. | 12 November 2018, 21:52:08 UTC |
5fc0871 | Daniel Le Berre | 12 November 2018, 21:48:02 UTC | Make test Java 6 compatible. | 12 November 2018, 21:48:02 UTC |
3f61028 | Daniel Le Berre | 11 November 2018, 16:53:13 UTC | Prevent division by zero. Display statistics only if the number of variables and literals is greater than 0. | 12 November 2018, 21:46:58 UTC |
212b22a | Daniel Le Berre | 11 November 2018, 11:57:18 UTC | More encapsulation of statistics fields. | 12 November 2018, 21:24:58 UTC |
61fcb96 | Daniel Le Berre | 11 November 2018, 11:43:58 UTC | Encapsulated fields of SolverStats to please SonarQube. Need however to check if it does not impact efficiency. | 12 November 2018, 21:24:58 UTC |
8a723aa | Daniel Le Berre | 11 November 2018, 13:13:01 UTC | Replacing calls to soout and serr by utility logger method. | 12 November 2018, 21:12:02 UTC |
2e621c2 | Daniel Le Berre | 11 November 2018, 13:16:14 UTC | Fixing last sonarqube vulnerabilities. | 12 November 2018, 21:09:33 UTC |
05702b6 | Daniel Le Berre | 11 November 2018, 13:22:27 UTC | Closing properly fwriter without using java7+ try on resources. | 12 November 2018, 21:08:50 UTC |
15bd435 | Daniel Le Berre | 11 November 2018, 13:26:09 UTC | Closing properly fwriter without using java7+ try on resources. | 12 November 2018, 21:08:50 UTC |
febe5b7 | Daniel Le Berre | 11 November 2018, 13:51:38 UTC | Fix for sonarqube violation. | 12 November 2018, 21:06:49 UTC |
8f9449d | Daniel Le Berre | 11 November 2018, 13:58:07 UTC | Fix for sonarqube violation. | 12 November 2018, 21:06:46 UTC |
fa9ba0f | Daniel Le Berre | 11 November 2018, 16:01:51 UTC | Fixed raw type warnings | 12 November 2018, 21:03:58 UTC |
daa4668 | Daniel Le Berre | 11 November 2018, 21:47:44 UTC | Yet another sonarqube violation fix. | 12 November 2018, 21:01:52 UTC |
15c9b2c | Daniel Le Berre | 11 November 2018, 21:44:27 UTC | Fixed handling of Interrupted Exception with Thread.currentThread().interrupt(). | 12 November 2018, 21:00:08 UTC |
e6e2bd5 | Daniel Le Berre | 11 November 2018, 21:26:43 UTC | New test case to cover all command line classes in core package. | 12 November 2018, 21:00:08 UTC |
d01f951 | Daniel Le Berre | 11 November 2018, 21:25:52 UTC | Making addHook method public final to reuse it in other launchers. | 12 November 2018, 21:00:08 UTC |
a980877 | Daniel Le Berre | 11 November 2018, 21:12:47 UTC | Shutdown hook no longer added in constructor, to allow unit testing. For some reason, the code does not compile on my computer, while it should. Let's see how it goes in CI. | 12 November 2018, 21:00:08 UTC |
8334e68 | Daniel Le Berre | 12 November 2018, 16:06:49 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 12 November 2018, 16:06:49 UTC |
ee099a4 | Daniel Le Berre | 12 November 2018, 16:04:53 UTC | Fix for #127 | 12 November 2018, 16:06:22 UTC |
231da5d | Daniel Le Berre | 12 November 2018, 16:04:53 UTC | Fix for #129 | 12 November 2018, 16:04:53 UTC |
2e3dde8 | Daniel Le Berre | 12 November 2018, 15:49:38 UTC | Fix for #129 | 12 November 2018, 15:49:38 UTC |
ed68390 | Daniel Le Berre | 10 November 2018, 08:42:48 UTC | One more sonarqube fix. | 10 November 2018, 08:42:48 UTC |
cc4e132 | Daniel Le Berre | 10 November 2018, 08:39:35 UTC | Fixes a few sonarqube violation. | 10 November 2018, 08:39:35 UTC |
79ee6a4 | Daniel Le Berre | 10 November 2018, 08:29:08 UTC | Fixes a few sonarqube violations. | 10 November 2018, 08:29:08 UTC |
f3c86d8 | Daniel Le Berre | 10 November 2018, 08:20:42 UTC | Fix another sonarqube violation. | 10 November 2018, 08:20:42 UTC |
18f9996 | Daniel Le Berre | 10 November 2018, 08:18:33 UTC | Correcting one sonarqube violation. | 10 November 2018, 08:18:33 UTC |
6c8c8c1 | Daniel Le Berre | 09 November 2018, 20:08:41 UTC | New test case to make sure that the order is properly maintained. Thanks STAMP. | 09 November 2018, 20:08:41 UTC |
309b935 | Daniel Le Berre | 08 November 2018, 09:58:59 UTC | Check that non unit constraints are really entered in the solver. Thanks STAMP. | 08 November 2018, 09:58:59 UTC |
ec652dc | Daniel Le Berre | 31 October 2018, 12:39:17 UTC | alpine images do not exist for java-10 and java-11 ... | 31 October 2018, 12:39:17 UTC |
e195089 | Daniel Le Berre | 31 October 2018, 11:55:00 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 31 October 2018, 11:55:00 UTC |
d4ff34d | Daniel Le Berre | 31 October 2018, 11:15:59 UTC | Woraround to avoid openjdk 8 181 bug https://stackoverflow.com/a/53070605 | 31 October 2018, 11:15:59 UTC |
c44dfa3 | Anne Parrain | 31 October 2018, 10:35:05 UTC | confl.updateSlack() is now called inside confl.setDecisionLevel() | 31 October 2018, 10:35:05 UTC |
54b0b4a | Daniel Le Berre | 30 October 2018, 08:02:53 UTC | Revert "Update jacoco artifact id." This reverts commit e8c890230bd572aba0312845c9c38162882cf55c. | 30 October 2018, 08:02:53 UTC |
e8c8902 | Daniel Le Berre | 30 October 2018, 06:44:06 UTC | Update jacoco artifact id. | 30 October 2018, 06:44:06 UTC |
a829c09 | Daniel Le Berre | 29 October 2018, 17:29:43 UTC | Make explicit call to IConflict.setDecisionLevel() | 29 October 2018, 17:29:43 UTC |
b4a97f9 | Daniel Le Berre | 29 October 2018, 16:52:29 UTC | Do not set the decisionLevel when calling isAssertive. | 29 October 2018, 16:52:29 UTC |
643321b | Daniel Le Berre | 23 August 2017, 20:00:37 UTC | Fix import statements. | 17 October 2018, 16:29:11 UTC |
0513826 | Daniel Le Berre | 23 August 2017, 14:59:30 UTC | Change the code of getBacktrackLevel() to improve the running time (n^2 instead of n^3). | 17 October 2018, 16:27:08 UTC |
db90c60 | Daniel Le Berre | 27 September 2018, 05:40:16 UTC | Adding build for java 11. Moving from maven 3.5.3 to 3.5.4 for that. | 27 September 2018, 05:40:16 UTC |
c7e2127 | Daniel Le Berre | 25 September 2018, 16:20:28 UTC | synchronizing both access to the timer object. Thanks Romain. | 25 September 2018, 16:20:28 UTC |
b430d19 | Daniel Le Berre | 25 September 2018, 15:49:30 UTC | Improving #147 It is probably better to avoid a NPE on the synchronized statement. | 25 September 2018, 15:49:30 UTC |
4d97c59 | Daniel Le Berre | 25 September 2018, 15:44:42 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 25 September 2018, 15:44:42 UTC |
5047348 | Daniel Le Berre | 25 September 2018, 15:23:08 UTC | Potential fix for #147. | 25 September 2018, 15:23:08 UTC |
7de2fa4 | Romain WALLON | 24 September 2018, 12:49:33 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 24 September 2018, 12:49:33 UTC |
1baa36f | Romain WALLON | 24 September 2018, 12:48:54 UTC | Adds private modifier | 24 September 2018, 12:48:54 UTC |
2e239a3 | Daniel Le Berre | 16 September 2018, 14:55:51 UTC | Using 12s as timeout for all tests, as a workaround for #146. | 16 September 2018, 14:55:51 UTC |
7f8cf67 | Daniel Le Berre | 16 September 2018, 14:47:09 UTC | Fixed a typo in the comments. | 16 September 2018, 14:47:09 UTC |
06c124d | Daniel Le Berre | 16 September 2018, 13:59:16 UTC | Added fix for #145 suggested by Tobias. | 16 September 2018, 13:59:16 UTC |
47918d1 | Daniel Le Berre | 16 September 2018, 13:58:28 UTC | Fixed test case: the \ were doubly escaped. | 16 September 2018, 13:58:28 UTC |
a1dbd07 | Daniel Le Berre | 16 September 2018, 13:56:05 UTC | Add test case for #145 | 16 September 2018, 13:56:05 UTC |
e5a61a7 | Daniel Le Berre | 16 September 2018, 11:33:13 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 16 September 2018, 11:33:13 UTC |
7dcb4f6 | Daniel Le Berre | 16 September 2018, 09:52:33 UTC | Update JaCoCo to 0.8.2 to be compatible with Java 10 (thanks Tobias for the hint). | 16 September 2018, 09:52:33 UTC |
3dfc50b | Daniel Le Berre | 26 August 2018, 22:07:18 UTC | Allow MaxHS to be used on the command line of the maxsat solver (-hs option). | 26 August 2018, 22:08:33 UTC |
ca8ba74 | Daniel Le Berre | 26 August 2018, 21:24:26 UTC | Added missing header. | 26 August 2018, 21:24:26 UTC |
bd420df | Daniel Le Berre | 08 July 2018, 15:49:52 UTC | Increasing timeout for the test to proceed without breaking the build. | 08 July 2018, 15:49:52 UTC |
3f17dba | Daniel Le Berre | 08 July 2018, 15:21:14 UTC | Remove comment in French | 08 July 2018, 15:21:14 UTC |
efcfea8 | Daniel Le Berre | 08 July 2018, 15:01:25 UTC | Fix heuristics bumping (according to Armin's comments). | 08 July 2018, 15:01:25 UTC |
e49f712 | Daniel Le Berre | 02 July 2018, 07:05:32 UTC | No longer ignore maven compiler plugin to avoid issues such as moving to photon https://bugs.eclipse.org/bugs/show_bug.cgi?id=536558 | 02 July 2018, 07:05:32 UTC |
359df06 | Daniel Le Berre | 01 July 2018, 21:54:45 UTC | correct name for test file. | 01 July 2018, 21:54:45 UTC |
9f9c6da | Daniel Le Berre | 01 July 2018, 21:13:50 UTC | Issue was #144 ... | 01 July 2018, 21:13:50 UTC |
8749c57 | Daniel Le Berre | 01 July 2018, 21:10:33 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git | 01 July 2018, 21:10:33 UTC |
b119c31 | Daniel Le Berre | 01 July 2018, 21:10:07 UTC | Testcase for #143. | 01 July 2018, 21:10:07 UTC |
2743478 | Romain WALLON | 20 June 2018, 14:22:19 UTC | Corrects the size of the array representing an implicant | 20 June 2018, 14:22:19 UTC |
37faa28 | Daniel Le Berre | 11 March 2018, 16:25:44 UTC | Relying on jdk 10 instead of 9 to fix certificat issue | 11 March 2018, 16:25:44 UTC |
c393a4f | Daniel Le Berre | 10 March 2018, 07:45:35 UTC | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j | 10 March 2018, 07:45:35 UTC |
17fc54b | Daniel Le Berre | 10 March 2018, 07:45:26 UTC | update to maven 3.5.3 | 10 March 2018, 07:45:26 UTC |
8b426e0 | Romain WALLON | 01 March 2018, 10:12:03 UTC | Replaces a null return by the use of a tautology. | 01 March 2018, 10:12:03 UTC |
1813ceb | Daniel Le Berre | 01 March 2018, 09:35:43 UTC | Using NullObject for tautological PB constraints. | 01 March 2018, 09:35:43 UTC |
da498a7 | Anne Parrain | 28 February 2018, 09:39:10 UTC | suppress createConflict definitions under-specified (with less than the 8 parameters needed to create a ConflictMap instance) | 28 February 2018, 09:39:10 UTC |
4701c77 | Anne Parrain | 27 February 2018, 15:43:58 UTC | corrected a wrong call to createConflict | 27 February 2018, 15:43:58 UTC |
846d229 | Daniel Le Berre | 26 February 2018, 16:16:29 UTC | Fix javadoc and VecInt.remove(Integer) implementation. | 26 February 2018, 16:16:29 UTC |
0dc0698 | Daniel Le Berre | 17 February 2018, 13:02:43 UTC | Improve Javadoc. | 17 February 2018, 13:02:43 UTC |
46291e4 | Daniel Le Berre | 08 February 2018, 13:37:39 UTC | Added new test case to prevent solvers without learning to pass. | 08 February 2018, 13:37:39 UTC |
afab137 | Daniel Le Berre | 04 January 2018, 14:42:18 UTC | Updated test case to make it really useful (thanks STAMP). | 04 January 2018, 14:42:18 UTC |
09e9173 | Daniel Le Berre | 20 December 2017, 05:30:05 UTC | Update README with link to nightly builds | 20 December 2017, 05:30:05 UTC |
af0a65f | Daniel Le Berre | 20 December 2017, 05:26:44 UTC | Removed xcsp libraries | 20 December 2017, 05:26:44 UTC |
53fc413 | Romain WALLON | 22 November 2017, 12:27:18 UTC | Cleans up unused constructors, methods and variables. | 22 November 2017, 12:27:18 UTC |
185a687 | Romain WALLON | 22 November 2017, 09:45:02 UTC | Adds the possibility to choose whether obvious divisions should be applied automatically | 22 November 2017, 09:45:02 UTC |
040fd01 | Daniel Le Berre | 21 November 2017, 10:01:30 UTC | Merge branch 'cherry-pick-d7168eec' into 'master' this gives a more honest version of 'no division' See merge request !3 | 21 November 2017, 10:01:30 UTC |