fix(realpaver): fix check_precision to apply pruning
feat(simple-bmc): init code
src(tools/icp_vis): remove basic/error.ml
refactor(dsolvers/icp_solver): cleanup callODESolver
feat(dsolvers/util/logger): change default verbosity level to INFO
fix(src/type.ml): remove unnecessary field access function

remove functions(varmap, modemap, init_id, etc), they are not necessary.
feat(src): create markup for theory literals to denote their precision
feat(src): move precision to theory atoms, not the literals
feat(src): integrate non-uniform delta with new completition test on delta, not epsilon
test(non_uniform_delta): add some more test instances
test(nra): bug fixes for test instances
feat(src): allow either delta or epsilon convergence tests and some new tests
feat(tools): added delta to dreach

still debugging seg fault in proof printing

Fixed bug in printing constraints with delta

Fixed bug in printing constraints with delta

fixed example for barn door

cleanup
feat(src): delta variable selection heuristic
test(non_uniform_delta): scalable barn door
feat(tools): added time precision to drh files
feat(non_uniform_delta): Barn Door experiments for memo

cleanup of plotting and testing scripts

cleanup testing files