Skip to content

JSILSMemory is now monadic #390

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
giltho wants to merge 2 commits into
base: master
Choose a base branch
from
Open

JSILSMemory is now monadic #390

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ee2669c
JSILSMemory is now monadic
giltho Jul 6, 2026
6e2de26
remove legacy_s_memory
giltho Jul 6, 2026
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
6 changes: 2 additions & 4 deletions Gillian-JS/lib/Debugging/JSLifter.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ struct
node

let add_memory_vars smemory get_new_scope_id (variables : Variable.ts) =
let sorted_locs_with_vals = Legacy_symbolic.sorted_locs_with_vals smemory in
let sorted_locs_with_vals = Base_symbolic.sorted_locs_with_vals smemory in
let value_nodes (loc, ((properties, domain), metadata)) : Variable.t =
let () = ignore properties in
let properties =
Expand Down Expand Up @@ -262,9 +262,7 @@ struct
in
scopes
else
let sorted_locs_with_vals =
Legacy_symbolic.sorted_locs_with_vals memory
in
let sorted_locs_with_vals = Base_symbolic.sorted_locs_with_vals memory in
let loc_to_scope_id = Hashtbl.create 0 in
let () =
List.iter
Expand Down
Loading
Loading