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
feat(benchmarks): MOCHAP14 vehichle problem
midway commit, need to integrate soonho's fixes in rebase
fix(tools): fixup delta precision statements in dReach translation after rebase
fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version

fix(benchmarks): adjusted testing scripts for new dReal version
chore(tools/DSL): update .gitignore and remove oasis file
feat(tools/DSL): refactor drh_stl module, add more C math funcs
test(nra): add mass_spring benchmark (thanks to Usman)
feat(tools/infix2prefix): add infix2prefix
fix(tools/infix2prefix): remove cil dep.