projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
More optimizations of quantifier instantiation data structures.
[cvc5.git]
/
src
/
theory
/
rewriterules
/
drwxr-xr-x
..
-rw-r--r--
26993
efficient_e_matching.cpp
blob
|
history
|
raw
-rw-r--r--
15352
efficient_e_matching.h
blob
|
history
|
raw
-rw-r--r--
1240
kinds
blob
|
history
|
raw
-rw-r--r--
456
options
blob
|
history
|
raw
-rw-r--r--
2132
rr_candidate_generator.cpp
blob
|
history
|
raw
-rw-r--r--
5887
rr_candidate_generator.h
blob
|
history
|
raw
-rw-r--r--
55257
rr_inst_match.cpp
blob
|
history
|
raw
-rw-r--r--
11284
rr_inst_match.h
blob
|
history
|
raw
-rw-r--r--
4241
rr_inst_match_impl.h
blob
|
history
|
raw
-rw-r--r--
12461
rr_trigger.cpp
blob
|
history
|
raw
-rw-r--r--
5484
rr_trigger.h
blob
|
history
|
raw
-rw-r--r--
23799
theory_rewriterules.cpp
blob
|
history
|
raw
-rw-r--r--
9310
theory_rewriterules.h
blob
|
history
|
raw
-rw-r--r--
2380
theory_rewriterules_params.h
blob
|
history
|
raw
-rw-r--r--
5131
theory_rewriterules_preprocess.h
blob
|
history
|
raw
-rw-r--r--
3659
theory_rewriterules_rewriter.h
blob
|
history
|
raw
-rw-r--r--
13434
theory_rewriterules_rules.cpp
blob
|
history
|
raw
-rw-r--r--
1138
theory_rewriterules_rules.h
blob
|
history
|
raw
-rw-r--r--
4527
theory_rewriterules_type_rules.h
blob
|
history
|
raw