aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Starts the Time Domains Calculator.time-domains-calculatorNathanael Sensfelder2017-09-05
* Fixes jar not downloading.Nathanael Sensfelder2017-09-04
* The pong.xml AST is not included.Nathanael Sensfelder2017-08-28
* Small changes? Forgot to commit.Nathanael Sensfelder2017-08-28
* Adds CNE_04500.Nathanael Sensfelder2017-08-17
* "LINE" was in undercase, messing with the output.Nathanael Sensfelder2017-08-17
* Removes unused data/instructions/ dir.Nathanael Sensfelder2017-08-17
* Improves Phrasing, changes to match new Makefiles.Nathanael Sensfelder2017-08-16
* Fixes Makefiles so they can run parallel jobs.Nathanael Sensfelder2017-08-16
* Partial attr. support, build/run targets, literalsNathanael Sensfelder2017-08-15
* Adds support for comments in properties.Nathanael Sensfelder2017-08-15
* Use of 'eq' greatly improves performance.Nathanael Sensfelder2017-08-15
* Adds 'eq' and 'iff' to the language.Nathanael Sensfelder2017-08-15
* Adds more (rather simple) properties.Nathanael Sensfelder2017-08-13
* 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