Parser improvement#18

Open

aehyvari wants to merge 94 commits intomasterfrom

parser-improvement

Commits on Oct 25, 2022

Logic: Evaluate "distinct" on constant arguments
Martin Blicha
committed
Tests: Add tests for evaluating on constants
Martin Blicha
committed

Commits on Oct 31, 2022

Changelog: Add entry for changes in distinct
Martin Blicha
committed

Commits on Nov 4, 2022

LASolver: Set `has_explanation` flag properly
Martin Blicha
committed
Tests: Add regression test for UFLRA bug
Martin Blicha
committed
TSolvers: Fix solver schedule for UFLA
Martin Blicha
committed

Commits on Nov 5, 2022

ArithLogic: Fix substitutions in presence of UF
Martin Blicha
committed

Commits on Nov 6, 2022

Tests: Rename test file
Martin Blicha
committed
Tests: Add unit test for not computing bad substitutions
Martin Blicha
committed
Add changelog entry
Martin Blicha
committed

Commits on Nov 16, 2022

CMake: Update gtest and googlebenchmark version
Martin Blicha
committed

Commits on Nov 21, 2022

Post-release version bump
Martin Blicha
committed

Commits on Nov 24, 2022

ArithLogic: Simplify mkMinus
Martin Blicha
committed
ArithLogic: Simplify method SimplifyConst::simplifyConstOp
Martin Blicha
committed

Commits on Nov 26, 2022