projects / IRC.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
bug fix on flow-down rule: check if all of assignments done by invoking method respec...
2011-08-17 yeombug fix on flow-down rule: check if all of assignments...
commit | commitdiff | tree
2011-08-17 yeomhave linear-type-safe source codes of mp3decoder
 commit | commitdiff | tree
2011-08-16 yeommp3decoder compiled by our research compiler produces...
commit | commitdiff | tree
2011-08-15 yeom1) bug fix on nativeavailable(): forgot to get back...
commit | commitdiff | tree
2011-08-15 yeomchanges.
 commit | commitdiff | tree
2011-08-15 yeomadds 'nativeavailable()' and 'read(buf,offset,len)...
commit | commitdiff | tree
2011-08-13 yeom1) allow to set the maximum threshold for the liveness...
commit | commitdiff | tree
2011-08-11 yeomget rid of the stream parsing that occurs in the Layer...
commit | commitdiff | tree
2011-08-10 yeomchanges.
 commit | commitdiff | tree
2011-08-09 yeomchanges: now variable ownership is in the part of the...
commit | commitdiff | tree
2011-08-09 yeomcode clean up
 commit | commitdiff | tree
2011-08-09 yeomfix a grammar to allow multiple annotations on method...
commit | commitdiff | tree
2011-08-08 yeomchanges.
 commit | commitdiff | tree
2011-08-06 yeombuildflat exposes new interface that maps from a tree...
commit | commitdiff | tree
2011-08-05 yeomstart revising the linear type checking
 commit | commitdiff | tree
2011-08-03 yeomchanges.
 commit | commitdiff | tree
2011-08-03 yeomchanges.
 commit | commitdiff | tree
2011-08-02 yeomchanges.
 commit | commitdiff | tree
2011-07-29 yeomchanges.
 commit | commitdiff | tree
2011-07-28 yeomfix on assigning the global location of the local...
commit | commitdiff | tree
2011-07-28 yeomchanges.
 commit | commitdiff | tree
2011-07-28 yeomchanges.
 commit | commitdiff | tree
2011-07-27 yeomchanges: 1) generate a class lattice graph DOT file...
commit | commitdiff | tree
2011-07-27 yeomchanges.
 commit | commitdiff | tree
2011-07-27 yeomchanges.
 commit | commitdiff | tree
2011-07-26 yeombug fix on callee constraint checking: previously only...
commit | commitdiff | tree
2011-07-26 yeomchanges.
 commit | commitdiff | tree
2011-07-26 yeomchanges: LayerIDecoder and LayerIIDecoder pass the...
commit | commitdiff | tree
2011-07-23 yeomchanges.
 commit | commitdiff | tree
2011-07-22 yeomto get eaiser debugging, make the ssjava checking have...
commit | commitdiff | tree
2011-07-22 yeomchanges on the flow down rule checking: 1) only check...
commit | commitdiff | tree
2011-07-21 yeomtry to fix annotation errors
 commit | commitdiff | tree
2011-07-21 yeommore changes.
 commit | commitdiff | tree
2011-07-21 yeomfix a bug: there was no case for unsigned shift op.
 commit | commitdiff | tree
2011-07-20 yeomfixes on method annoatation checking: when a method...
commit | commitdiff | tree
2011-07-20 yeomchanges.
 commit | commitdiff | tree
2011-07-19 yeomchanges on NameNode checking
 commit | commitdiff | tree
2011-07-18 yeomchanges
 commit | commitdiff | tree
2011-07-16 yeomchanges: major revision on SynthesisFilter of mp3decoder...
commit | commitdiff | tree
2011-07-15 yeomchanges.
 commit | commitdiff | tree
2011-07-14 yeomchanges: 1) have a better error message 2) if annotation...
commit | commitdiff | tree
2011-07-14 yeomadding more annotations for mp3decoder
 commit | commitdiff | tree
2011-07-13 yeomfix: forgot to check swtich statements
 commit | commitdiff | tree
2011-07-13 yeomfix: does not need to check a class that does not have...
commit | commitdiff | tree
2011-07-13 yeomchanges: taking decoder initilization out from ssjava...
commit | commitdiff | tree
2011-07-13 yeomchanges on mp3 decoder
 commit | commitdiff | tree
2011-07-13 yeomtry to make mp3decoder pass SSJava checking
 commit | commitdiff | tree
2011-07-13 yeombug fix: no need to check flow down rule for abstract...
commit | commitdiff | tree
2011-07-13 yeomput deserialized values from sfd.ser
 commit | commitdiff | tree
