Translation into Z3 expressions - #30

Open

Pichers wants to merge 14 commits into

mainfrom

Commits on Jun 18, 2025

infrastructure for refinements language
CatarinaGamboa
committed
30825d6

Commits on Jun 19, 2025

Added g4 grammar and proper generated files from pom. Added test just for the grammar + parser
CatarinaGamboa
committed
800bf11

Commits on Jun 24, 2025

Commits on Jun 25, 2025

Added visit literal functions and 'fixed' (?) tests and logic
Antonio Almeida
committed
b7f166c
Added visitVar function
Antonio Almeida
committed
a88d678

Commits on Jun 26, 2025

Added visitOpArith function
Antonio Almeida
committed
856dd8a
Added visitExpBool for comparisons and updated the grammar to include '>' and '>='
Antonio Almeida
committed
3610d44
Added visitPredNegate and visitPredLogic to handle logical operations
Antonio Almeida
committed
5a40a24
Added visitPredImplies to handle implications and updated the grammar to include implications (->)
Antonio Almeida
committed
e464f41
Added visit*Group to support complex grouped expressions
Antonio Almeida
committed
5a34085
fixed tests with unary minus
Antonio Almeida
committed
0f3b55e