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

Branch	Commit message	Author	Age
master	Disables the "inferred" feature by default.	nsensfel	5 years
time-domains-calculator	Starts the Time Domains Calculator.	Nathanael Sensfelder	5 years
instance-calculator	Enables verbose mode.	Nathanael Sensfelder	5 years
improved_makefiles	For some reason, CNE_01700 no longer works.	Nathanael Sensfelder	5 years
skol_only_the_solution	Tagged variables are now the only skolemized vars.	Nathanael Sensfelder	5 years


Age	Commit message	Author
2017-10-31	Disables the "inferred" feature by default.HEAD master	nsensfel
2017-10-31	Adds error when no data is fed to parser.	nsensfel
2017-10-31	Adds a Java version of prop-to-pred.	nsensfel
2017-09-27	Limits the creation of atom-relations to "String".	Nathanael Sensfelder
2017-09-26	Adds some missing files.	Nathanael Sensfelder
2017-09-25	Fixes dependency rule issues.	Nathanael Sensfelder
2017-09-25	Updates Tests, fixes 2 properties & inferred/*.mod	Nathanael Sensfelder
2017-09-21	Got some property dependencies to work.	Nathanael Sensfelder
2017-09-20	Solves the missing solutions bug. Starts PropDeps.	Nathanael Sensfelder
2017-09-20	Adds comments to CNE_01700.	Nathanael Sensfelder
[...]

Clone
https://git.noot-noot.org/clone/tabellion