Experimental OpSem inspired by the Pyrona work. - #672

Open

Matthew Parkinson (mjp41) wants to merge 37 commits into

sylvanc-opsem-dyn

Commits on Apr 8, 2025

experimental opsem

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
f18f8f5
opsem minor edits

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
2f43e4c
opsem minor edits

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
5ba0298
opsem stack reference counting

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
5c14a34
opsem region extract

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
25c2813
opsem minor edits

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
120f5ca
move rc into metadata

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
8025fb7
opsem no rc on stack

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
abf83d2
opsem immutability

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
9961a91
opsem refcounting for immutable

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
7b91a49
opsem wf stack local

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
ce94e65
opsem minor edits

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
626867a
opsem heap and stack rc for regions

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
3568ae8
track parent region rather than heap_rc

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
5d121ce
gc and free

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
93324d1
opsem minor edits

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
5082af4
finalization

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
ed7af13
extract

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
1a97c0a
ordered frame ids

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
40146d6
improve WF

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
f8450b9
non-local return

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
7dc2e9f
extract

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
93103c4
dynamic failure WIP

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
9060d79
dynamic failures

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
b441b5e
concurrent semantics WIP

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
8ec1b92
concurrent semantics WIP

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
6511ad0
concurrent semantics WIP

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
5c0454c
readonly

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
cd3d80e
stop using a set for region parent

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
7fd2b16
store to a cown value

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
243405f
type test on store

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
c29ba6b
mark regions readonly

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
f0982ff
minor edit

Sylvan Clebsch (sylvanc)
authored and
Matthew Parkinson (mjp41)
committed
58a5c86
Some comments and small changes from reading through.
Matthew Parkinson (mjp41)
committed
0e216d5
Some more comments and small changes from reading through.
Matthew Parkinson (mjp41)
committed
f63ae3d

Commits on Apr 9, 2025

address some mjp comments
Sylvan Clebsch (sylvanc)
committed
a2464da
try to use varphi everywhere
Sylvan Clebsch (sylvanc)
committed
83d14bb