tabellion/instr-to-kodkod/parser, branch master

Solves the missing solutions bug. Starts PropDeps.

2017-09-20T15:19:42+00:00

Small changes? Forgot to commit.

2017-08-28T13:25:39+00:00

Fixes Makefiles so they can run parallel jobs.

2017-08-16T09:17:59+00:00

Partial attr. support, build/run targets, literals

2017-08-15T16:43:56+00:00

Adds support for comments in properties.

2017-08-15T10:38:27+00:00

Adds 'eq' and 'iff' to the language.

2017-08-15T08:39:30+00:00

Other than the pretty-printer, it seems done.

2017-08-03T14:57:20+00:00

The Makefile of instr-to-kodkod's parser is done.

2017-08-03T14:02:19+00:00

Fixes regex predicate + optimizes CNE_01700.

2017-08-01T08:04:25+00:00

The combination of those two changes makes the solving much faster, but
since BCE does not have anything that would be matched, it may also
simply be incorrect.

Fixes typo with functions, errors in grammar.

2017-07-31T15:04:51+00:00

Looking for the groups matching CNE_01700 appears to take a really long
time. The formula is quite complex, yet unlikely to be one of the most
complex ones, so we'll have to see what can be done.