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

Test Abstract Interpretation #588

Open

EagleoutIce opened this issue Jan 11, 2024 · 0 comments

Assignees

Labels

abstract interpretation test

Member

EagleoutIce commented Jan 11, 2024 •

edited by LukasPietzschmann

Loading

Unit and basic system-level tests for abstract interpretation.

EagleoutIce added test abstract interpretation labels

EagleoutIce self-assigned this

EagleoutIce mentioned this issue

Basic Structure for the Abstract Interpretation #397

Merged

LukasPietzschmann added a commit that referenced this issue


          refactor: Removed TODOs referencing more tests

c57732e

See #588

LukasPietzschmann mentioned this issue

Start work on supporting conditionals (let's start with if-else) #706

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment