Programming Languages Research Group: Git

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
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
next

Irvine Research Compiler

RSS Atom