issues
search
GillianPlatform
/
Gillian
The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73
stars
11
forks
source link
Save init data when compiling + sorted outputs
#304
Closed
N1ark
closed
1 month ago
N1ark
commented
1 month ago
Ensure init data is also saved to the GIL file when using
compile
Sort outputs of the
act
command (allows diffing between executions)
Fix Gillian-C not running with precompiled code if init data is not specified
compile
act
command (allows diffing between executions)