search

ultimate-pa / ultimate

The Ultimate program analysis framework.
https://ultimate-pa.org/
200 stars 41 forks source link

[GemCutter] Commutativity Condition Synthesis #696

Closed maul-esel closed 1 week ago

maul-esel commented 1 week ago

Based on @ebbima's thesis, this branch adds support for synthesis and proofs of commutativity conditions to GemCutter's CEGAR loop.