tabellion/data/property/cnes, branch instance-calculator

Adds CNE_04500.

2017-08-17T10:54:19+00:00

Partial attr. support, build/run targets, literals

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

Use of 'eq' greatly improves performance.

2017-08-15T09:15:20+00:00

Adds more (rather simple) properties.

2017-08-13T11:02:37+00:00

Fixes issues in properties, Makefiles.

2017-08-03T15:17:38+00:00

Finishes the sol_pretty_printer, 'xcept Makefile.

2017-08-03T09:10:55+00:00

Adds more rules and prettyprint messages for them.

2017-08-01T11:33:24+00:00

Adds CNE_01800, as it's near identical to CNE_1700

2017-08-01T10:26:34+00:00

Fixes is_accessed_by. CNE_01700 is not working.

2017-08-01T09:10:01+00:00

The BCE has been updated to include a group of items that should be
tagged by the CNE_01700 rule. However, it's not happening. I don't see
anything wrong with the way the CNE_01700 rule is written and a quick
overview of the generated model would lead me to conclude that it indeed
should tag something. Likely there are still issues with the way
properties are turned into Kodkod formulas.

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.