https://github.com/crillab/nacre_mini
Name Target Message Date
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
back to top