Goto binary serialization#2205

Merged

remi-delmas-3000 merged 14 commits intomodel-checking:mainfrom

remi-delmas-3000:goto-binary-serialization

Mar 7, 2023

Commits on Mar 2, 2023

Goto binary serializer
Remi Delmas
committed
Goto binary deserializer
Remi Delmas
committed
Goto binary serde tests
Remi Delmas
committed
Add --write-goto-binary CLI option
Remi Delmas
committed
Address review comments
Remi Delmas
committed
Add memory usage and sharing statistics
Remi Delmas
committed
Addressing review comments
Remi Delmas
committed
fix clippy warnings
Remi Delmas
committed
add high-level overview of the method
Remi Delmas
committed
fix doc formatting
Remi Delmas
committed
Add CI regression run for the write_goto_binary
Remi Delmas
committed
Don't rely on JSON symtabs for --gen-c, --function
Remi Delmas
committed
Make GOTO binary the default.
Remi Delmas
committed

Commits on Mar 7, 2023

Address review comments
Remi Delmas
committed