TP3 jusqua reduce state

.gitignore

TP3/config/cfg.py

TP3/config/constant_propagation.py

TP3/config/example_constant_propagation.py

TP3/config/example_interval.py

TP3/config/example_interval_eval_exp.py

TP3/config/example_interval_reduce.py

TP3/config/example_iteration.py

TP3/config/example_opsem.py

TP3/config/example_sign.py

TP3/config/example_sign_eval_exp.py

TP3/config/example_sign_reduce.py

TP3/config/example_widen.py

TP3/config/interval_analysis.py

TP3/config/iteration.py

TP3/config/opsem.py

TP3/config/sign_analysis.py

TP3/config/syntax.py

TP3/tp.md