Programming Languages Research Group: Git - IRC.git/history

[IRC.git] / Robust / src / ClassLibrary / SSJava /

2011-08-20	yeom	mp3decoder passes the loop termination analysis.	tree \| commitdiff
2011-08-18	yeom	more changes to pass the flow-down rule	tree \| commitdiff
2011-08-18	yeom	changes.	tree \| commitdiff
2011-08-17	yeom	have linear-type-safe source codes of mp3decoder	tree \| commitdiff
2011-08-16	yeom	mp3decoder compiled by our research compiler produces...	tree \| commitdiff
2011-08-15	yeom	1) bug fix on nativeavailable(): forgot to get back...	tree \| commitdiff
2011-08-15	yeom	changes.	tree \| commitdiff
2011-08-15	yeom	adds 'nativeavailable()' and 'read(buf,offset,len)...	tree \| commitdiff
2011-08-09	yeom	changes: now variable ownership is in the part of the...	tree \| commitdiff
2011-07-15	yeom	changes.	tree \| commitdiff
2011-07-13	yeom	try to make mp3decoder pass SSJava checking	tree \| commitdiff
2011-07-13	david	refined annotation	tree \| commitdiff
2011-07-12	yeom	make mp3decoder compile	tree \| commitdiff
2011-07-12	yeom	try to make mp3decoder compile	tree \| commitdiff
2011-07-12	yeom	add more class libraries for ssjava	tree \| commitdiff
2011-06-24	david	Updating shared values	tree \| commitdiff
2011-06-24	david	updated shared locations	tree \| commitdiff
2011-06-22	david	First annoted version	tree \| commitdiff
2011-06-22	david	First annotated version	tree \| commitdiff
2011-06-14	yeom	fixes on GLB and returnloc calculation, etc.	tree \| commitdiff
2011-05-23	yeom	having a new check that verifies the single reference...	tree \| commitdiff
2011-05-20	yeom	fix bugs on the flow down rule and start annotating...	tree \| commitdiff
2011-05-18	yeom	changes to reflect ssjava design changes and temporaril...	tree \| commitdiff
2011-05-03	yeom	changes.	tree \| commitdiff
2011-04-29	yeom	changes: now, the annotated SSJava class library passes...	tree \| commitdiff
2011-04-27	yeom	changes to get the tiny class library for ssjava	tree \| commitdiff
2011-04-27	yeom	attempts to have ssjava's own class library. starting...	tree \| commitdiff

Irvine Research Compiler

RSS Atom