2011-07-12 yeomupdate makefile
 commit | commitdiff | tree
2011-07-12 yeombug fix: if a parent class doesn't define lattice,...
commit | commitdiff | tree
2011-07-12 yeommake mp3decoder compile
 commit | commitdiff | tree
2011-07-12 yeomtry to make mp3decoder compile
 commit | commitdiff | tree
2011-07-12 yeomchanges.
 commit | commitdiff | tree
2011-07-12 yeomadd more class libraries for ssjava
 commit | commitdiff | tree
2011-07-11 yeomrefactoring
 commit | commitdiff | tree
2011-07-11 yeomfix a bug introducing redundant method entries for...
commit | commitdiff | tree
2011-07-11 yeommore changes on shared location analysis. now it works...
commit | commitdiff | tree
2011-07-10 yeomchanges.
 commit | commitdiff | tree
2011-07-09 yeomchanges.
 commit | commitdiff | tree
2011-07-08 yeomoverride toString method for better debug message
 commit | commitdiff | tree
2011-07-08 yeomchanges toward intraprocedural analysis
 commit | commitdiff | tree
2011-07-08 yeomstart implementing shared location analysis
 commit | commitdiff | tree
2011-07-07 yeombring recent changes before starting to implement definitely...
commit | commitdiff | tree
2011-07-02 yeombug fixes
 commit | commitdiff | tree
2011-07-01 yeombug fixes and refactoring to have more smooth integration...
commit | commitdiff | tree
2011-07-01 yeomfix indentation
 commit | commitdiff | tree
2011-07-01 yeomchanges.
 commit | commitdiff | tree
2011-07-01 yeomgetting close to finishing the definite written analysis
 commit | commitdiff | tree
2011-06-30 yeomstart to revise definitely written analysis implementation
 commit | commitdiff | tree
2011-06-29 yeomadd debug flag for ssjava
 commit | commitdiff | tree
2011-06-29 yeomadd ssjava debug option to have interim results if...
commit | commitdiff | tree
2011-06-22 yeomsmall changes on test cases. disable -noloop option...
commit | commitdiff | tree
2011-06-22 yeombug fixes + integrate loop termination analysis into...
commit | commitdiff | tree
2011-06-21 yeomhave Javadoc-style method comments.
 commit | commitdiff | tree
2011-06-21 yeomreflects today's comments
 commit | commitdiff | tree
2011-06-21 yeomchanges.
 commit | commitdiff | tree
2011-06-21 yeomconvert it to the must analysis
 commit | commitdiff | tree
2011-06-20 yeomprovides makefile and makes it compile for david
 commit | commitdiff | tree
2011-06-20 yeomchanges.
 commit | commitdiff | tree
2011-06-19 yeomchanges.
 commit | commitdiff | tree
2011-06-18 yeomstart implementing loop termination analysis: for the...
commit | commitdiff | tree
2011-06-14 yeomfixes on GLB and returnloc calculation, etc.
 commit | commitdiff | tree
2011-06-11 yeomfix bugs and changes on method checking
 commit | commitdiff | tree
2011-06-03 yeomimproves the strategy of checkings: starting from ssjava...
commit | commitdiff | tree
2011-06-01 yeomhaving a location namespace. location names appeared...
commit | commitdiff | tree
2011-05-31 yeomadd one more checking, class inheritance: If a class...
commit | commitdiff | tree
2011-05-25 yeomfixes on bugs and checking of method invocation:
 commit | commitdiff | tree
2011-05-24 yeombug fixes and few extra things:
 commit | commitdiff | tree
2011-05-23 yeomhaving a new check that verifies the single reference...
commit | commitdiff | tree
2011-05-20 yeomfix bugs on the flow down rule and start annotating...
commit | commitdiff | tree
2011-05-19 yeomchanges.
 commit | commitdiff | tree
2011-05-18 yeommore changes.
 commit | commitdiff | tree
2011-05-18 yeomadd more test cases: delta func and local variable...
commit | commitdiff | tree
2011-05-18 yeomchanges.
 commit | commitdiff | tree
2011-05-18 yeomchanges to reflect ssjava design changes and temporarily...
commit | commitdiff | tree
2011-05-18 yeomupdates ssjava test case to reflect recent changes
 commit | commitdiff | tree
2011-05-13 yeomtake out all of ssjava stuff from state class and start...
commit | commitdiff | tree
2011-05-13 yeomdecide not to have additional grammar to declare the...
commit | commitdiff | tree
2011-05-04 yeomsmall changes: have a way to specify the location of...
commit | commitdiff | tree
next
Irvine Research Compiler