| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-09-20 | Solves the missing solutions bug. Starts PropDeps. | Nathanael Sensfelder |
| 2017-08-28 | Small changes? Forgot to commit. | Nathanael Sensfelder |
| 2017-08-15 | Adds support for comments in properties. | Nathanael Sensfelder |
| 2017-08-15 | Adds 'eq' and 'iff' to the language. | Nathanael Sensfelder |
| 2017-07-31 | Fixes typo with functions, errors in grammar. | Nathanael Sensfelder |
| 2017-07-31 | First shot at the handling of regular expressions. | Nathanael Sensfelder |
| 2017-07-27 | First shot at depths operators. | 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-18 | First shot at a grammar for the properties. | Nathanael Sensfelder |
| 2017-07-17 | Starting to work on a parser for the properties. | Nathanael Sensfelder |