Add AST generation#44

Merged

MarcellPerger1 merged 67 commits intomainfrom

Nov 12, 2024

Commits on Nov 5, 2024

feat(ast): Start AST generation (handles smt)
MarcellPerger1
committed

Commits on Nov 6, 2024

Commits on Nov 7, 2024

Commits on Nov 9, 2024

Commits on Nov 10, 2024

Commits on Nov 11, 2024

test: Add multiprocessing/SimpleProcessPool coverage
MarcellPerger1
committed
refactor: Remove unneeded pycharm ignore
MarcellPerger1
committed
refactor: Rename overly long class in simple_process_pool.py to _TimeoutMgr
MarcellPerger1
committed
fix: Increase _finalize timeout as it takes ages to shut down.
MarcellPerger1
committed
fix: Fiz 'process didn't close' message formatting
MarcellPerger1
committed
perf: Don't test as many combinations in test_py_consistency
MarcellPerger1
committed
test: Add tests for error handling in eval_literal.py
MarcellPerger1
committed
refactor: Add coverage ignore to should-be-unreachable assert
MarcellPerger1
committed