try out A ==> B to A ==> A && B conversion #466

alexanderjsummers · 2023-07-04T01:14:33Z

No description provided.

fpoli · 2023-07-04T07:31:14Z

Boogie has a flag for that:

  /causalImplies
                Translate Boogie's A ==> B into prover's A ==> A && B.

gauravpartha · 2023-07-04T07:34:17Z

@totoyoyo noticed that there is an error when that option is used and the Boogie developers confirmed that the feature is not implemented (boogie-org/boogie#757). As a reaction, they have removed the option (boogie-org/boogie#758).

try out A ==> B to A ==> A && B conversion

5121432

Update .gitignore

9ec2b83

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

try out A ==> B to A ==> A && B conversion #466

try out A ==> B to A ==> A && B conversion #466

alexanderjsummers commented Jul 4, 2023

fpoli commented Jul 4, 2023

gauravpartha commented Jul 4, 2023 •

edited

Loading

try out A ==> B to A ==> A && B conversion #466

Are you sure you want to change the base?

try out A ==> B to A ==> A && B conversion #466

Conversation

alexanderjsummers commented Jul 4, 2023

fpoli commented Jul 4, 2023

gauravpartha commented Jul 4, 2023 • edited Loading

gauravpartha commented Jul 4, 2023 •

edited

Loading