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

Kanillian C #270

Merged
merged 33 commits into from
Mar 14, 2024
Merged

Kanillian C #270

merged 33 commits into from
Mar 14, 2024

Conversation

NatKarmios
Copy link
Contributor

No description provided.

@NatKarmios NatKarmios force-pushed the nat/c-lifting branch 2 times, most recently from 9b68555 to b8ed556 Compare December 15, 2023 00:07
@NatKarmios NatKarmios force-pushed the nat/c-lifting branch 2 times, most recently from c37d7f9 to cd39534 Compare January 14, 2024 17:04
@NatKarmios NatKarmios force-pushed the nat/c-lifting branch 2 times, most recently from c051aa1 to 7987b85 Compare January 29, 2024 17:13
@NatKarmios NatKarmios force-pushed the nat/c-lifting branch 5 times, most recently from 0f61afb to 048dacd Compare February 20, 2024 23:26
@NatKarmios NatKarmios force-pushed the nat/c-lifting branch 2 times, most recently from c22bd6c to 6d393da Compare February 21, 2024 09:31
@NatKarmios NatKarmios force-pushed the nat/c-lifting branch 2 times, most recently from b41a9b7 to 78984f5 Compare March 13, 2024 00:51
NatKarmios added 19 commits March 13, 2024 00:59
@NatKarmios
Add some utils to List_utils and Hashtbl
30c11ca
@NatKarmios
Add Kani C WPST example
7dd0e20
@NatKarmios
Kani C lifting: first pass
ed4bb4c
@NatKarmios
Debug ext: consider lens kinds for C lenses
cc88a61
@NatKarmios
Add debug logging and end tags to Kani compilation
744d815
@NatKarmios
Add naive handling of Return for Kani C WPST
697054e
@NatKarmios
Debug ext: Fix lens positioning for Kani C
811f65c
@NatKarmios
Remove dead code from Kani annot and lifter
691aebc
@NatKarmios
Simplify partial cmd handling in Kani C lifter
e246c08
@NatKarmios
Add cmd call nesting for Kani C lifter
6a63940
@NatKarmios
Add Kani C WPST example with func calls
33fb897
@NatKarmios
Tweak Kani C annot compilation
21ac39e
@NatKarmios
Kani C lift: Overhaul display, add loops
8d81a9a
@NatKarmios
Kani C debug: Make llen.c WPST work
562c126
@NatKarmios
Kani C: show matches and errors, rename unify to match
c355c00
@NatKarmios
Improve error logging in debug adapter
3c508c1
@NatKarmios
Lifter/Debugger interface BIG overhaul!
12959f8 
Still need to make sure the WISL lifter is working properly
@NatKarmios
Fix end-of-loop handling in WISL lifter
7808a82
@NatKarmios
Fix WISL lifter bugs
6a33b86
giltho
giltho previously approved these changes Mar 13, 2024
View reviewed changes
Copy link
Contributor

@giltho giltho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

mostly approve

GillianCore/debugging/adapter/inspect.ml Outdated Show resolved Hide resolved
GillianCore/utils/list_utils.ml Outdated Show resolved Hide resolved
@NatKarmios NatKarmios marked this pull request as ready for review March 13, 2024 12:46
@NatKarmios NatKarmios merged commit 3efef67 into master Mar 14, 2024
9 checks passed
@NatKarmios NatKarmios deleted the nat/c-lifting branch March 14, 2024 02:30
@NatKarmios NatKarmios mentioned this pull request Mar 18, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@giltho giltho giltho left review comments

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