aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Improve the performance of `condSimpTac`

Open sonmarcho opened this issue 4 months ago • 0 comments
trafficstars

This is an alternative version of https://github.com/AeneasVerif/aeneas/pull/559 which also improves the performance of progress*. As the performance gain was disappointing and as it lead to an significant increase in the code complexity, I decided to not merge it for now.

sonmarcho avatar Jun 29 '25 15:06 sonmarcho