issues
search
4tXJ7f
/
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Other
2
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Splitting on sequences equality
#24
yoni206
closed
2 years ago
0
test
#23
4tXJ7f
opened
4 years ago
0
Gh actions
#22
4tXJ7f
opened
4 years ago
0
When configuring 'git_versioninfo.cpp', do not always overwrite the file we compile; generate a temporary file, and only overwrite if it is has changed
#21
aytey
closed
4 years ago
2
Clang tidy
#20
4tXJ7f
opened
4 years ago
0
Update lab.md
#19
chelseas
opened
4 years ago
0
Poster
#18
4tXJ7f
opened
7 years ago
1
Remove initInternal
#17
4tXJ7f
closed
7 years ago
0
Take a look at benchmarks
#16
4tXJ7f
opened
7 years ago
0
Make sure that all necessary includes are in .h/.cpp files
#15
4tXJ7f
closed
7 years ago
1
Move topLevelSubstitutions to AssertionsPipeline
#14
4tXJ7f
closed
7 years ago
0
Move d_substitutionsIndex to AssertionsPipeline
#13
4tXJ7f
closed
7 years ago
0
PseudoBooleanProcessor should be owned by pass
#12
4tXJ7f
closed
7 years ago
0
Move init/API creation to SmtEngine::finishInit
#11
4tXJ7f
closed
7 years ago
0
Check what happens when Statistics are unregistered
#10
4tXJ7f
opened
7 years ago
0
Decide whether we want to have plug-ins and "special" plug-ins
#9
4tXJ7f
opened
7 years ago
0
Check whether CircuitPropagator has state
#8
4tXJ7f
opened
7 years ago
0
Investigate Portfolio failure
#7
4tXJ7f
closed
7 years ago
1
Create API class
#6
4tXJ7f
closed
7 years ago
0
Decide on API
#5
4tXJ7f
closed
7 years ago
0
Move PreprocessingPasses into individual file
#4
4tXJ7f
closed
7 years ago
0
Multiple copies of PreprocessingPassRegistry
#3
4tXJ7f
closed
7 years ago
1
Make accesses to NodeManager consistent
#2
4tXJ7f
closed
7 years ago
0
Use enum for PassResult
#1
4tXJ7f
closed
7 years ago
0