projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
cmake: Added missing dependency for src/util
2018-09-22
Aina Niemetz
cmake: Added missing dependency for src/util
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Antlr parser generation done.
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Generate trace and debug tags
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: .cpp generation done, .h generation not yet...
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
commit
|
commitdiff
|
tree
2018-07-30
Tim King
Storing a std::pair<Key,Data> on CDOhash_map.
commit
|
commitdiff
|
tree
2018-03-22
Mathias Preiner
Ignore whitespaces and moved code for contrib/get-authors.
commit
|
commitdiff
|
tree
2018-03-21
Aina Niemetz
Add bit-vector extract example. (#1681)
commit
|
commitdiff
|
tree
2018-03-20
Andrew Reynolds
Minor refactor datatypes sygus (#1673)
commit
|
commitdiff
|
tree
2018-03-06
Andres Noetzli
Remove printf from output utilities (#1629)
commit
|
commitdiff
|
tree
2018-03-05
Mathias Preiner
Fix boost url in contrib/get-win-dependencies.
commit
|
commitdiff
|
tree
2018-02-08
Tim King
Initializing Timer::d_wall_limit (CID 1362899). (#1573)
commit
|
commitdiff
|
tree
2018-01-14
Aina Niemetz
Remove BITVECTOR_SUB from isInvertible(). (#1513)
commit
|
commitdiff
|
tree
2018-01-08
Tim King
Removes throw specifiers from command.{h,cpp}. (#1485)
commit
|
commitdiff
|
tree
2018-01-05
Aina Niemetz
Fix side condition handling for PLUS, XOR, SIGN_EXTEND...
commit
|
commitdiff
|
tree
2017-11-29
Mathias Preiner
Add Cryptominisat script and patches to source file...
commit
|
commitdiff
|
tree
2017-11-01
Andres Noetzli
Add option to build shared Windows dependencies (...
commit
|
commitdiff
|
tree
2017-10-24
Mathias Preiner
Remove clang-format options introduced in version 5.0.
commit
|
commitdiff
|
tree
2017-10-17
Tim King
Making the values argument const in the SetUserAttributeComm...
commit
|
commitdiff
|
tree
2017-10-17
Tim King
Fixing 2 instances of an unused variable. (#1253)
commit
|
commitdiff
|
tree
2017-10-16
Tim King
Adds unit test that show Node and TNode work with for...
commit
|
commitdiff
|
tree
2017-10-13
Andrew Reynolds
CBQI BV quick heuristics (#1239)
commit
|
commitdiff
|
tree
2017-10-12
Mathias Preiner
Reduce number of travis builds.
commit
|
commitdiff
|
tree
2017-09-13
Andres Noetzli
Enable ccache on Travis, disable debug symbols (#1094)
commit
|
commitdiff
|
tree
2017-09-05
Mathias Preiner
Fix link in configure.ac.
commit
|
commitdiff
|
tree
2017-08-29
Mathias Preiner
Fix indentation for disabled Java tests.
commit
|
commitdiff
|
tree
2017-08-29
Mathias Preiner
Disable Java tests for now until they get fixed.
commit
|
commitdiff
|
tree
2017-08-21
Mathias Preiner
Change Bugzilla urls to Github issues.
commit
|
commitdiff
|
tree
2017-08-09
Mathias Preiner
Fix compiler warning in src/context/context.h.
commit
|
commitdiff
|
tree
2017-08-02
Mathias Preiner
Disable debug symbols for production builds.
commit
|
commitdiff
|
tree
2017-07-11
Mathias Preiner
Remove trailing slashes from directories if specified...
commit
|
commitdiff
|
tree
2017-07-10
Mathias Preiner
Prerelease versioning for master.
commit
|
commitdiff
|
tree
2017-07-10
Mathias Preiner
Cutting release 1.5.
commit
|
commitdiff
|
tree
2017-07-10
Mathias Preiner
Disable tarball signing for now.
commit
|
commitdiff
|
tree
2017-07-08
Mathias Preiner
Merge branch 'master' of github.com:CVC4/CVC4
commit
|
commitdiff
|
tree
2017-07-07
Mathias Preiner
Update copyright year and refer to authors URL.
commit
|
commitdiff
|
tree
2017-07-07
Mathias Preiner
Update copyright headers.
commit
|
commitdiff
|
tree
2017-07-07
Mathias Preiner
Update files that are part of the CVC4 license, exclude...
commit
|
commitdiff
|
tree
2017-07-07
Mathias Preiner
Use consistent author names for the copyright headers.
commit
|
commitdiff
|
tree
2017-07-07
Mathias Preiner
Use new copyright header format.
commit
|
commitdiff
|
tree
2017-07-07
Mathias Preiner
Escape left brace in regex in update-copyright script.
commit
|
commitdiff
|
tree
2017-07-06
Mathias Preiner
Fix passing antlr arguments to configure in contrib...
commit
|
commitdiff
|
tree
2017-07-05
Mathias Preiner
updated INSTALL for version 1.5
commit
|
commitdiff
|
tree