projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove private header from public driver.
[cvc5.git]
/
AUTHORS
2014-10-02
Morgan Deters
Update AUTHORS affiliations and add Martin.
blob
|
commitdiff
|
raw
2014-09-26
Morgan Deters
Clarify some licensing-related things.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Documentation clean-ups.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Tim King
Merge pull request #33 from mdeters/arith-proposal
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
Documentation clean-ups.
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
blob
|
commitdiff
|
raw
|
diff to current
2014-03-19
Morgan Deters
Minor documentation fixups.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-03
Morgan Deters
Some final minor changes before cutting 1.1.
blob
|
commitdiff
|
raw
|
diff to current
2012-10-11
Morgan Deters
Standardizing copyright notice. Touches **ALL** source...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-22
Morgan Deters
Separate public-facing and internal-facing interfaces...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-19
Morgan Deters
General subscriber infrastructure for NodeManager,...
blob
|
commitdiff
|
raw
|
diff to current
2012-02-20
Morgan Deters
portfolio merge
blob
|
commitdiff
|
raw
|
diff to current
2012-02-13
François Bobot
precision in theoryskel
blob
|
commitdiff
|
raw
|
diff to current
2010-09-27
ACSYS
add workaround for systems (i.e., Mac OS X) that don...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-05
Morgan Deters
workaround for strange CIMS installation of automake...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-05
Clark Barrett
Added Cesare to list of authors
blob
|
commitdiff
|
raw
|
diff to current
2010-07-05
Clark Barrett
Changed AUTHORS - removed references to earlier CVC...
blob
|
commitdiff
|
raw
|
diff to current
2010-07-03
Morgan Deters
With this commit come a number of changes to build...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-10
Morgan Deters
svn:ignore for build stuff; add Liana to AUTHORS
blob
|
commitdiff
|
raw
|
diff to current
2009-11-12
Morgan Deters
parser, minisat, other things..
blob
|
commitdiff
|
raw
|
diff to current
2009-11-03
Morgan Deters
commit of project structure including autotools support
blob
|
commitdiff
|
raw
|
diff to current