tabellion - Verification tool for VHDL (or at least the prototype of one).

Age	Commit message (Expand)	Author
2017-08-30	Reduces the scalability issue.	Nathanael Sensfelder
2017-08-30	Gets stuck due to scaling issues.	Nathanael Sensfelder
2017-08-28	Small changes? Forgot to commit.	Nathanael Sensfelder
2017-08-01	Fixes is_accessed_by. CNE_01700 is not working.	Nathanael Sensfelder
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