started new project that implements various forms of data abstraction, following the rigurous framework of abstract interpretation
Clone from babelfish hg repo.
Added bytecode impl for IDIV, INEG, IMUL (Signs abstraction).
...
INT and LONG bytecodes
float and double bytecodes | int bytecodes example
fix
added a focus choice gen to handle nondet; fixed small things
Some debugging code added.
added a simple serializer-- not tested
added the serializer
added non-det choice to IADD to handle Top
seems i forgot to save a file so i re-commit
modified serializer + example
fix
Non-deterministic choice in bytecodes;
Evenness abstraction
Intervals abstraction
...
test for serializer
fixed serializer