projects / IRC.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Previous fix is still buggy, this one really fix that bug
[IRC.git] / Robust / src / Analysis /
2011-08-05 yeomstart revising the linear type checking tree | commitdiff
2011-08-03 yeomchanges. tree | commitdiff
2011-08-03 yeomchanges. tree | commitdiff
2011-08-02 yeomchanges. tree | commitdiff
2011-07-28 yeomfix on assigning the global location of the local... tree | commitdiff
2011-07-28 yeomchanges. tree | commitdiff
2011-07-27 yeomchanges: 1) generate a class lattice graph DOT file... tree | commitdiff
2011-07-27 yeomchanges. tree | commitdiff
2011-07-27 yeomchanges. tree | commitdiff
2011-07-26 yeombug fix on callee constraint checking: previously only... tree | commitdiff
2011-07-26 yeomchanges. tree | commitdiff
2011-07-26 yeomchanges: LayerIDecoder and LayerIIDecoder pass the... tree | commitdiff
2011-07-23 yeomchanges. tree | commitdiff
2011-07-22 yeomto get eaiser debugging, make the ssjava checking have... tree | commitdiff
2011-07-22 yeomchanges on the flow down rule checking: 1) only check... tree | commitdiff
2011-07-21 yeomtry to fix annotation errors tree | commitdiff
2011-07-21 yeommore changes. tree | commitdiff
2011-07-20 yeomfixes on method annoatation checking: when a method... tree | commitdiff
2011-07-20 yeomchanges. tree | commitdiff
2011-07-19 yeomchanges on NameNode checking tree | commitdiff
2011-07-18 yeomchanges tree | commitdiff
2011-07-16 yeomchanges: major revision on SynthesisFilter of mp3decode... tree | commitdiff
2011-07-15 yeomchanges. tree | commitdiff
2011-07-14 yeomchanges: 1) have a better error message 2) if annotatio... tree | commitdiff
2011-07-13 yeomfix: forgot to check swtich statements tree | commitdiff
2011-07-13 yeomfix: does not need to check a class that does not have... tree | commitdiff
2011-07-13 yeomtry to make mp3decoder pass SSJava checking tree | commitdiff
2011-07-13 yeombug fix: no need to check flow down rule for abstract... tree | commitdiff
2011-07-12 yeombug fix: if a parent class doesn't define lattice,... tree | commitdiff
2011-07-12 yeomchanges. tree | commitdiff
2011-07-11 yeomrefactoring tree | commitdiff
2011-07-11 yeomfix a bug introducing redundant method entries for... tree | commitdiff
2011-07-11 yeommore changes on shared location analysis. now it works... tree | commitdiff
2011-07-10 yeomchanges. tree | commitdiff
2011-07-09 yeomchanges. tree | commitdiff
2011-07-08 yeomchanges toward intraprocedural analysis tree | commitdiff
2011-07-08 yeomstart implementing shared location analysis tree | commitdiff
2011-07-07 yeombring recent changes before starting to implement defin... tree | commitdiff
2011-07-02 yeombug fixes tree | commitdiff
2011-07-01 yeombug fixes and refactoring to have more smooth integrati... tree | commitdiff
2011-07-01 yeomfix indentation tree | commitdiff
2011-07-01 yeomchanges. tree | commitdiff
2011-07-01 yeomgetting close to finishing the definite written analysis tree | commitdiff
2011-06-30 yeomstart to revise definitely written analysis implementation tree | commitdiff
2011-06-29 yeomadd ssjava debug option to have interim results if... tree | commitdiff
2011-06-22 yeombug fixes + integrate loop termination analysis into... tree | commitdiff
2011-06-21 yeomhave Javadoc-style method comments. tree | commitdiff
2011-06-21 yeomreflects today's comments tree | commitdiff
2011-06-21 yeomchanges. tree | commitdiff
2011-06-21 yeomconvert it to the must analysis tree | commitdiff
2011-06-20 yeomchanges. tree | commitdiff
2011-06-19 yeomchanges. tree | commitdiff
2011-06-18 yeomstart implementing loop termination analysis: for the... tree | commitdiff
2011-06-14 yeomfixes on GLB and returnloc calculation, etc. tree | commitdiff
2011-06-11 jjenistatinkering with debug stuff for barnes-hut tree | commitdiff
2011-06-11 yeomfix bugs and changes on method checking tree | commitdiff
2011-06-10 jjenistaBug fix: in some cases we really do want the heap regio... tree | commitdiff
2011-06-03 yeomimproves the strategy of checkings: starting from ssjav... tree | commitdiff
2011-06-03 jjenistafixed a bug where a single argument is passed in as... tree | commitdiff
2011-06-02 jjenistawithout this the call stie debug was capturing an immen... tree | commitdiff
2011-06-01 jjenistacheck points-to module improvements along with a bug... tree | commitdiff
2011-06-01 yeomhaving a location namespace. location names appeared... tree | commitdiff
2011-05-31 yeomadd one more checking, class inheritance: If a class... tree | commitdiff
2011-05-31 jjenistaname flat IR graphs to include method signature to... tree | commitdiff
2011-05-25 yeomfixes on bugs and checking of method invocation: tree | commitdiff
2011-05-24 yeombug fixes and few extra things: tree | commitdiff
2011-05-23 yeomhaving a new check that verifies the single reference... tree | commitdiff
2011-05-20 yeomfix bugs on the flow down rule and start annotating... tree | commitdiff
2011-05-20 jjenistaallow Pointer to run for usual compilation modes..... tree | commitdiff
2011-05-20 stepheyFixed import bug but some other issues now pop up: tree | commitdiff
2011-05-19 yeomchanges. tree | commitdiff
2011-05-18 jjenistabug fix: heap contexts for call sites were propgated... tree | commitdiff
2011-05-18 yeommore changes. tree | commitdiff
2011-05-18 yeomchanges. tree | commitdiff
2011-05-18 yeomchanges to reflect ssjava design changes and temporaril... tree | commitdiff
2011-05-16 jjenistaCreate analysis model for string literals in disjointne... tree | commitdiff
2011-05-13 yeomtake out all of ssjava stuff from state class and start... tree | commitdiff
2011-05-13 jjenistamodel the allocation of string literals in heap analysis tree | commitdiff
2011-05-13 jjenistathis system checks heap results against runtime pointer... tree | commitdiff
2011-05-11 jjenistadifferentiate between analysis says something points... tree | commitdiff
2011-05-11 jjenistarevert previous change: DROPPING THE GRUNGE HAMMER... tree | commitdiff
2011-05-11 jjenistaallow external systems to write a flatIR graph tree | commitdiff
2011-05-11 jjenistaonly do this if we are using oooj-style tasks after... tree | commitdiff
2011-05-10 jjenistaNew tool to check points-to results of a heap analysis... tree | commitdiff
2011-05-05 jjenistadisjoint should work like pointer in that taints for... tree | commitdiff
2011-05-05 jjenistaan outstanding change to improve debugging of call... tree | commitdiff
2011-05-05 jzhouPolish multicore code tree | commitdiff
2011-05-04 yeomsmall changes: have a way to specify the location of... tree | commitdiff
2011-05-03 jjenistaallow debug reach graphs to show taints but supress... tree | commitdiff
2011-05-03 yeomchanges. tree | commitdiff
2011-04-29 yeomchanges: now, the annotated SSJava class library passes... tree | commitdiff
2011-04-28 jjenistaimprove call site debugging for disjoint tree | commitdiff
2011-04-28 jjenistarun ooojava and rcrpointer that print out effects and... tree | commitdiff
2011-04-27 yeomchanges to get the tiny class library for ssjava tree | commitdiff
2011-04-27 bdemskyswitch to spaces only.. tree | commitdiff
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do... tree | commitdiff
2011-04-25 jjenistaupdate the way this analysis visits every method reacha... tree | commitdiff
2011-04-23 yeominterim changes: ssjava will have its own class library... tree | commitdiff
2011-04-22 yeomchanges: make location an extension of type descriptor... tree | commitdiff
2011-04-21 bdemskymissing files tree | commitdiff
next
Irvine Research Compiler