aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* For some reason, CNE_01700 no longer works.improved_makefilesNathanael Sensfelder2017-08-04
* First shot at spprinter's Makefile + README updateNathanael Sensfelder2017-08-03
* Fixes issues in properties, Makefiles.Nathanael Sensfelder2017-08-03
* Other than the pretty-printer, it seems done.Nathanael Sensfelder2017-08-03
* The Makefile of instr-to-kodkod's parser is done.Nathanael Sensfelder2017-08-03
* Improving clarity through better Makefiles.Nathanael Sensfelder2017-08-03
* Finishes the sol_pretty_printer, 'xcept Makefile.Nathanael Sensfelder2017-08-03
* Starting a pretty-printer for the solutions.Nathanael Sensfelder2017-08-01
* StNathanael Sensfelder2017-08-01
* Adds more rules and prettyprint messages for them.Nathanael Sensfelder2017-08-01
* Adds CNE_01800, as it's near identical to CNE_1700Nathanael Sensfelder2017-08-01
* Woops, I was testing against a FE signal.Nathanael Sensfelder2017-08-01
* Fixes is_accessed_by. CNE_01700 is not working.Nathanael Sensfelder2017-08-01
* Fixes regex predicate + optimizes CNE_01700.Nathanael Sensfelder2017-08-01
* Fixes typo with functions, errors in grammar.Nathanael Sensfelder2017-07-31
* Renames README to README.md. Woops.Nathanael Sensfelder2017-07-31
* Adds README.Nathanael Sensfelder2017-07-31
* First shot at the handling of regular expressions.Nathanael Sensfelder2017-07-31
* Adds a verbosity parameter.Nathanael Sensfelder2017-07-31
* Finer imports.Nathanael Sensfelder2017-07-31
* Improves solution displaying.Nathanael Sensfelder2017-07-31
* 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