Skip to content

Bi-abduction transfomer#357

Merged
giltho merged 32 commits into
masterfrom
bi-abd-transformer
Jun 28, 2026
Merged

Bi-abduction transfomer#357
giltho merged 32 commits into
masterfrom
bi-abd-transformer

Conversation

@giltho

@giltho giltho commented Sep 30, 2025

Copy link
Copy Markdown
Contributor

Still at the draft stage. The transformer is implemented, not the connection to bi-abduction analysis yet.

giltho added 13 commits November 8, 2025 16:39
Signed-off-by: Sacha Ayoun <[email protected]>
Signed-off-by: Sacha Ayoun <[email protected]>
Signed-off-by: Sacha Ayoun <[email protected]>
Signed-off-by: Sacha Ayoun <[email protected]>
Signed-off-by: Sacha Ayoun <[email protected]>
Signed-off-by: Sacha Ayoun <[email protected]>
Signed-off-by: Sacha Ayoun <[email protected]>
Signed-off-by: Sacha Ayoun <[email protected]>
@giltho
giltho force-pushed the bi-abd-transformer branch from 1889dfa to bf378a2 Compare November 8, 2025 16:39
@NatKarmios
NatKarmios force-pushed the bi-abd-transformer branch from 948c911 to e346123 Compare June 28, 2026 01:23
@NatKarmios
NatKarmios marked this pull request as ready for review June 28, 2026 01:23
Comment thread GillianCore/engine/general_semantics/general/g_interpreter.ml

@NatKarmios NatKarmios left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

cool

@NatKarmios

Copy link
Copy Markdown
Contributor

Gonna let the full test cycle run on these since it changes some engine stuff

@giltho
giltho merged commit f516287 into master Jun 28, 2026
12 of 13 checks passed
@giltho
giltho deleted the bi-abd-transformer branch June 28, 2026 22:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants