projects
/
IRC.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
this little example only parallelizes for oooj with defreach
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
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
next