Skip to content
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

Jump to bottom

Various tweaks for TACAS '25 artifact #317

Merged
merged 37 commits into from
Oct 29, 2024
Merged

Various tweaks for TACAS '25 artifact #317

merged 37 commits into from
Oct 29, 2024

Conversation

NatKarmios
Copy link
Contributor

Quite a few changes in preparation for TACAS artifact.

  • Merge in Kanillian lifter changes from April (nat/c-lifting-eval)
  • Organise debugging example files
    • Add Collections-C example
  • Add publisher and icon to debug-ui/package.json
  • Fix incorrect LAction branch label
  • Fix some bugs in lifters Kani & WISL lifters:
    • step_over assumed that submap was mutated; now re-gets node to check submap
    • Interpereter errors inside nested function bodies (in WPST) caused UI bugs
  • Tweak Dockerfile to allow building image for running Gillian

NatKarmios and others added 30 commits October 18, 2024 14:58
@NatKarmios
Tweak make build
02aa80e
@NatKarmios
Remove debug-ui examples' launch.json
aa2d1a2
@NatKarmios
Tweak debug-ui package.json
c10319c
@NatKarmios
Debug ext: tweak installed Gillian behaviour
6e8073f
@NatKarmios
Add build stages to dockerfile
99a4cef
@NatKarmios
Reorganise debug examples
1c1f825
@NatKarmios
Tweak .gitignore
94da8fa
@NatKarmios
Fix mutation bug in lifters
de17864
@NatKarmios
Tweak path resolution in Gil_parsing
84911a0
@NatKarmios
Fix LAction bugs in GInterpreter
f70b48e 
- Fix the first LAction success being indexed with 1
- Fix vanish when recovery gives `Ok []`
@NatKarmios
Support include paths in Kanillian
17e76bb
@NatKarmios
Add enums to Kanillian types
9b98edd
@NatKarmios
Kanillian: handle continue statement
7d525b3
@NatKarmios
Kanillian: handle +=, -=, etc.
a3184fc
@NatKarmios
Kanillian: handle comma expression
a250703
@NatKarmios
Kanillian: Fix enum casting
fdfff7e
@NatKarmios
Kanillian: Add some missing float operations
a10f12f
@NatKarmios
Debug ext: Allow extra command-line args
3a33547
@NatKarmios
Optionally dump annots with GIL code
cbba1aa
@NatKarmios
Debug examples: Add collections-c, tweak others
66b4291
@NatKarmios
Make debug logging quieter
9860ba1
@NatKarmios
Debug: parse and compile files via the lifter
c9d2311
@NatKarmios
Kanillian: support float-to-int casting
214c76c
@NatKarmios
Kanillian: add internal calloc
0f43625
@NatKarmios
Kanillian: improve compilation logging
c224c91
@giltho @NatKarmios
pretty printing for all wisl commands
f5cf7d6
@NatKarmios
Kanillian: fix assume_type for enum, improve compiler log
89483b2
@NatKarmios
Minor tweaks to Kani & WISL lifter behaviour
405a97a
@NatKarmios
Kani lifter: fix uneval'd funcs overriding nest for eval'd ones
85ad86b
@NatKarmios
Kani lifter: Show errors encountered before canonical cmd
ae2bf9c
@NatKarmios NatKarmios merged commit 86bc804 into master Oct 29, 2024
9 checks passed
@NatKarmios NatKarmios deleted the nat/tacas25 branch October 29, 2024 10:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@NatKarmios @giltho