| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-08-01 | Fixes is_accessed_by. CNE_01700 is not working. | Nathanael Sensfelder | |
| 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. | |||
| 2017-07-27 | First shot at depths operators. | Nathanael Sensfelder | |
| 2017-07-26 | First shot at (logic, not VHDL) functions. | Nathanael Sensfelder | |
| 2017-07-25 | Improves error reports for the property. | Nathanael Sensfelder | |
| 2017-07-24 | Fixes connect_to/node_connect, configs Makefiles. | Nathanael Sensfelder | |
| 2017-07-22 | Adds the "is_terminal" predicate. | Nathanael Sensfelder | |
| 2017-07-19 | First shot at the framework (it does compile). | Nathanael Sensfelder | |
| 2017-07-18 | Adds missing predicate from g4 to instr scripts | Nathanael Sensfelder | |
| 2017-07-17 | Adds the (rather costly) predicate to handle Until | Nathanael Sensfelder | |
| 2017-07-17 | Working on a way to CTL over DAG in Kodkod. | Nathanael Sensfelder | |
| 2017-07-17 | Initial commit. | Nathanael Sensfelder | |