UCSD-PL/nano-js — pull request #34 by panagosg7 (2014-01-24 07:50:59+00:00)
Title: Heapless devel

CHANGELOG
---------------------

- Added some ambient object definitions and linked as prototype (e.g. Number, String, Array)

- Added support for polymorphic function sigs among Intersection types

- Disabling strong updates. SSA vars that correspond to the same source variable will have the same raw type.

- Variable type annotations with no refinements are K-vared.

- Allowing uninitialized variable declarations.

BENCHMARKS
-----------------------

- Done resistor.js: a few (minor) parts that are not supported yet are noted as TODO