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

Commits on Jun 19, 2025

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

Commits on Jun 25, 2025

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

Commits on Jun 26, 2025

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