| HEAD | 823862a | Update README.md | 01 September 2018, 09:39:32 UTC |
| refs/heads/master | 823862a | Update README.md | 01 September 2018, 09:39:32 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 |
