| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder | |
| Looking for the groups matching CNE_01700 appears to take a really long time. The formula is quite complex, yet unlikely to be one of the most complex ones, so we'll have to see what can be done. | |||
| 2017-07-31 | Renames README to README.md. Woops. | Nathanael Sensfelder | |
| 2017-07-31 | Adds README. | Nathanael Sensfelder | |
| 2017-07-31 | First shot at the handling of regular expressions. | Nathanael Sensfelder | |
| 2017-07-31 | Adds a verbosity parameter. | Nathanael Sensfelder | |
| 2017-07-31 | Finer imports. | Nathanael Sensfelder | |
| 2017-07-31 | Improves solution displaying. | Nathanael Sensfelder | |
| 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 | |