Commits · master · general / stups / probkodkod

Jul 05, 2024
- Update repo URLs in Maven metadata · 69f43a40
  dgelessus authored 10 months ago
  
  69f43a40
- Update license URL to the real Kodkod license · 29c6e0c8
  dgelessus authored 10 months ago
  
  29c6e0c8
- Fix indents and formatting in build.gradle · 1dfcbb37
  dgelessus authored 10 months ago
  
  1dfcbb37
- Fix test artifact paths · 6c2a6813
  dgelessus authored 10 months ago
  
  6c2a6813
- Update publishing secrets · fbea974b
  dgelessus authored 10 months ago
  
  fbea974b
- Migrate from Travis CI to GitLab CI · d5fee96b
  dgelessus authored 10 months ago
  
  d5fee96b
- Add appropriately old Gradle wrapper · 893cd322
  dgelessus authored 10 months ago
  
  893cd322
Oct 07, 2016
- bump dev version · 7f7f8625
  Sebastian Krings authored 8 years ago
  
  7f7f8625
- release version 1.0.6 · 45758408
  Sebastian Krings authored 8 years ago
  
  45758408
Oct 06, 2016
- add missing update of flag · 20efbc96
  Sebastian Krings authored 8 years ago
  
  20efbc96
- add try catch around session.request and writeNextSolutions · 1119acf1
  Michael Leuschel authored 8 years ago
  
  1119acf1
- throw exception if second solution of non-incremental solver is requested · f0917eb5
  Sebastian Krings authored 8 years ago
  
  f0917eb5
- if finding multiple solutions fails due to a non-incremental solver find a single one instead · 00d8a057
  Sebastian Krings authored 8 years ago
  
  00d8a057
- fix passing around timeout variable · 40927bf3
  Sebastian Krings authored 8 years ago
  
  40927bf3
- detect sat factory for each problem · a5ab98ae
  Sebastian Krings authored 8 years ago
  
  a5ab98ae
- change access rights · 6a063fd3
  Sebastian Krings authored 8 years ago
  
  6a063fd3
- submit sat solver selection on startup · 0be2621a
  Sebastian Krings authored 8 years ago
  
  0be2621a
Oct 05, 2016
- merge · 2f108075
  Sebastian Krings authored 8 years ago
  
  2f108075
- add logger info · 1f060a12
  Michael Leuschel authored 8 years ago
  
  1f060a12
- add comments · 14d32666
  Michael Leuschel authored 8 years ago
  
  14d32666
- add link to local kodkod.jar · dbccc74f
  Michael Leuschel authored 8 years ago
  
  dbccc74f
- we now return stats(…) fact for Kodkod statistics · 5dcec730
  Michael Leuschel authored 8 years ago
  
  5dcec730
- Update .travis.yml · 30e7bb05
  Jens Bendisposto authored 8 years ago
  
  30e7bb05
Oct 04, 2016
- bump snapshot version · 0d2670a0
  Sebastian Krings authored 8 years ago
  
  0d2670a0
- release version 1.0.5 · dcdd1fd3
  Sebastian Krings authored 8 years ago
  
  dcdd1fd3
- use java 8 · 8da2f10e
  Sebastian Krings authored 8 years ago
  
  8da2f10e
- update kodkod version and enable lingering and glucose · 14527da9
  Sebastian Krings authored 8 years ago
  
  14527da9
- snapshot version number · 0f7146bc
  Sebastian Krings authored 8 years ago
  
  0f7146bc
- reenable minisat and increment version number · 0a1ae422
  Sebastian Krings authored 8 years ago
  
  0a1ae422
Jun 29, 2016
- Post travis build info to slack · 68f5de66
  David Schneider authored 8 years ago
  
  68f5de66
Sep 14, 2015
- Update build.gradle · 7ede9563
  Jens Bendisposto authored 9 years ago
  
  7ede9563
- Update build.gradle · fe77dafb
  Jens Bendisposto authored 9 years ago
  
  fe77dafb
- try to fix deployment · 9c1ba3ab
  Jens Bendisposto authored 9 years ago
  
  9c1ba3ab
- Update build.gradle · e96c3aaa
  Jens Bendisposto authored 9 years ago
  
  e96c3aaa
- Create README.md · 3e06254a
  Jens Bendisposto authored 9 years ago
  
  3e06254a
- Update build.gradle · 31e14f05
  Jens Bendisposto authored 9 years ago
  
  31e14f05
Sep 11, 2015
- fix pom · 1443698b
  Jens Bendisposto authored 9 years ago
  
  1443698b
- add kodkod · 92108667
  Jens Bendisposto authored 9 years ago
  
  92108667
- update sablecc version · ad1fdd5a
  Jens Bendisposto authored 9 years ago
  
  ad1fdd5a
- globs and comments · bc1a1d6e
  Jens Bendisposto authored 9 years ago
  
  bc1a1d6e

Admin message