aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Tagged variables are now the only skolemized vars.skol_only_the_solutionNathanael Sensfelder2017-07-31
* Removes repetitions, prepares for skol. of sol.Nathanael Sensfelder2017-07-28
* Fixes multiple issues with depths.Nathanael Sensfelder2017-07-27
* Replaces overly fragile method to get first node.Nathanael Sensfelder2017-07-27
* First shot at depths operators.Nathanael Sensfelder2017-07-27
* Adds license.Nathanael Sensfelder2017-07-26
* (Woops) Adds anonymous strings support.Nathanael Sensfelder2017-07-26
* New prNathanael Sensfelder2017-07-26
* First shot at (logic, not VHDL) functions.Nathanael Sensfelder2017-07-26
* Updates bce's AST to include functions.Nathanael Sensfelder2017-07-26
* Gets the strings seemingly working.Nathanael Sensfelder2017-07-25
* Removes instr-scripts.Nathanael Sensfelder2017-07-25
* It seems to work.Nathanael Sensfelder2017-07-25
* Fixes issues with "_". things seem to work now.Nathanael Sensfelder2017-07-25
* Improves error reports for the property.Nathanael Sensfelder2017-07-25
* Working on (structural + elements) read/writes.Nathanael Sensfelder2017-07-25
* Lets users use projections in predicates.Nathanael Sensfelder2017-07-24
* Centralizes the processing of (read) expressions.Nathanael Sensfelder2017-07-24
* Working on function calls and literals predicates.Nathanael Sensfelder2017-07-24
* Woops, mistook the model files.Nathanael Sensfelder2017-07-24
* Fixes connect_to/node_connect, configs Makefiles.Nathanael Sensfelder2017-07-24
* Adds the "is_terminal" predicate.Nathanael Sensfelder2017-07-22
* Adds output support.Nathanael Sensfelder2017-07-21
* Adds "port maps" support.Nathanael Sensfelder2017-07-21
* Working on the components. Found error in scripts.Nathanael Sensfelder2017-07-21
* Optimization pass.Nathanael Sensfelder2017-07-21
* Completes When Node parsing.Nathanael Sensfelder2017-07-21
* Still missing: Components, When Nodes, Outputs.Nathanael Sensfelder2017-07-20
* Fixes stupid mistakes, adds some nodes.Nathanael Sensfelder2017-07-20
* Adds Simple Signal Assignment Statement Node.Nathanael Sensfelder2017-07-20
* Working on the IF nodes + Childrens -> children.Nathanael Sensfelder2017-07-20
* Working on the "internal_process.py" translation.Nathanael Sensfelder2017-07-20
* Still working on AST-to-Instr.Nathanael Sensfelder2017-07-20
* Continuing the implementation of AST-to-Instr.Nathanael Sensfelder2017-07-20
* Adds more types parsed from XML.Nathanael Sensfelder2017-07-20
* Removes TODO from the grammar.Nathanael Sensfelder2017-07-20
* Starting a Java implementation of ast-to-instr.Nathanael Sensfelder2017-07-19
* Yet one more hack to get it to work.Nathanael Sensfelder2017-07-19
* Formula.and(Formula...) != a.and(Formula...)Nathanael Sensfelder2017-07-19
* I think I was a bit fast in my "a->b" commit.Nathanael Sensfelder2017-07-19
* This one seem to work -> bad CTL?Nathanael Sensfelder2017-07-19
* forgot to use cfg-to-path. Still broken though.Nathanael Sensfelder2017-07-19
* The formula seems correct, which is worrisome.Nathanael Sensfelder2017-07-19
* Dammit, it says flip-flops are combinational...Nathanael Sensfelder2017-07-19
* Adds "real" property: Find combinational processesNathanael Sensfelder2017-07-19
* Signals being used instead of wfm + rec targetsNathanael Sensfelder2017-07-19
* Woops, the previous commit wasn't enough.Nathanael Sensfelder2017-07-19
* No longer add function and literals as waveforms.Nathanael Sensfelder2017-07-19
* More small mistakes removed. It seems to work now.Nathanael Sensfelder2017-07-19
* Adds messages to follow the framework's flow.Nathanael Sensfelder2017-07-19