Commits · ab20f0c638ec75936af437f594209be453702081 · SAT4J / sat4j

18 Apr, 2017 1 commit
- Fixed dependency to tests on sat4j-pseudo. · 1aa9eb18
  Daniel Le Berre authored Apr 18, 2017
  
  1aa9eb18
11 Sep, 2013 1 commit
- Changed snapshot version to 2.3.6, to reflect the next release. · 5cbc8fe7
  Daniel Le Berre authored Sep 11, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2093 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  5cbc8fe7
19 Apr, 2013 2 commits
- [maven-release-plugin] prepare for next development iteration · cf59a36e
  Daniel Le Berre authored Apr 19, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2001 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  cf59a36e
- [maven-release-plugin] prepare release org.ow2.sat4j.pom-2.3.4 · cc4e7b8c
  Daniel Le Berre authored Apr 19, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1999 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  cc4e7b8c
01 Apr, 2013 1 commit

Updated id references to org.ow2.sat4j instead of org.sat4j, to allow... · 0638ed29

Daniel Le Berre authored Apr 01, 2013

Updated id references to org.ow2.sat4j instead of org.sat4j, to allow deployment on OW2 nexus instance.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1958 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

0638ed29

09 Feb, 2013 2 commits
- [maven-release-plugin] prepare for next development iteration · 1f28c4b2
  Daniel Le Berre authored Feb 09, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1915 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  1f28c4b2
- [maven-release-plugin] prepare release org.sat4j.pom-2.3.3 · 6994f20e
  Daniel Le Berre authored Feb 09, 2013
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1913 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  6994f20e
09 Jul, 2012 2 commits
- [maven-release-plugin] prepare for next development iteration · c8545648
  Daniel Le Berre authored Jul 09, 2012
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1459 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  c8545648
- [maven-release-plugin] prepare release org.sat4j.pom-2.3.2 · 2f4201e9
  Daniel Le Berre authored Jul 09, 2012
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1457 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  2f4201e9
30 Oct, 2011 2 commits
- [maven-release-plugin] prepare for next development iteration · 8fa18e95
  Daniel Le Berre authored Oct 30, 2011
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1119 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  8fa18e95
- [maven-release-plugin] prepare release org.sat4j.pom-2.3.1 · 98841701
  Daniel Le Berre authored Oct 30, 2011
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1117 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  98841701
29 Mar, 2011 2 commits
- [maven-release-plugin] prepare for next development iteration · 9383fbb7
  Daniel Le Berre authored Mar 29, 2011
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@927 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  9383fbb7
- [maven-release-plugin] prepare release org.sat4j.pom-2.3.0 · 008b87cd
  Daniel Le Berre authored Mar 29, 2011
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@925 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  008b87cd
01 Feb, 2011 1 commit

Reused project.version in dependencies. · 83bf54e5

Daniel Le Berre authored Feb 01, 2011

Deleted unused multicore project (now included in core or pb modules).


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@879 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

83bf54e5

15 Jan, 2011 1 commit

changed maven version to 2.3.0-SNAPSHOT. · 41e8aab4

Daniel Le Berre authored Jan 15, 2011


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@876 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

41e8aab4

23 Dec, 2010 2 commits
- [maven-release-plugin] prepare for next development iteration · 31d93550
  Daniel Le Berre authored Dec 23, 2010
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@834 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  31d93550
- [maven-release-plugin] prepare release org.sat4j.pom-2.2.3 · 7e9c4daa
  Daniel Le Berre authored Dec 23, 2010
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@832 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  7e9c4daa
20 Nov, 2010 1 commit

Fix maven version tag to 2.2.3-SNAPSHOT. · bbaa889d

Daniel Le Berre authored Nov 20, 2010


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@815 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

bbaa889d

08 Sep, 2010 1 commit

pom.xml are properly configured: 2.2.2-SNAPSHOT · 801983e0

Daniel Le Berre authored Sep 08, 2010

JDT compiler back in build.xml


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@774 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

801983e0

23 Jun, 2010 1 commit
- [maven-release-plugin] prepare release org.sat4j.pom-2.2.0 · 6e4a0894
  Daniel Le Berre authored Jun 23, 2010
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@724 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  6e4a0894
26 Feb, 2010 1 commit
- Moved back to SNAPSHOT. Using sat4j email address for gpg signature of released artifacts. · 90a3b3e5
  Daniel Le Berre authored Feb 26, 2010
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@641 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  90a3b3e5
24 Feb, 2010 1 commit
- [maven-release-plugin] prepare release org.sat4j.pom-2.2.0 · a7ef76bf
  Daniel Le Berre authored Feb 24, 2010
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@638 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  a7ef76bf
07 Jan, 2010 1 commit

Fix pom descriptions for 2.2.0-SNAPSHOT · 2fc10ad8

Daniel Le Berre authored Jan 07, 2010


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@610 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

2fc10ad8

13 Dec, 2009 1 commit
- Make pom file in sync with next release of SAT4J (2.2.0-SNAPSHOT). · 5716ac0d
  Daniel Le Berre authored Dec 13, 2009
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@595 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  5716ac0d
26 May, 2009 1 commit

Updated pom (2.1 version). Disable tests with timeout. · 49bb6489

Daniel Le Berre authored May 26, 2009


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@465 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

49bb6489

12 Mar, 2009 1 commit

Changed version of SAT4J to 2.1.0 RC2 for RC2 release. · fe2ab545

Daniel Le Berre authored Mar 12, 2009


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@365 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

fe2ab545

16 Jan, 2009 1 commit

Updated pom to make the releases 2.1.0 SNAPSHOT. · bbf26589

Daniel Le Berre authored Jan 16, 2009


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@270 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

bbf26589

11 Jul, 2008 2 commits
- Removed GoodOPBReaderTest. Updated pom file. · a31a4124
  Daniel Le Berre authored Jul 11, 2008
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@83 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  a31a4124
- Added test files for sat4j core. Moved release to 2.0.2 in pom files. · 9b7fd64e
  Daniel Le Berre authored Jul 11, 2008
```
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@79 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
```
  9b7fd64e
19 Jun, 2008 1 commit

Update pom files with release 2.0.1. · ff39700f

Daniel Le Berre authored Jun 19, 2008

Improved description of the projects.
Updated developers and contributors for core and pb modules.
Added LICENSE.txt files for maven bundle packaging.:wq

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@63 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

ff39700f

10 Jun, 2008 1 commit

Added pom file. · 308d8c9c

Daniel Le Berre authored Jun 10, 2008

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@12 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

308d8c9c