projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge ntExt branch. Adds support for transcendental functions. Refactoring of non...
2017-07-07
Andres Noetzli
Remove unused stacking_vector class (#185)
commit
|
commitdiff
|
tree
2017-07-07
Andres Noetzli
Avoid invoking copy constructor when safe printing...
commit
|
commitdiff
|
tree
2017-06-20
Andres Noetzli
Fix SIGILL handler
commit
|
commitdiff
|
tree
2017-06-19
Andres Noetzli
Better configuration for QF_NRA
commit
|
commitdiff
|
tree
2017-06-16
Andres Noetzli
Parse 'is', 'match' differently for non-DT input
commit
|
commitdiff
|
tree
2017-06-15
Andres Noetzli
Make comp script more robust
commit
|
commitdiff
|
tree
2017-06-14
Andres Noetzli
Remove UdivSelf rewrite, add UdivZero rewrite
commit
|
commitdiff
|
tree
2017-06-14
Andres Noetzli
Fix uninitialized value
commit
|
commitdiff
|
tree
2017-05-28
Andres Noetzli
[Competition] Fix ABC, fix CryptoMiniSat req
commit
|
commitdiff
|
tree
2017-05-26
Andres Noetzli
Fix use-after-free with ResChains
commit
|
commitdiff
|
tree
2017-05-16
Andres Noetzli
Avoid tokenizing FP tokens in non-FP input
commit
|
commitdiff
|
tree
2017-05-16
Andres Noetzli
Fix error in Windows build
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Minor fix in safe_print function
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Fix type checks for relation operators
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Fix minor bug in sets rewriter
commit
|
commitdiff
|
tree
2017-05-15
Andres Noetzli
Fix condition in upwards closure check for sets
commit
|
commitdiff
|
tree
2017-04-21
Andres Noetzli
Move assertion out of loop for better performance
commit
|
commitdiff
|
tree
2017-01-18
Andres Noetzli
Fix non-idempotent rewrite in Array rewriter
commit
|
commitdiff
|
tree