HEAD | 221f423 | keepOnlyValues bypass fix | 17 June 2019, 12:01:24 UTC |
refs/heads/master | 221f423 | keepOnlyValues bypass fix | 17 June 2019, 12:01:24 UTC |
refs/tags/1.0.5 | 221f423 | keepOnlyValues bypass fix | 17 June 2019, 12:01:24 UTC |
refs/tags/v1.0 | 10b171a | Initial commit | 07 May 2018, 16:07:40 UTC |
refs/tags/v1.0.1 | 19ccb47 | Bugfix (deletion functions called without the associated constraint) | 22 May 2018, 14:39:57 UTC |
refs/tags/v1.0.2 | 60034b4 | Fix rare bug in conflict analysis | 28 May 2018, 11:46:10 UTC |
refs/tags/v1.0.3 | 9973673 | Makefile updated to compile lib by default | 05 June 2018, 08:40:41 UTC |
refs/tags/v1.0.4 | 3f02e6c | Fix to avoid marking domain constraint as reason during locking | 06 June 2018, 07:50:02 UTC |