Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 1dfcbb37e292af4aa0c665f5198fbb7a61a58cc8
  • master default protected
2 results
Created with Raphaël 2.2.05Jul7Oct65429Jun14Sep1117Aug16Apr4Mar21Feb5Nov17Sep1224Mar5May4214Apr1317Mar426Jan25212022Dec618Nov12Oct30Sep872128Apr27Update repo URLs in Maven metadatamastermasterUpdate license URL to the real Kodkod licenseFix indents and formatting in build.gradleFix test artifact pathsUpdate publishing secretsMigrate from Travis CI to GitLab CIAdd appropriately old Gradle wrapperbump dev versionrelease version 1.0.6add missing update of flagadd try catch around session.request and writeNextSolutionsthrow exception if second solution of non-incremental solver is requestedif finding multiple solutions fails due to a non-incremental solver find a single one insteadfix passing around timeout variabledetect sat factory for each problemchange access rightssubmit sat solver selection on startupmergeadd logger infoadd commentsadd link to local kodkod.jarwe now return stats(…) fact for Kodkod statisticsUpdate .travis.ymlbump snapshot versionrelease version 1.0.5use java 8update kodkod version and enable lingering and glucosesnapshot version numberreenable minisat and increment version numberPost travis build info to slackUpdate build.gradleUpdate build.gradletry to fix deploymentUpdate build.gradleCreate README.mdUpdate build.gradlefix pomadd kodkodupdate sablecc versionglobs and comments