Implement execution of swine-z3 on SMT2 files#65

Open

SeRin-Yang wants to merge 20 commits intomoves-rwth:mainfrom

SeRin-Yang:main

Commits on Feb 11, 2025

Implement execution of swine-z3 on SMT2 files

Se Rin Yang
authored and
Se Rin Yang
committed

Commits on Feb 24, 2025

Add SolverType and CommandError enums, update execute_swine and check_proof_assuming functions
SeRin-Yang
committed

Commits on Mar 10, 2025

Commits on Mar 19, 2025

Add SolverType attribute to Prover struct and SMT solver options
SeRin-Yang
committed

Commits on Apr 14, 2025

Update check_proof_assuming to return Result for error handling
SeRin-Yang
committed

Commits on Apr 30, 2025

Commits on May 6, 2025

Commits on May 12, 2025

Parse counterexample from swine via solver.from_string
SeRin-Yang
committed

Commits on May 13, 2025

Commits on May 14, 2025

Merge main of moves-rwth/caesar and resolve conflicts
SeRin-Yang
committed

Commits on May 16, 2025

Merge remote-tracking branch 'moves-rwth/main'
SeRin-Yang
committed

Commits on May 21, 2025

minor changes
SeRin-Yang
committed

Commits on May 23, 2025

Commits on May 27, 2025

Add SolverResult enum
SeRin-Yang
committed