Programming Languages Research Group: Git

2011-08-20	yeom	mp3decoder passes the loop termination analysis.	commit \| commitdiff \| tree
2011-08-20	yeom	bug fix on the loop termination analysis	commit \| commitdiff \| tree
2011-08-19	yeom	bug fix: the loop entrance node of DOWHILELOOP is the...	commit \| commitdiff \| tree
2011-08-19	yeom	changes on the loop termination analysis: associate...	commit \| commitdiff \| tree
2011-08-19	yeom	mp3decoder finally passes the flow-down rule checking.	commit \| commitdiff \| tree
2011-08-18	yeom	more changes to pass the flow-down rule	commit \| commitdiff \| tree
2011-08-18	yeom	changes.	commit \| commitdiff \| tree
2011-08-17	yeom	bug fix on flow-down rule: check if all of assignments...	commit \| commitdiff \| tree
2011-08-17	yeom	have linear-type-safe source codes of mp3decoder	commit \| commitdiff \| tree
2011-08-16	yeom	mp3decoder compiled by our research compiler produces...	commit \| commitdiff \| tree
2011-08-15	yeom	1) bug fix on nativeavailable(): forgot to get back...	commit \| commitdiff \| tree
2011-08-15	yeom	changes.	commit \| commitdiff \| tree
2011-08-15	yeom	adds 'nativeavailable()' and 'read(buf,offset,len)...	commit \| commitdiff \| tree
2011-08-13	yeom	1) allow to set the maximum threshold for the liveness...	commit \| commitdiff \| tree
2011-08-11	yeom	get rid of the stream parsing that occurs in the Layer...	commit \| commitdiff \| tree
2011-08-10	yeom	changes.	commit \| commitdiff \| tree
2011-08-09	yeom	changes: now variable ownership is in the part of the...	commit \| commitdiff \| tree
2011-08-09	yeom	code clean up	commit \| commitdiff \| tree
2011-08-09	yeom	fix a grammar to allow multiple annotations on method...	commit \| commitdiff \| tree
2011-08-08	yeom	changes.	commit \| commitdiff \| tree
2011-08-06	yeom	buildflat exposes new interface that maps from a tree...	commit \| commitdiff \| tree
2011-08-05	yeom	start revising the linear type checking	commit \| commitdiff \| tree
2011-08-03	yeom	changes.	commit \| commitdiff \| tree
2011-08-03	yeom	changes.	commit \| commitdiff \| tree
2011-08-02	yeom	changes.	commit \| commitdiff \| tree
2011-07-29	yeom	changes.	commit \| commitdiff \| tree
2011-07-28	yeom	fix on assigning the global location of the local...	commit \| commitdiff \| tree
2011-07-28	yeom	changes.	commit \| commitdiff \| tree
2011-07-28	yeom	changes.	commit \| commitdiff \| tree
2011-07-27	yeom	changes: 1) generate a class lattice graph DOT file...	commit \| commitdiff \| tree
2011-07-27	yeom	changes.	commit \| commitdiff \| tree
2011-07-27	yeom	changes.	commit \| commitdiff \| tree
2011-07-26	yeom	bug fix on callee constraint checking: previously only...	commit \| commitdiff \| tree
2011-07-26	yeom	changes.	commit \| commitdiff \| tree
2011-07-26	yeom	changes: LayerIDecoder and LayerIIDecoder pass the...	commit \| commitdiff \| tree
2011-07-23	yeom	changes.	commit \| commitdiff \| tree
2011-07-22	yeom	to get eaiser debugging, make the ssjava checking have...	commit \| commitdiff \| tree
2011-07-22	yeom	changes on the flow down rule checking: 1) only check...	commit \| commitdiff \| tree
2011-07-21	yeom	try to fix annotation errors	commit \| commitdiff \| tree
2011-07-21	yeom	more changes.	commit \| commitdiff \| tree
2011-07-21	yeom	fix a bug: there was no case for unsigned shift op.	commit \| commitdiff \| tree
2011-07-20	yeom	fixes on method annoatation checking: when a method...	commit \| commitdiff \| tree
2011-07-20	yeom	changes.	commit \| commitdiff \| tree
2011-07-19	yeom	changes on NameNode checking	commit \| commitdiff \| tree
2011-07-18	yeom	changes	commit \| commitdiff \| tree
2011-07-16	yeom	changes: major revision on SynthesisFilter of mp3decoder...	commit \| commitdiff \| tree
2011-07-15	yeom	changes.	commit \| commitdiff \| tree
2011-07-14	yeom	changes: 1) have a better error message 2) if annotation...	commit \| commitdiff \| tree
2011-07-14	yeom	adding more annotations for mp3decoder	commit \| commitdiff \| tree
2011-07-13	yeom	fix: forgot to check swtich statements	commit \| commitdiff \| tree
2011-07-13	yeom	fix: does not need to check a class that does not have...	commit \| commitdiff \| tree
2011-07-13	yeom	changes: taking decoder initilization out from ssjava...	commit \| commitdiff \| tree
2011-07-13	yeom	changes on mp3 decoder	commit \| commitdiff \| tree
2011-07-13	yeom	try to make mp3decoder pass SSJava checking	commit \| commitdiff \| tree
2011-07-13	yeom	bug fix: no need to check flow down rule for abstract...	commit \| commitdiff \| tree
2011-07-13	yeom	put deserialized values from sfd.ser	commit \| commitdiff \| tree
2011-07-12	yeom	update makefile	commit \| commitdiff \| tree
2011-07-12	yeom	bug fix: if a parent class doesn't define lattice,...	commit \| commitdiff \| tree
2011-07-12	yeom	make mp3decoder compile	commit \| commitdiff \| tree
2011-07-12	yeom	try to make mp3decoder compile	commit \| commitdiff \| tree
2011-07-12	yeom	changes.	commit \| commitdiff \| tree
2011-07-12	yeom	add more class libraries for ssjava	commit \| commitdiff \| tree
2011-07-11	yeom	refactoring	commit \| commitdiff \| tree
2011-07-11	yeom	fix a bug introducing redundant method entries for...	commit \| commitdiff \| tree
2011-07-11	yeom	more changes on shared location analysis. now it works...	commit \| commitdiff \| tree
2011-07-10	yeom	changes.	commit \| commitdiff \| tree
2011-07-09	yeom	changes.	commit \| commitdiff \| tree
2011-07-08	yeom	override toString method for better debug message	commit \| commitdiff \| tree
2011-07-08	yeom	changes toward intraprocedural analysis	commit \| commitdiff \| tree
2011-07-08	yeom	start implementing shared location analysis	commit \| commitdiff \| tree
2011-07-07	yeom	bring recent changes before starting to implement definitely...	commit \| commitdiff \| tree
2011-07-02	yeom	bug fixes	commit \| commitdiff \| tree
2011-07-01	yeom	bug fixes and refactoring to have more smooth integration...	commit \| commitdiff \| tree
2011-07-01	yeom	fix indentation	commit \| commitdiff \| tree
2011-07-01	yeom	changes.	commit \| commitdiff \| tree
2011-07-01	yeom	getting close to finishing the definite written analysis	commit \| commitdiff \| tree
2011-06-30	yeom	start to revise definitely written analysis implementation	commit \| commitdiff \| tree
2011-06-29	yeom	add debug flag for ssjava	commit \| commitdiff \| tree
2011-06-29	yeom	add ssjava debug option to have interim results if...	commit \| commitdiff \| tree
2011-06-22	yeom	small changes on test cases. disable -noloop option...	commit \| commitdiff \| tree
2011-06-22	yeom	bug fixes + integrate loop termination analysis into...	commit \| commitdiff \| tree
2011-06-21	yeom	have Javadoc-style method comments.	commit \| commitdiff \| tree
2011-06-21	yeom	reflects today's comments	commit \| commitdiff \| tree
2011-06-21	yeom	changes.	commit \| commitdiff \| tree
2011-06-21	yeom	convert it to the must analysis	commit \| commitdiff \| tree
2011-06-20	yeom	provides makefile and makes it compile for david	commit \| commitdiff \| tree
2011-06-20	yeom	changes.	commit \| commitdiff \| tree
2011-06-19	yeom	changes.	commit \| commitdiff \| tree
2011-06-18	yeom	start implementing loop termination analysis: for the...	commit \| commitdiff \| tree
2011-06-14	yeom	fixes on GLB and returnloc calculation, etc.	commit \| commitdiff \| tree
2011-06-11	yeom	fix bugs and changes on method checking	commit \| commitdiff \| tree
2011-06-03	yeom	improves the strategy of checkings: starting from ssjava...	commit \| commitdiff \| tree
2011-06-01	yeom	having a location namespace. location names appeared...	commit \| commitdiff \| tree
2011-05-31	yeom	add one more checking, class inheritance: If a class...	commit \| commitdiff \| tree
2011-05-25	yeom	fixes on bugs and checking of method invocation:	commit \| commitdiff \| tree
2011-05-24	yeom	bug fixes and few extra things:	commit \| commitdiff \| tree
2011-05-23	yeom	having a new check that verifies the single reference...	commit \| commitdiff \| tree
2011-05-20	yeom	fix bugs on the flow down rule and start annotating...	commit \| commitdiff \| tree
2011-05-19	yeom	changes.	commit \| commitdiff \| tree
2011-05-18	yeom	more changes.	commit \| commitdiff \| tree
next

Irvine Research Compiler

RSS Atom