summaryrefslogtreecommitdiff log msg author committer range BranchCommit messageAuthorAge improved_makefilesFor some reason, CNE_01700 no longer works.Nathanael Sensfelder8 years instance-calculatorEnables verbose mode.Nathanael Sensfelder8 years masterDisables the "inferred" feature by default.nsensfel8 years skol_only_the_solutionTagged variables are now the only skolemized vars.Nathanael Sensfelder8 years time-domains-calculatorStarts the Time Domains Calculator.Nathanael Sensfelder8 years AgeCommit messageAuthor 2017-08-04For some reason, CNE_01700 no longer works.improved_makefilesNathanael Sensfelder 2017-08-03First shot at spprinter's Makefile + README updateNathanael Sensfelder 2017-08-03Fixes issues in properties, Makefiles.Nathanael Sensfelder 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-03Improving clarity through better Makefiles.Nathanael Sensfelder 2017-08-03Finishes the sol_pretty_printer, 'xcept Makefile.Nathanael Sensfelder 2017-08-01Starting a pretty-printer for the solutions.Nathanael Sensfelder 2017-08-01StNathanael Sensfelder 2017-08-01Adds more rules and prettyprint messages for them.Nathanael Sensfelder [...]
