global symbolic memory + other minor extensions#7

Open

xantheocracy wants to merge 23 commits intoz5146542:symb_instfrom xantheocracy:symb_inst

+1,120-1,754

Commits on Dec 19, 2023

Renamed representable length function in test cases to match compiler.
Xanthe Spence
committed
Merge branch 'capability_compression' into symb_inst
Xanthe Spence
committed

Commits on Dec 31, 2023

Merge remote-tracking branch 'origin/symb_inst' into symb_inst
Xanthe Spence
committed

Commits on Jan 9, 2024

globals/structs
Xanthe Spence
committed
fixed _declare_cap to account for compression
Xanthe Spence
committed
pedantic reformatting
Xanthe Spence
committed

Commits on Jan 20, 2024

structs fixed
Xanthe Spence
committed

Commits on Jan 26, 2024

multifile execution works now
Xanthe Spence
committed

Commits on Feb 4, 2024

added a simplified GIL mmap
Xanthe Spence
committed
added and fixed some unops and binops
Xanthe Spence
committed

Commits on Mar 2, 2024

updated tests
Xanthe Spence
committed
global memory actions
Xanthe Spence
committed

Commits on Mar 7, 2024

symbolic memory fix
Xanthe Spence
committed

Commits on Mar 15, 2024

casting ?
Xanthe Spence
committed
fixed broken map use
Xanthe Spence
committed

Commits on Apr 15, 2024

cleaning
Xanthe Spence
committed
some symbolic tests
Xanthe Spence
committed

Commits on Apr 21, 2024

tests
Xanthe Spence
committed

Commits on Apr 22, 2024

alloc
Xanthe Spence
committed

Commits on Jul 14, 2024

a few tests
Xanthe Spence
committed
cleaning
Xanthe Spence
committed
extra gil ops
Xanthe Spence
committed
allocator case study code
Xanthe Spence
committed