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-07-31Tagged variables are now the only skolemized vars.skol_only_the_solutionNathanael Sensfelder 2017-07-28Removes repetitions, prepares for skol. of sol.Nathanael Sensfelder 2017-07-27Fixes multiple issues with depths.Nathanael Sensfelder 2017-07-27Replaces overly fragile method to get first node.Nathanael Sensfelder 2017-07-27First shot at depths operators.Nathanael Sensfelder 2017-07-26Adds license.Nathanael Sensfelder 2017-07-26(Woops) Adds anonymous strings support.Nathanael Sensfelder 2017-07-26New prNathanael Sensfelder 2017-07-26First shot at (logic, not VHDL) functions.Nathanael Sensfelder 2017-07-26Updates bce's AST to include functions.Nathanael Sensfelder [...]
