projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Eliminating static calls to rewriter in quantifiers (#7301)
[cvc5.git]
/
src
/
proof
/
drwxr-xr-x
..
drwxr-xr-x
-
alethe
tree
|
history
-rw-r--r--
998
assumption_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
1361
assumption_proof_generator.h
blob
|
history
|
raw
-rw-r--r--
2870
buffered_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
2109
buffered_proof_generator.h
blob
|
history
|
raw
-rw-r--r--
1315
clause_id.h
blob
|
history
|
raw
-rw-r--r--
20693
conv_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
10843
conv_proof_generator.h
blob
|
history
|
raw
-rw-r--r--
5266
conv_seq_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
4889
conv_seq_proof_generator.h
blob
|
history
|
raw
drwxr-xr-x
-
dot
tree
|
history
-rw-r--r--
4814
eager_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
7393
eager_proof_generator.h
blob
|
history
|
raw
-rw-r--r--
7716
lazy_proof.cpp
blob
|
history
|
raw
-rw-r--r--
4406
lazy_proof.h
blob
|
history
|
raw
-rw-r--r--
11422
lazy_proof_chain.cpp
blob
|
history
|
raw
-rw-r--r--
6239
lazy_proof_chain.h
blob
|
history
|
raw
-rw-r--r--
3999
lazy_tree_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
7740
lazy_tree_proof_generator.h
blob
|
history
|
raw
drwxr-xr-x
-
lfsc
tree
|
history
-rw-r--r--
3302
method_id.cpp
blob
|
history
|
raw
-rw-r--r--
3861
method_id.h
blob
|
history
|
raw
-rw-r--r--
1365
print_expr.cpp
blob
|
history
|
raw
-rw-r--r--
2377
print_expr.h
blob
|
history
|
raw
-rw-r--r--
13843
proof.cpp
blob
|
history
|
raw
-rw-r--r--
12412
proof.h
blob
|
history
|
raw
-rw-r--r--
10421
proof_checker.cpp
blob
|
history
|
raw
-rw-r--r--
8048
proof_checker.h
blob
|
history
|
raw
-rw-r--r--
5310
proof_ensure_closed.cpp
blob
|
history
|
raw
-rw-r--r--
2592
proof_ensure_closed.h
blob
|
history
|
raw
-rw-r--r--
2271
proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
4078
proof_generator.h
blob
|
history
|
raw
-rw-r--r--
3633
proof_letify.cpp
blob
|
history
|
raw
-rw-r--r--
3380
proof_letify.h
blob
|
history
|
raw
-rw-r--r--
1842
proof_node.cpp
blob
|
history
|
raw
-rw-r--r--
5267
proof_node.h
blob
|
history
|
raw
-rw-r--r--
7230
proof_node_algorithm.cpp
blob
|
history
|
raw
-rw-r--r--
3245
proof_node_algorithm.h
blob
|
history
|
raw
-rw-r--r--
14396
proof_node_manager.cpp
blob
|
history
|
raw
-rw-r--r--
9251
proof_node_manager.h
blob
|
history
|
raw
-rw-r--r--
8575
proof_node_to_sexpr.cpp
blob
|
history
|
raw
-rw-r--r--
3908
proof_node_to_sexpr.h
blob
|
history
|
raw
-rw-r--r--
10245
proof_node_updater.cpp
blob
|
history
|
raw
-rw-r--r--
6190
proof_node_updater.h
blob
|
history
|
raw
-rw-r--r--
11160
proof_rule.cpp
blob
|
history
|
raw
-rw-r--r--
54474
proof_rule.h
blob
|
history
|
raw
-rw-r--r--
2216
proof_set.h
blob
|
history
|
raw
-rw-r--r--
2983
proof_step_buffer.cpp
blob
|
history
|
raw
-rw-r--r--
2895
proof_step_buffer.h
blob
|
history
|
raw
-rw-r--r--
7260
theory_proof_step_buffer.cpp
blob
|
history
|
raw
-rw-r--r--
4930
theory_proof_step_buffer.h
blob
|
history
|
raw
-rw-r--r--
4309
trust_node.cpp
blob
|
history
|
raw
-rw-r--r--
6134
trust_node.h
blob
|
history
|
raw
-rw-r--r--
1772
unsat_core.cpp
blob
|
history
|
raw
-rw-r--r--
2077
unsat_core.h
blob
|
history
|
raw