Timestamp:
Apr 25, 2024, 11:12:12 AM (5 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
55c97e4
Parents:
03b1815
Message:

Fix in code generation. forall clauses are now printed before return types on functions. This goes not change any generated C code but will matter for some debugging.

(No files)

Note: See TracChangeset for help on using the changeset viewer.