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

summary refs log tree commit diff

Age	Commit message (Collapse)	Author
2017-07-31	Tagged variables are now the only skolemized vars.skol_only_the_solution	Nathanael Sensfelder

2017-07-28	Removes repetitions, prepares for skol. of sol.	Nathanael Sensfelder

2017-07-27	Fixes multiple issues with depths.	Nathanael Sensfelder

2017-07-27	Replaces overly fragile method to get first node.	Nathanael Sensfelder

2017-07-27	First shot at depths operators.	Nathanael Sensfelder

2017-07-26	Adds license.	Nathanael Sensfelder

2017-07-26	(Woops) Adds anonymous strings support.	Nathanael Sensfelder

2017-07-26	New pr	Nathanael Sensfelder

2017-07-26	First shot at (logic, not VHDL) functions.	Nathanael Sensfelder

2017-07-26	Updates bce's AST to include functions.	Nathanael Sensfelder

2017-07-25	Gets the strings seemingly working.	Nathanael Sensfelder

2017-07-25	Removes instr-scripts.	Nathanael Sensfelder

2017-07-25	It seems to work.	Nathanael Sensfelder

2017-07-25	Fixes issues with "_". things seem to work now.	Nathanael Sensfelder

2017-07-25	Improves error reports for the property.	Nathanael Sensfelder

2017-07-25	Working on (structural + elements) read/writes.	Nathanael Sensfelder

2017-07-24	Lets users use projections in predicates.	Nathanael Sensfelder

2017-07-24	Centralizes the processing of (read) expressions.	Nathanael Sensfelder

2017-07-24	Working on function calls and literals predicates.	Nathanael Sensfelder

2017-07-24	Woops, mistook the model files.	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-21	Adds output support.	Nathanael Sensfelder

2017-07-21	Adds "port maps" support.	Nathanael Sensfelder

2017-07-21	Working on the components. Found error in scripts.	Nathanael Sensfelder

2017-07-21	Optimization pass.	Nathanael Sensfelder

2017-07-21	Completes When Node parsing.	Nathanael Sensfelder

2017-07-20	Still missing: Components, When Nodes, Outputs.	Nathanael Sensfelder

2017-07-20	Fixes stupid mistakes, adds some nodes.	Nathanael Sensfelder

2017-07-20	Adds Simple Signal Assignment Statement Node.	Nathanael Sensfelder

2017-07-20	Working on the IF nodes + Childrens -> children.	Nathanael Sensfelder

2017-07-20	Working on the "internal_process.py" translation.	Nathanael Sensfelder
	I think I've found some not-too-ugly solution.
2017-07-20	Still working on AST-to-Instr.	Nathanael Sensfelder

2017-07-20	Continuing the implementation of AST-to-Instr.	Nathanael Sensfelder

2017-07-20	Adds more types parsed from XML.	Nathanael Sensfelder

2017-07-20	Removes TODO from the grammar.	Nathanael Sensfelder

2017-07-19	Starting a Java implementation of ast-to-instr.	Nathanael Sensfelder
	Keeping things clean, this time.
2017-07-19	Yet one more hack to get it to work.	Nathanael Sensfelder
	Let's hope I'll rewrite those.
2017-07-19	Formula.and(Formula...) != a.and(Formula...)	Nathanael Sensfelder
	Having both a static and a non-static function share a name does not seem like a sane decision.
2017-07-19	I think I was a bit fast in my "a->b" commit.	Nathanael Sensfelder

2017-07-19	This one seem to work -> bad CTL?	Nathanael Sensfelder

2017-07-19	forgot to use cfg-to-path. Still broken though.	Nathanael Sensfelder

2017-07-19	The formula seems correct, which is worrisome.	Nathanael Sensfelder

2017-07-19	Dammit, it says flip-flops are combinational...	Nathanael Sensfelder

2017-07-19	Adds "real" property: Find combinational processes	Nathanael Sensfelder

2017-07-19	Signals being used instead of wfm + rec targets	Nathanael Sensfelder
	Those Python scripts may have to be cleaned up at some point...
2017-07-19	Woops, the previous commit wasn't enough.	Nathanael Sensfelder

2017-07-19	No longer add function and literals as waveforms.	Nathanael Sensfelder

2017-07-19	More small mistakes removed. It seems to work now.	Nathanael Sensfelder

2017-07-19	Adds messages to follow the framework's flow.	Nathanael Sensfelder