• Sylvain Dailler's avatar
    ce: support for if-branching · b0ef7adf
    Sylvain Dailler authored
    This adds introduce_premises as a counterexample transformation (to
    introduce possible exists quantifications) and add attributes that are
    tagged with the special branch_id= to variables directly near it.
    b0ef7adf
Name
Last commit
Last update
..
ce Loading commit data...
encoding Loading commit data...
invalid Loading commit data...
plugins Loading commit data...
programs Loading commit data...
replay Loading commit data...
typing Loading commit data...
valid Loading commit data...
bench Loading commit data...
ce-bench Loading commit data...
check_realizations.sh Loading commit data...
true_goal.why Loading commit data...