Skip to content

Experimental OpSem inspired by the Pyrona work. #672

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
mjp41 wants to merge 37 commits into
base: master
Choose a base branch
from
Open

Experimental OpSem inspired by the Pyrona work. #672

Changes from all commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
f18f8f5
experimental opsem
sylvanc Apr 8, 2025
2f43e4c
opsem minor edits
sylvanc Jan 31, 2025
5ba0298
opsem minor edits
sylvanc Jan 31, 2025
5c14a34
opsem stack reference counting
sylvanc Feb 1, 2025
25c2813
opsem region extract
sylvanc Feb 1, 2025
120f5ca
opsem minor edits
sylvanc Feb 1, 2025
8025fb7
move rc into metadata
sylvanc Feb 3, 2025
abf83d2
opsem no rc on stack
sylvanc Feb 5, 2025
9961a91
opsem immutability
sylvanc Feb 5, 2025
7b91a49
opsem refcounting for immutable
sylvanc Feb 5, 2025
ce94e65
opsem wf stack local
sylvanc Feb 5, 2025
626867a
opsem minor edits
sylvanc Feb 6, 2025
3568ae8
opsem heap and stack rc for regions
sylvanc Feb 6, 2025
5d121ce
track parent region rather than heap_rc
sylvanc Mar 24, 2025
93324d1
gc and free
sylvanc Mar 27, 2025
5082af4
opsem minor edits
sylvanc Mar 27, 2025
ed7af13
finalization
sylvanc Mar 28, 2025
1a97c0a
extract
sylvanc Mar 29, 2025
40146d6
ordered frame ids
sylvanc Mar 29, 2025
f8450b9
improve WF
sylvanc Mar 29, 2025
7dc2e9f
non-local return
sylvanc Mar 31, 2025
93103c4
extract
sylvanc Mar 31, 2025
9060d79
dynamic failure WIP
sylvanc Mar 31, 2025
b441b5e
dynamic failures
sylvanc Apr 1, 2025
8ec1b92
concurrent semantics WIP
sylvanc Apr 4, 2025
6511ad0
concurrent semantics WIP
sylvanc Apr 4, 2025
5c0454c
concurrent semantics WIP
sylvanc Apr 4, 2025
cd3d80e
readonly
sylvanc Apr 4, 2025
7fd2b16
stop using a set for region parent
sylvanc Apr 5, 2025
243405f
store to a cown value
sylvanc Apr 5, 2025
c29ba6b
type test on store
sylvanc Apr 6, 2025
f0982ff
mark regions readonly
sylvanc Apr 7, 2025
58a5c86
minor edit
sylvanc Apr 7, 2025
0e216d5
Some comments and small changes from reading through.
mjp41 Apr 8, 2025
f63ae3d
Some more comments and small changes from reading through.
mjp41 Apr 8, 2025
a2464da
address some mjp comments
sylvanc Apr 9, 2025
83d14bb
try to use varphi everywhere
sylvanc Apr 9, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading