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-09-05Starts the Time Domains Calculator.time-domains-calculatorNathanael Sensfelder 2017-09-04Fixes jar not downloading.Nathanael Sensfelder 2017-08-28The pong.xml AST is not included.Nathanael Sensfelder 2017-08-28Small changes? Forgot to commit.Nathanael Sensfelder 2017-08-17Adds CNE_04500.Nathanael Sensfelder 2017-08-17"LINE" was in undercase, messing with the output.Nathanael Sensfelder 2017-08-17Removes unused data/instructions/ dir.Nathanael Sensfelder 2017-08-16Improves Phrasing, changes to match new Makefiles.Nathanael Sensfelder 2017-08-16Fixes Makefiles so they can run parallel jobs.Nathanael Sensfelder 2017-08-15Partial attr. support, build/run targets, literalsNathanael Sensfelder [...]
