projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Some cleanup and copyright updating
[cvc5.git]
/
src
/
theory
/
rewriterules
/
drwxr-xr-x
..
-rw-r--r--
86
Makefile
blob
|
history
|
raw
-rw-r--r--
727
Makefile.am
blob
|
history
|
raw
-rw-r--r--
1184
README.WHATS-NEXT
blob
|
history
|
raw
-rw-r--r--
27439
efficient_e_matching.cpp
blob
|
history
|
raw
-rw-r--r--
15403
efficient_e_matching.h
blob
|
history
|
raw
-rw-r--r--
1241
kinds
blob
|
history
|
raw
-rw-r--r--
456
options
blob
|
history
|
raw
-rw-r--r--
2121
rr_candidate_generator.cpp
blob
|
history
|
raw
-rw-r--r--
5860
rr_candidate_generator.h
blob
|
history
|
raw
-rw-r--r--
50685
rr_inst_match.cpp
blob
|
history
|
raw
-rw-r--r--
8829
rr_inst_match.h
blob
|
history
|
raw
-rw-r--r--
4217
rr_inst_match_impl.h
blob
|
history
|
raw
-rw-r--r--
12425
rr_trigger.cpp
blob
|
history
|
raw
-rw-r--r--
5531
rr_trigger.h
blob
|
history
|
raw
-rw-r--r--
23823
theory_rewriterules.cpp
blob
|
history
|
raw
-rw-r--r--
9304
theory_rewriterules.h
blob
|
history
|
raw
-rw-r--r--
2367
theory_rewriterules_params.h
blob
|
history
|
raw
-rw-r--r--
5126
theory_rewriterules_preprocess.h
blob
|
history
|
raw
-rw-r--r--
3470
theory_rewriterules_rewriter.h
blob
|
history
|
raw
-rw-r--r--
13134
theory_rewriterules_rules.cpp
blob
|
history
|
raw
-rw-r--r--
1135
theory_rewriterules_rules.h
blob
|
history
|
raw
-rw-r--r--
4421
theory_rewriterules_type_rules.h
blob
|
history
|
raw