projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
rewriterules: fix a correction bug with --simplification=batch
[cvc5.git]
/
src
/
theory
/
rewriterules
/
drwxr-xr-x
..
-rw-r--r--
86
Makefile
blob
|
history
|
raw
-rw-r--r--
673
Makefile.am
blob
|
history
|
raw
-rw-r--r--
1184
README.WHATS-NEXT
blob
|
history
|
raw
-rw-r--r--
1241
kinds
blob
|
history
|
raw
-rw-r--r--
456
options
blob
|
history
|
raw
-rw-r--r--
4177
rr_candidate_generator.cpp
blob
|
history
|
raw
-rw-r--r--
6179
rr_candidate_generator.h
blob
|
history
|
raw
-rw-r--r--
50692
rr_inst_match.cpp
blob
|
history
|
raw
-rw-r--r--
8858
rr_inst_match.h
blob
|
history
|
raw
-rw-r--r--
4282
rr_inst_match_impl.h
blob
|
history
|
raw
-rw-r--r--
16440
rr_trigger.cpp
blob
|
history
|
raw
-rw-r--r--
6495
rr_trigger.h
blob
|
history
|
raw
-rw-r--r--
23722
theory_rewriterules.cpp
blob
|
history
|
raw
-rw-r--r--
9277
theory_rewriterules.h
blob
|
history
|
raw
-rw-r--r--
2408
theory_rewriterules_params.h
blob
|
history
|
raw
-rw-r--r--
4805
theory_rewriterules_preprocess.h
blob
|
history
|
raw
-rw-r--r--
3538
theory_rewriterules_rewriter.h
blob
|
history
|
raw
-rw-r--r--
12798
theory_rewriterules_rules.cpp
blob
|
history
|
raw
-rw-r--r--
1203
theory_rewriterules_rules.h
blob
|
history
|
raw
-rw-r--r--
4490
theory_rewriterules_type_rules.h
blob
|
history
|
raw