| summaryrefslogtreecommitdiff |
| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| improved_makefiles | For some reason, CNE_01700 no longer works. | Nathanael Sensfelder | 8 years | |
| instance-calculator | Enables verbose mode. | Nathanael Sensfelder | 8 years | |
| master | Disables the "inferred" feature by default. | nsensfel | 8 years | |
| skol_only_the_solution | Tagged variables are now the only skolemized vars. | Nathanael Sensfelder | 8 years | |
| time-domains-calculator | Starts the Time Domains Calculator. | Nathanael Sensfelder | 8 years | |