Experimental OpSem inspired by the Pyrona work.#672

Open

mjp41 wants to merge 37 commits intomasterfrom

sylvanc-opsem-dyn

Commits on Apr 8, 2025

experimental opsem

sylvanc
authored and
mjp41
committed
opsem minor edits

sylvanc
authored and
mjp41
committed
opsem minor edits

sylvanc
authored and
mjp41
committed
opsem stack reference counting

sylvanc
authored and
mjp41
committed
opsem region extract

sylvanc
authored and
mjp41
committed
opsem minor edits

sylvanc
authored and
mjp41
committed
move rc into metadata

sylvanc
authored and
mjp41
committed
opsem no rc on stack

sylvanc
authored and
mjp41
committed
opsem immutability

sylvanc
authored and
mjp41
committed
opsem refcounting for immutable

sylvanc
authored and
mjp41
committed
opsem wf stack local

sylvanc
authored and
mjp41
committed
opsem minor edits

sylvanc
authored and
mjp41
committed
opsem heap and stack rc for regions

sylvanc
authored and
mjp41
committed
track parent region rather than heap_rc

sylvanc
authored and
mjp41
committed
gc and free

sylvanc
authored and
mjp41
committed
opsem minor edits

sylvanc
authored and
mjp41
committed
finalization

sylvanc
authored and
mjp41
committed
extract

sylvanc
authored and
mjp41
committed
ordered frame ids

sylvanc
authored and
mjp41
committed
improve WF

sylvanc
authored and
mjp41
committed
non-local return

sylvanc
authored and
mjp41
committed
extract

sylvanc
authored and
mjp41
committed
dynamic failure WIP

sylvanc
authored and
mjp41
committed
dynamic failures

sylvanc
authored and
mjp41
committed
concurrent semantics WIP

sylvanc
authored and
mjp41
committed
concurrent semantics WIP

sylvanc
authored and
mjp41
committed
concurrent semantics WIP

sylvanc
authored and
mjp41
committed
readonly

sylvanc
authored and
mjp41
committed
stop using a set for region parent

sylvanc
authored and
mjp41
committed
store to a cown value

sylvanc
authored and
mjp41
committed
type test on store

sylvanc
authored and
mjp41
committed
mark regions readonly

sylvanc
authored and
mjp41
committed
minor edit

sylvanc
authored and
mjp41
committed
Some comments and small changes from reading through.
mjp41
committed
Some more comments and small changes from reading through.
mjp41
committed

Commits on Apr 9, 2025