HEAD | 5080fed | call jacoco:report after deploy goal | 01 March 2022, 22:08:31 UTC |
refs/heads/2_0_1 | 6a2af12 | Creating tag for 2.0.1 release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_1@64 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 June 2008, 16:46:52 UTC |
refs/heads/2_0_2 | 6b76a8a | Tag for release 2.0.2. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2@104 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 05 August 2008, 21:47:19 UTC |
refs/heads/2_0_2_FIXED | 4432862 | Yet another @Override problem. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_2_FIXED@122 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 06 August 2008, 15:54:27 UTC |
refs/heads/2_0_3 | e0f760f | Fixed SVN url. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_3@176 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 21 October 2008, 16:20:57 UTC |
refs/heads/2_0_4 | d61dbfe | Fixed default target. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_4@248 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 24 December 2008, 09:13:52 UTC |
refs/heads/2_0_5 | b96f3a1 | dded missing copyright headers (still spotted by Michael). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_0_5@302 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 31 January 2009, 14:57:02 UTC |
refs/heads/2_1_0_ECLIPSE | 822b7e9 | Final release of SAT4J 2.1 that will ship with Eclipse 3.5 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_1_0_ECLIPSE@463 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 May 2009, 11:46:52 UTC |
refs/heads/2_1_0_RC1 | a71f375 | Tagged release 2.1.0 RC1 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_1_0_RC1@342 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 02 March 2009, 18:59:45 UTC |
refs/heads/2_1_0_RC2 | 74bdcb3 | Tag for release 2.1.0 RC2 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_1_0_RC2@366 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 12 March 2009, 21:33:55 UTC |
refs/heads/2_1_0_RC_4 | 47946ef | RC4 release, for Eclipse 3.5 M7, PB09 and MAXSAT09. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_1_0_RC_4@425 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 25 April 2009, 21:18:17 UTC |
refs/heads/2_1_1 | 66c436b | 2.1.1 release that should ship with Eclipse 3.5.2. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_1_1@515 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 18 October 2009, 13:34:39 UTC |
refs/heads/2_1_FINAL | d26ae52 | create a tag for 2.1 final released with Eclipse. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/2_1_FINAL@505 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 July 2009, 20:35:22 UTC |
refs/heads/2_2_0 | 1c188c2 | creating the tag for 2.2.0 official release. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0@725 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 June 2010, 15:41:32 UTC |
refs/heads/2_2_3 | ef69629 | [maven-release-plugin] copy for tag org.sat4j.pom-2.2.3 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.3@833 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 23 December 2010, 20:46:38 UTC |
refs/heads/2_3_0 | 460d6aa | [maven-release-plugin] copy for tag org.sat4j.pom-2.3.0 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.3.0@926 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 March 2011, 19:26:30 UTC |
refs/heads/2_3_1 | 610006b | [maven-release-plugin] copy for tag org.sat4j.pom-2.3.1 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.3.1@1118 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 30 October 2011, 09:16:09 UTC |
refs/heads/2_3_2 | 7265877 | [maven-release-plugin] copy for tag org.sat4j.pom-2.3.2 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.3.2@1458 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 July 2012, 14:39:34 UTC |
refs/heads/2_3_3 | 2026be8 | [maven-release-plugin] copy for tag org.sat4j.pom-2.3.3 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.3.3@1914 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 February 2013, 10:46:18 UTC |
refs/heads/2_3_4 | e99c3f2 | [maven-release-plugin] copy for tag org.ow2.sat4j.pom-2.3.4 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.ow2.sat4j.pom-2.3.4@2000 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 19 April 2013, 12:09:31 UTC |
refs/heads/2_3_5 | 170d1dc | making source code of Sat4j 2.3.5 visible to the outside world. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.ow2.sat4j.pom-2.3.5@2054 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 May 2013, 15:09:16 UTC |
refs/heads/2_3_6 | bf44d05 | release 2.3.6 | 14 December 2020, 17:12:27 UTC |
refs/heads/BRESIL | 06b5a5d | Implement toString(VarMapper) git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/BRESIL@2207 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 29 November 2013, 23:06:15 UTC |
refs/heads/DAC | 07d92e3 | MAINT directly log the played policy | 06 December 2021, 13:54:39 UTC |
refs/heads/ECLIPSE_3_6 | b74c0c5 | Tagging the code that will ship in Eclipse 3.6 (Helios). git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags/ECLIPSE_3_6@718 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 June 2010, 16:47:33 UTC |
refs/heads/EFFICIENCY_FIX | c73d87f | Merge branch 'EFFICIENCY_FIX' of https://gitlab.ow2.org/sat4j/sat4j into EFFICIENCY_FIX | 27 January 2019, 10:51:55 UTC |
refs/heads/ENCAPSULATE_STATISTICS_FIELDS | 927e349 | Yet another sonarqube violation fix. | 11 November 2018, 21:47:44 UTC |
refs/heads/JAN_FIX | 4f3ba88 | Configures CI to run tests | 28 October 2019, 16:01:52 UTC |
refs/heads/KTH | 1bdf238 | Solve compilation problem. | 26 March 2017, 17:25:24 UTC |
refs/heads/PROOF_LOGGING | f5721b6 | git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/PROOF_LOGGING@71 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 07 July 2008, 09:23:34 UTC |
refs/heads/REDUCED_CORE_PACKAGES | 40db9f0 | Added a static method to access the default solver. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/REDUCED_CORE_PACKAGES@806 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 11 November 2010, 15:40:05 UTC |
refs/heads/SAT107FIX | b24174c | Added fix for SAT-107. Updated version number to 2.3.5 git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/SAT107FIX@2053 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 28 May 2013, 15:07:37 UTC |
refs/heads/THREE_ZERO | a7da92b | Now register blocking clauses, else those clauses will be forgotten after restarting. git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/THREE_ZERO@693 ba638df5-4473-46d1-82f8-c3ae2a17a6e1 | 09 May 2010, 19:56:12 UTC |
refs/heads/VERIPB | 6db7a5c | Using dedicated message for VERIPB. | 15 July 2021, 11:56:04 UTC |
refs/heads/VERIPB2 | d326677 | Delete Anthony2.java | 20 September 2021, 14:04:37 UTC |
refs/heads/assertion-level | 078f9d1 | Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j into assertion-level | 11 May 2021, 19:19:38 UTC |
refs/heads/cdcl-strategies | b872caa | Double bump conflicting and better effectiveness. | 10 February 2021, 15:17:47 UTC |
refs/heads/cherry-pick-5d0a981f | 7f0dcd1 | Add missing import statements. | 23 August 2017, 15:42:30 UTC |
refs/heads/fix-sat-155 | e654915 | Corrects the order of the literals in all kinds of WatchPb | 18 March 2019, 11:47:04 UTC |
refs/heads/irrelevant-experimental | f4f0ab9 | Some changes to take both removal and weakening into account. | 29 January 2020, 17:16:27 UTC |
refs/heads/irrelevant-rs | 6bac6d2 | Fixes the lost conflict due to irrelevant literal removal. | 21 August 2020, 21:55:20 UTC |
refs/heads/master | 5080fed | call jacoco:report after deploy goal | 01 March 2022, 22:08:31 UTC |
refs/heads/sat19 | b695c88 | A first attempt to measure time needed to detect irrelevant literals | 21 March 2019, 13:44:16 UTC |
refs/heads/set-sast-config-1 | 062e6da | Adding build stage | 22 May 2021, 16:18:57 UTC |
refs/heads/set-sast-config-2 | 3182a9e | Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist | 21 September 2021, 06:20:06 UTC |
refs/heads/weakening-investigations | 0f34a5c | Another fix for Java 8 | 02 July 2020, 20:26:09 UTC |
refs/merge-requests/10/head | 3182a9e | Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist | 21 September 2021, 06:20:06 UTC |
refs/merge-requests/10/merge | f361088 | Merge branch 'set-sast-config-2' into 'master' Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist See merge request sat4j/sat4j!10 | 21 September 2021, 06:20:31 UTC |
refs/merge-requests/5/head | e13e284 | Noticed that implicantIntersection was not called regularly. | 23 February 2020, 16:45:24 UTC |
refs/merge-requests/5/merge | 1382cc5 | Merge branch 'prefbones' into 'master' Prefbones See merge request sat4j/sat4j!5 | 01 March 2022, 10:52:07 UTC |
refs/merge-requests/8/head | 062e6da | Adding build stage | 22 May 2021, 16:18:57 UTC |
refs/merge-requests/8/merge | a48d9ad | Merge branch 'set-sast-config-1' into 'master' Set .gitlab-ci.yml to enable or configure SAST See merge request sat4j/sat4j!8 | 08 September 2021, 10:20:07 UTC |
refs/merge-requests/9/head | d326677 | Delete Anthony2.java | 20 September 2021, 14:04:37 UTC |
refs/merge-requests/9/merge | b89565a | Merge branch 'VERIPB2' into 'master' Add support for veripb in CP based solvers See merge request sat4j/sat4j!9 | 20 September 2021, 14:06:07 UTC |