summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-04-19Adding config/tap-driver.sh to .gitignore (#1792)yoni206
#1791 removed config/tap-driver.sh from the repo, as ./autogen.sh adds it automatically. The current PR prevents this file from being added to the untracked changes list when doing git status.
2014-06-21API documentation improvements.Morgan Deters
2014-02-21add new theory (sets)Kshitij Bansal
Specification (smt2) -- as per this commit, subject to change - Parameterized sort Set, e.g. (Set Int) - Empty set constant (typed), use with "as" to specify the type, e.g. (as emptyset (Set Int)) - Create a singleton set (setenum X (Set X)) : creates singleton set - Functions/operators (union (Set X) (Set X) (Set X)) (intersection (Set X) (Set X) (Set X)) (setminus (Set X) (Set X) (Set X)) - Predicates (in X (Set X) Bool) : membership (subseteq (Set X) (Set X) Bool) : set containment
2013-11-27Ignore config/compile file, which newer autotools createMorgan Deters
2013-10-17minor fix to last commit (gitignore)Kshitij Bansal
2013-10-17.gitignore personal configuration filesKshitij Bansal
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
Adds TheoryQuantifiers and TheoryRewriteRules, QuantifiersEngine, and other infrastructure. Adds theory instantiators to many theories. Adds the UF strong solver.
2012-02-20portfolio mergeMorgan Deters
2010-07-07Adding config.reconfig to .gitignoreChristopher L. Conway
2010-05-27Adding .cvc4_config to .gitignoreChristopher L. Conway
2010-04-05Ignoring gcov filesChristopher L. Conway
2010-04-01Adding newly generated filesChristopher L. Conway
2010-03-31Adding 'generated/' to .gitignoreChristopher L. Conway
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback