Change the syntax of predicates to be `pred(ins ; outs)` - #380

Merged

NatKarmios merged 9 commits into

reorder-pred-args

Jul 1, 2026

Commits on Jun 28, 2026

Reset, don't push/pop
giltho
committed
88447c9
Sys.time -> Unix.gettimeofday
giltho
committed
daa5f84
reorder predicate arguments for all ins to be at the start and all outs to be at the end
giltho
committed
1c5bb46

Commits on Jun 29, 2026

Change the syntax of predicates to use `pred(ins; outs)`
giltho
committed
eeb7cba
predicate calls need semi-colon separating ins from outs
giltho
committed
15d85f6
fix the failing Gillian-C2 proofs
giltho
committed
b3d77d4

Commits on Jun 30, 2026

Merge branch 'master' into reorder-pred-args
NatKarmios
authored
156d884

Commits on Jul 1, 2026

Make trailing semicolon (for all-ins) optional
NatKarmios
committed
e68bc1d
Update pred printers
NatKarmios
committed
013b27d