Programming Languages Research Group: Git

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
2011-05-18	yeom	add more test cases: delta func and local variable...	commit \| commitdiff \| tree
2011-05-18	yeom	changes.	commit \| commitdiff \| tree
2011-05-18	yeom	changes to reflect ssjava design changes and temporarily...	commit \| commitdiff \| tree
2011-05-18	yeom	updates ssjava test case to reflect recent changes	commit \| commitdiff \| tree
2011-05-13	yeom	take out all of ssjava stuff from state class and start...	commit \| commitdiff \| tree
2011-05-13	yeom	decide not to have additional grammar to declare the...	commit \| commitdiff \| tree
2011-05-04	yeom	small changes: have a way to specify the location of...	commit \| commitdiff \| tree
2011-05-03	yeom	changes.	commit \| commitdiff \| tree
2011-04-29	yeom	changes: now, the annotated SSJava class library passes...	commit \| commitdiff \| tree
2011-04-28	yeom	Jim found that three class files of java_cup.runtime...	commit \| commitdiff \| tree
2011-04-27	yeom	changes to get the tiny class library for ssjava	commit \| commitdiff \| tree
2011-04-27	yeom	extends the location hierarchy definition grammar.	commit \| commitdiff \| tree
2011-04-27	yeom	change	commit \| commitdiff \| tree
2011-04-27	yeom	attempts to have ssjava's own class library. starting...	commit \| commitdiff \| tree
2011-04-27	yeom	Extends the grammar to include the annotation type...	commit \| commitdiff \| tree
2011-04-26	yeom	has a hack on java_cup parser generator: divides a...	commit \| commitdiff \| tree
2011-04-26	yeom	first step to reduce the size of grammar as we have...	commit \| commitdiff \| tree
2011-04-26	yeom	add another test case for ssjava:	commit \| commitdiff \| tree
2011-04-23	yeom	extends grammar little more to have the break statement...	commit \| commitdiff \| tree
2011-04-23	yeom	interim changes: ssjava will have its own class library...	commit \| commitdiff \| tree
2011-04-23	yeom	get rid of isClassLibrary method	commit \| commitdiff \| tree
2011-04-22	yeom	changes: make location an extension of type descriptor...	commit \| commitdiff \| tree
2011-04-21	yeom	changes: having an extension field in the type descriptor	commit \| commitdiff \| tree
2011-04-20	yeom	enables the labeled_statements. The scope of a label...	commit \| commitdiff \| tree
2011-04-19	yeom	changes.	commit \| commitdiff \| tree
2011-04-18	yeom	handle the missing case in the flow down analysis:...	commit \| commitdiff \| tree
2011-04-18	yeom	fix for ssJava: realized that annotation should not...	commit \| commitdiff \| tree
2011-04-18	yeom	bug fixes: printing out linenum & source file name...	commit \| commitdiff \| tree
2011-04-18	yeom	extend grammar for parameter annotation. forgot to...	commit \| commitdiff \| tree
2011-04-18	yeom	reorganize.	commit \| commitdiff \| tree
2011-04-16	yeom	fixes for oooJava gc	commit \| commitdiff \| tree
2011-04-15	yeom	changes.	commit \| commitdiff \| tree
2011-04-14	yeom	extends the grammar to have a way to define a new type...	commit \| commitdiff \| tree
2011-04-13	yeom	changes.	commit \| commitdiff \| tree
2011-04-12	yeom	changes.	commit \| commitdiff \| tree
2011-04-11	yeom	changes.	commit \| commitdiff \| tree
2011-04-09	yeom	having better speedup	commit \| commitdiff \| tree
2011-04-08	yeom	adjust run configurations	commit \| commitdiff \| tree
2011-04-08	yeom	having working version of both single and rcrpointer...	commit \| commitdiff \| tree
2011-04-08	yeom	having a verification routine.	commit \| commitdiff \| tree
2011-04-08	yeom	fix: handle the case that TASK doesn't have any heap...	commit \| commitdiff \| tree
next

Irvine Research Compiler

RSS Atom