projects
/
IRC.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
makefile
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
2011-04-08
yeom
fixes -nostalltr flag: if it is valid to prune heap...
commit
|
commitdiff
|
tree
2011-04-07
yeom
change on the labyrinth run script: making memory interleave...
commit
|
commitdiff
|
tree
2011-04-06
yeom
changes.
commit
|
commitdiff
|
tree
2011-04-06
yeom
changes: handle the case that there is only one work...
commit
|
commitdiff
|
tree
2011-04-05
yeom
updates.
commit
|
commitdiff
|
tree
2011-04-04
yeom
changes on run scripts
commit
|
commitdiff
|
tree
2011-04-04
yeom
bug fix on the oooJava queue: when tries to add a vector...
commit
|
commitdiff
|
tree
2011-04-03
yeom
changes: build conflict graphs that have line number...
commit
|
commitdiff
|
tree
2011-03-31
yeom
only print out line numbers in debug mode
commit
|
commitdiff
|
tree
2011-03-31
yeom
bring last changes before executing benchmakrs
commit
|
commitdiff
|
tree
2011-03-31
yeom
changes: reorganizes debug messages
commit
|
commitdiff
|
tree
2011-03-31
yeom
add a new compiler flag -nolock: turning off synchronization...
commit
|
commitdiff
|
tree
2011-03-31
yeom
changes for better debug messages
commit
|
commitdiff
|
tree
2011-03-31
yeom
changes.
commit
|
commitdiff
|
tree
2011-03-31
yeom
changes: only apply the variable analysis on the method...
commit
|
commitdiff
|
tree
2011-03-31
yeom
change
commit
|
commitdiff
|
tree
2011-03-31
yeom
change due to changes of math class library
commit
|
commitdiff
|
tree
2011-03-30
yeom
bug fixes on OoOJava, now it works fine with all of...
commit
|
commitdiff
|
tree
2011-03-28
yeom
bug fix on RBlockRelationAnalysis: found that status...
commit
|
commitdiff
|
tree
2011-03-26
yeom
changes.
commit
|
commitdiff
|
tree
2011-03-24
yeom
changes on ssjava.
commit
|
commitdiff
|
tree
2011-03-22
yeom
bug fix on the glb function of the lattice + working...
commit
|
commitdiff
|
tree
2011-03-19
yeom
changes.
commit
|
commitdiff
|
tree
2011-03-18
yeom
a new compiler flag, "-printlinenum", has been added...
commit
|
commitdiff
|
tree
2011-03-17
yeom
changes: propagating line number references to flatnodes
commit
|
commitdiff
|
tree
2011-03-17
yeom
keep the current snapshot before making further changes.
commit
|
commitdiff
|
tree
2011-03-16
yeom
changes on the java grammar. the line number of a source...
commit
|
commitdiff
|
tree
2011-03-15
yeom
refactoring the lattice implementation / having a way...
commit
|
commitdiff
|
tree
2011-03-05
yeom
introduce new flag -ssjava for enabling SSJava feature...
commit
|
commitdiff
|
tree
2011-03-03
yeom
add grammar for the definition of location hierarchy...
commit
|
commitdiff
|
tree
2011-03-01
yeom
add annotation descriptor. type descriptor is responsible...
commit
|
commitdiff
|
tree
2011-03-01
yeom
add java 1.5 annotation grammar for all types of annotation...
commit
|
commitdiff
|
tree
next