projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add virtual destructors where missing
[cvc5.git]
/
.gitignore
2013-11-04
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
2013-10-21
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
2013-10-17
Kshitij Bansal
minor fix to last commit (gitignore)
blob
|
commitdiff
|
raw
2013-10-17
Kshitij Bansal
.gitignore personal configuration files
blob
|
commitdiff
|
raw
|
diff to current
2012-06-11
Morgan Deters
Merge from quantifiers2-trunkmerge branch.
blob
|
commitdiff
|
raw
|
diff to current
2012-02-20
Morgan Deters
portfolio merge
blob
|
commitdiff
|
raw
|
diff to current
2010-07-07
Christopher L. Conway
Adding config.reconfig to .gitignore
blob
|
commitdiff
|
raw
|
diff to current
2010-05-27
Christopher L. Conway
Adding .cvc4_config to .gitignore
blob
|
commitdiff
|
raw
|
diff to current
2010-04-05
Christopher L. Conway
Ignoring gcov files
blob
|
commitdiff
|
raw
|
diff to current
2010-04-01
Christopher L. Conway
Adding newly generated files
blob
|
commitdiff
|
raw
|
diff to current
2010-03-31
Christopher L. Conway
Adding 'generated/' to .gitignore
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
Christopher L. Conway
Removing unnecessary .gitignores
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
Christopher L. Conway
Merging from branches/antlr3 (r246:354)
blob
|
commitdiff
|
raw
|
diff to current