summaryrefslogtreecommitdiff
path: root/instr-to-kodkod/parser
AgeCommit message (Expand)Author
2017-08-03Other than the pretty-printer, it seems done.Nathanael Sensfelder
2017-08-03The Makefile of instr-to-kodkod's parser is done.Nathanael Sensfelder
2017-08-01Fixes regex predicate + optimizes CNE_01700.Nathanael Sensfelder
2017-07-31Fixes typo with functions, errors in grammar.Nathanael Sensfelder
2017-07-31First shot at the handling of regular expressions.Nathanael Sensfelder
2017-07-31Finer imports.Nathanael Sensfelder
2017-07-28Removes repetitions, prepares for skol. of sol.Nathanael Sensfelder
2017-07-27Fixes multiple issues with depths.Nathanael Sensfelder
2017-07-27First shot at depths operators.Nathanael Sensfelder
2017-07-26First shot at (logic, not VHDL) functions.Nathanael Sensfelder
2017-07-25Gets the strings seemingly working.Nathanael Sensfelder
2017-07-25Fixes issues with "_". things seem to work now.Nathanael Sensfelder
2017-07-25Improves error reports for the property.Nathanael Sensfelder
2017-07-24Lets users use projections in predicates.Nathanael Sensfelder
2017-07-20Removes TODO from the grammar.Nathanael Sensfelder
2017-07-19Formula.and(Formula...) != a.and(Formula...)Nathanael Sensfelder
2017-07-19Adds messages to follow the framework's flow.Nathanael Sensfelder
2017-07-19First shot at the framework (it does compile).Nathanael Sensfelder
2017-07-18Adds missing predicate from g4 to instr scriptsNathanael Sensfelder
2017-07-18It compiles... Ship it!Nathanael Sensfelder
2017-07-18Starting to link parser with the program.Nathanael Sensfelder
2017-07-18Antlr now creates the associated Java files.Nathanael Sensfelder
2017-07-18Solves previous problem by changing path def.Nathanael Sensfelder
2017-07-18Hit a small issue with my current idea.Nathanael Sensfelder
2017-07-18Adds some ideas on how to retrieve p. data.Nathanael Sensfelder
2017-07-18First shot at a grammar for the properties.Nathanael Sensfelder
2017-07-17Starting to work on a parser for the properties.Nathanael Sensfelder