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-05Enables verbose mode.instance-calculatorNathanael Sensfelder 2017-09-04Merge commit '474f870' into instance-calculatorNathanael Sensfelder 2017-09-04Fixes jar not downloading.Nathanael Sensfelder 2017-09-02Finer imports.Nathanael Sensfelder 2017-09-01Adds test cases for the issue.Nathanael Sensfelder 2017-08-30Forgot to increase instances_count.Nathanael Sensfelder 2017-08-30Reduces the scalability issue.Nathanael Sensfelder 2017-08-30Gets stuck due to scaling issues.Nathanael Sensfelder 2017-08-30Outputs are now generated.Nathanael Sensfelder 2017-08-29Seems like all remains is doing the actual output.Nathanael Sensfelder [...]
