projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Replace a some more static options (#8042)
[cvc5.git]
/
src
/
proof
/
drwxr-xr-x
..
drwxr-xr-x
-
alethe
tree
|
history
-rw-r--r--
2586
annotation_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
3244
annotation_proof_generator.h
blob
|
history
|
raw
-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--
5241
eager_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
8009
eager_proof_generator.h
blob
|
history
|
raw
-rw-r--r--
7776
lazy_proof.cpp
blob
|
history
|
raw
-rw-r--r--
4611
lazy_proof.h
blob
|
history
|
raw
-rw-r--r--
13466
lazy_proof_chain.cpp
blob
|
history
|
raw
-rw-r--r--
6772
lazy_proof_chain.h
blob
|
history
|
raw
-rw-r--r--
4084
lazy_tree_proof_generator.cpp
blob
|
history
|
raw
-rw-r--r--
8006
lazy_tree_proof_generator.h
blob
|
history
|
raw
drwxr-xr-x
-
lfsc
tree
|
history
-rw-r--r--
3341
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--
14561
proof.cpp
blob
|
history
|
raw
-rw-r--r--
12503
proof.h
blob
|
history
|
raw
-rw-r--r--
10450
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--
2589
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--
10366
proof_node_algorithm.cpp
blob
|
history
|
raw
-rw-r--r--
4641
proof_node_algorithm.h
blob
|
history
|
raw
-rw-r--r--
14869
proof_node_manager.cpp
blob
|
history
|
raw
-rw-r--r--
9498
proof_node_manager.h
blob
|
history
|
raw
-rw-r--r--
8688
proof_node_to_sexpr.cpp
blob
|
history
|
raw
-rw-r--r--
3908
proof_node_to_sexpr.h
blob
|
history
|
raw
-rw-r--r--
10242
proof_node_updater.cpp
blob
|
history
|
raw
-rw-r--r--
6190
proof_node_updater.h
blob
|
history
|
raw
-rw-r--r--
11270
proof_rule.cpp
blob
|
history
|
raw
-rw-r--r--
54981
proof_rule.h
blob
|
history
|
raw
-rw-r--r--
2216
proof_set.h
blob
|
history
|
raw
-rw-r--r--
4217
proof_step_buffer.cpp
blob
|
history
|
raw
-rw-r--r--
4300
proof_step_buffer.h
blob
|
history
|
raw
-rw-r--r--
7512
theory_proof_step_buffer.cpp
blob
|
history
|
raw
-rw-r--r--
5026
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--
1853
unsat_core.cpp
blob
|
history
|
raw
-rw-r--r--
2077
unsat_core.h
blob
|
history
|
raw