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

summary refs log tree commit diff

Age	Commit message (Collapse)	Author
2017-09-19	Fixes anonymous strings, adds CNE_01100 test.	Nathanael Sensfelder

2017-09-19	Removes the extra set of " that messed with regex.	Nathanael Sensfelder

2017-09-19	Adds tests for CNE_00100.	Nathanael Sensfelder

2017-09-19	Fixes valid test, adds tests pretty printing.	Nathanael Sensfelder

2017-09-19	Fixes case/when models, regroups properties.	Nathanael Sensfelder

2017-09-19	Continues to implement automated testing.	Nathanael Sensfelder
	... in a hacky sort of way.
2017-09-18	Making progress on the automated testing...	Nathanael Sensfelder

2017-09-18	Moves the templates to accommodate the tests.	Nathanael Sensfelder

2017-09-18	Starting to work on test automation.	Nathanael Sensfelder

2017-09-18	Merge branch 'master' of dreamhost:~/repositories/git/tabellion	Nathanael Sensfelder

2017-09-18	Fixes copy/paste mistake in CNE_00100 + comments.	Nathanael Sensfelder

2017-09-18	Fixes combinational processes property.	Nathanael Sensfelder

2017-09-18	Go back to the usual default properties.	Nathanael Sensfelder

2017-09-18	Merge branch 'instance-calculator'	Nathanael Sensfelder

2017-09-04	Fixes jar not downloading.	Nathanael Sensfelder

2017-09-02	Finer imports.	Nathanael Sensfelder

2017-09-01	Adds test cases for the issue.	Nathanael Sensfelder

2017-08-30	Forgot to increase instances_count.	Nathanael Sensfelder

2017-08-30	Reduces the scalability issue.	Nathanael Sensfelder
	It seems to take very long to find solutions for simple_flip_flop_instance, but at least it no longer gives up right away.
2017-08-30	Gets stuck due to scaling issues.	Nathanael Sensfelder

2017-08-30	Outputs are now generated.	Nathanael Sensfelder

2017-08-29	Seems like all remains is doing the actual output.	Nathanael Sensfelder

2017-08-29	Most of the program's logic seems to be there...	Nathanael Sensfelder

2017-08-29	Should now load the model.	Nathanael Sensfelder

2017-08-29	Still working on the implementation.	Nathanael Sensfelder

2017-08-29	Starting to get an idea of how it's going to work.	Nathanael Sensfelder

2017-08-28	Starts the Instance Calculator	Nathanael Sensfelder

2017-08-28	The pong.xml AST is not included.	Nathanael Sensfelder

2017-08-28	Small changes? Forgot to commit.	Nathanael Sensfelder

2017-08-17	Adds CNE_04500.	Nathanael Sensfelder

2017-08-17	"LINE" was in undercase, messing with the output.	Nathanael Sensfelder

2017-08-17	Removes unused data/instructions/ dir.	Nathanael Sensfelder

2017-08-16	Improves Phrasing, changes to match new Makefiles.	Nathanael Sensfelder

2017-08-16	Fixes Makefiles so they can run parallel jobs.	Nathanael Sensfelder

2017-08-15	Partial attr. support, build/run targets, literals	Nathanael Sensfelder

2017-08-15	Adds support for comments in properties.	Nathanael Sensfelder

2017-08-15	Use of 'eq' greatly improves performance.	Nathanael Sensfelder

2017-08-15	Adds 'eq' and 'iff' to the language.	Nathanael Sensfelder

2017-08-13	Adds more (rather simple) properties.	Nathanael Sensfelder

2017-08-04	For some reason, CNE_01700 no longer works.improved_makefiles	Nathanael Sensfelder

2017-08-03	First shot at spprinter's Makefile + README update	Nathanael Sensfelder

2017-08-03	Fixes issues in properties, Makefiles.	Nathanael Sensfelder

2017-08-03	Other than the pretty-printer, it seems done.	Nathanael Sensfelder

2017-08-03	The Makefile of instr-to-kodkod's parser is done.	Nathanael Sensfelder

2017-08-03	Improving clarity through better Makefiles.	Nathanael Sensfelder

2017-08-03	Finishes the sol_pretty_printer, 'xcept Makefile.	Nathanael Sensfelder

2017-08-01	Starting a pretty-printer for the solutions.	Nathanael Sensfelder

2017-08-01	St	Nathanael Sensfelder

2017-08-01	Adds more rules and prettyprint messages for them.	Nathanael Sensfelder

2017-08-01	Adds CNE_01800, as it's near identical to CNE_1700	Nathanael Sensfelder