Initial commit
initialize nanojs
asd
temp checkin, almost done with VCG
temp checkin
builds, now to fill in the undefineds
builds, now to fill in the undefineds
stuff builds. need to implement Fixpoint.checkValid before running
whew. onto the bigger tests
shuffling tests around
adding function tests
adding bsearch and adpcm need to JS-ify
adding bsearch and adpcm need to JS-ify
adding flat tests back into pos
get flat tests working please
vardecl works
ok, all tests pass. need to add requires, ensures for funs, then POST THE ASGN.
ok, all tests pass. need to add requires, ensures for funs, then POST THE ASGN.
everything builds
added code for functions