Thanks to visit codestin.com
Credit goes to github.com

Add mypy checks in CI#813

Open

Framba-Luca wants to merge 30 commits intomasterfrom

add_typing_hints

Commits on May 29, 2025

feat(Typing): add typing with monkeytype to all sub/packages that did not need manual adjustment and manually adjusted all files in the main folder, in smtlib, in cmd and in optimization. SOlvers, …
Framba-Luca
committed

Commits on Jun 9, 2025

Applied monkeytype to solvers and walkers folders. Test folder still missing
Framba-Luca
committed

Commits on Jun 10, 2025

Applied monkeytype typing to all files with some manual fixing. Fixed circular imports with environment; fixed tests that were broken by the hardcoded modifications to apply monkeytypes and started…
Framba-Luca
committed

Commits on Jun 11, 2025

Commits on Jun 12, 2025

Commits on Jun 13, 2025

backup commit: fixing mypy issues
Framba-Luca
committed

Commits on Jun 16, 2025

backup commit: continue fixing mypy errors
Framba-Luca
committed

Commits on Jun 17, 2025

backup commit: continue fixing mypy errors
Framba-Luca
committed

Commits on Jun 18, 2025

Commits on Jun 19, 2025

Finish fixing mypy errors: there are still some TODO's in the code that have to be resolved
Framba-Luca
committed

Commits on Jun 25, 2025

add more typing to shortcuts and factory
Framba-Luca
committed

Commits on Jul 1, 2025

fix some todos and added typing to formula and shortcuts
Framba-Luca
committed

Commits on Jul 2, 2025

add typing to FNode and fixed some todos
Framba-Luca
committed

Commits on Jul 4, 2025

add some typing to main files like SOlver, Interpolator and QUantifierEliminator
Framba-Luca
committed

Commits on Jul 7, 2025

Commits on Jul 8, 2025

Fixed todos and type: ignore
Framba-Luca
committed

Commits on Jul 9, 2025

Typed environment properties and fixed mistakes
Framba-Luca
committed

Commits on Sep 5, 2025

Merged master
mikand
committed