tabellion/data/level, branch instance-calculator

Reduces the scalability issue.

2017-08-30T13:15:02+00:00

It seems to take very long to find solutions for
simple_flip_flop_instance, but at least it no longer gives up right
away.

Gets stuck due to scaling issues.

2017-08-30T11:57:53+00:00

Small changes? Forgot to commit.

2017-08-28T13:25:39+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.

First shot at depths operators.

2017-07-27T09:25:42+00:00

First shot at (logic, not VHDL) functions.

2017-07-26T12:32:28+00:00

Improves error reports for the property.

2017-07-25T12:45:05+00:00

Fixes connect_to/node_connect, configs Makefiles.

2017-07-24T07:51:20+00:00

Adds the "is_terminal" predicate.

2017-07-22T19:05:57+00:00

First shot at the framework (it does compile).

2017-07-19T08:29:52+00:00