Leonardo de Moura
|
0803db21d3
|
refactor(library/blast): add "_action" suffix to files defining actions
|
2015-11-14 13:22:12 -08:00 |
|
Leonardo de Moura
|
0f4e59a84f
|
feat(library/blast): add "no_confusion" action
|
2015-11-13 18:19:05 -08:00 |
|
Leonardo de Moura
|
29d472788f
|
feat(library/blast/subst): avoid unnecessary proof step
|
2015-11-13 16:31:07 -08:00 |
|
Leonardo de Moura
|
3849aff674
|
fix(library/blast/subst): bug in subst action, add hypothesis_idx_buffer_set (helper class), refine revert_action interface
|
2015-11-13 16:10:25 -08:00 |
|
Leonardo de Moura
|
ca4c078089
|
feat(library/blast): add "subst" action
|
2015-11-13 15:21:26 -08:00 |
|