aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Distinguish statements and sequences of statements in LLBC

Open sonmarcho opened this issue 1 year ago • 0 comments
trafficstars

It would make sense to do the same as https://github.com/AeneasVerif/charon/pull/356 for Aeneas

sonmarcho avatar Sep 19 '24 08:09 sonmarcho