| 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 | 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-26 | (Woops) Adds anonymous strings support. | Nathanael Sensfelder | |
| 2017-07-26 | First shot at (logic, not VHDL) functions. | Nathanael Sensfelder | |
| 2017-07-25 | Gets the strings seemingly working. | Nathanael Sensfelder | |
| 2017-07-25 | It seems to work. | Nathanael Sensfelder | |
| 2017-07-25 | Improves error reports for the property. | 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 | More small mistakes removed. It seems to work now. | Nathanael Sensfelder | |
| 2017-07-19 | Adds messages to follow the framework's flow. | Nathanael Sensfelder | |
| 2017-07-19 | Fixes stupid mistakes. | Nathanael Sensfelder | |
| 2017-07-19 | First shot at the framework (it does compile). | Nathanael Sensfelder | |
| 2017-07-18 | Starting to link parser with the program. | Nathanael Sensfelder | |
| But apparently I messed up some kodkod logic. | |||
| 2017-07-18 | Unused predicates & types -> not in kodkod. | Nathanael Sensfelder | |
| 2017-07-17 | Fixes a few dumb mistakes, adds ps example. | Nathanael Sensfelder | |
| 2017-07-17 | Improves parameters handling | Nathanael Sensfelder | |
| 2017-07-17 | Initial commit. | Nathanael Sensfelder | |