ISLa 2.0#85

Open

rindPHI wants to merge 37 commits intomainfrom

Commits on Aug 14, 2023

Fixed test cast
rindPHI
committed

Commits on Aug 21, 2023

Small updates + reformatting with new black
rindPHI
committed

Commits on Aug 22, 2023

Polishing things
rindPHI
committed

Commits on Aug 30, 2023

Disabled some doctests that don't work in CI
rindPHI
committed

Commits on Sep 11, 2023

Some fixes, changed signature of parse methods, also returning Result types in functions on hight level (e.g., solve_smt_formulas_with_language_constraints)
rindPHI
committed
Fixed a bug in Z3 helpers originating from previous 'Maybe' legacy objects; added docs
rindPHI
committed
Docs
rindPHI
committed

Commits on Sep 19, 2023

Commits on Sep 20, 2023

Commits on Sep 22, 2023

Removed Maybe/Exceptional, implied changes/fixes; old solver class left in broken state
rindPHI
committed

Commits on Sep 26, 2023

Fixed follow-up problems after removing homegrown Maybe/Exceptional types
rindPHI
committed

Commits on Sep 28, 2023

Unified rule signatures
rindPHI
committed

Commits on Sep 29, 2023

Commits on Oct 2, 2023

Commits on Oct 5, 2023