| 2009-02-02 |
jjenista | disjointness for Java has all planned features
|
commit | commitdiff | tree |
| 2009-02-02 |
jjenista | working support for disjointness on Java, still needs...
|
commit | commitdiff | tree |
| 2009-02-02 |
jjenista | add option to short circuit buildscript after compiler...
|
commit | commitdiff | tree |
| 2009-01-31 |
jjenista | Added disjoint analysis for Java
|
commit | commitdiff | tree |
| 2009-01-29 |
jjenista | Added SESE definition support to compiler
|
commit | commitdiff | tree |
| 2009-01-29 |
jjenista | bug fix for printing ops with no rhs
|
commit | commitdiff | tree |
| 2009-01-13 |
jjenista | just a little change to print the full names of methods...
|
commit | commitdiff | tree |
| 2008-11-12 |
jjenista | trim outputs for benchmarking
|
commit | commitdiff | tree |
| 2008-11-11 |
jjenista | add new class file
|
commit | commitdiff | tree |
| 2008-11-11 |
jjenista | ran all benchmarks with new method context version...
|
commit | commitdiff | tree |
| 2008-11-11 |
jjenista | added concept of method context
|
commit | commitdiff | tree |
| 2008-11-10 |
jjenista | eliminate two erroneous statements in callee->caller...
|
commit | commitdiff | tree |
| 2008-11-10 |
jjenista | eliminate alias
|
commit | commitdiff | tree |
| 2008-11-10 |
jjenista | added new benchmark result to summary
|
commit | commitdiff | tree |
| 2008-11-09 |
jjenista | make sure strong updates do not affect benchmark results...
|
commit | commitdiff | tree |
| 2008-10-27 |
jjenista | realized strong updates has incorrect conditions, made...
|
commit | commitdiff | tree |
| 2008-10-17 |
jjenista | test doesn't work\!
|
commit | commitdiff | tree |
| 2008-10-17 |
jjenista | new test for paper example
|
commit | commitdiff | tree |
| 2008-10-09 |
jjenista | Added specific method call improvement test case for...
|
commit | commitdiff | tree |
| 2008-10-08 |
jjenista | Global sweep added
|
commit | commitdiff | tree |
| 2008-10-08 |
jjenista | Committing a stable version of global sweep that works...
|
commit | commitdiff | tree |
| 2008-10-06 |
jjenista | Added hooks for global sweep and made sure that strong...
|
commit | commitdiff | tree |
| 2008-10-03 |
jjenista | Fixed a hack that was bugging me with a proper solution.
|
commit | commitdiff | tree |
| 2008-10-02 |
jjenista | Verified accuracy of results by manual inspection.
|
commit | commitdiff | tree |
| 2008-10-01 |
jjenista | Fixed up another canonical misuse, changed wording...
|
commit | commitdiff | tree |
| 2008-10-01 |
jjenista | Tighten up use of canonical objects and halt system...
|
commit | commitdiff | tree |
| 2008-09-29 |
jjenista | Introduced ZEROORMORE arity, something appears to be...
|
commit | commitdiff | tree |
| 2008-09-25 |
jjenista | Fix implementation to use little d when possible, and...
|
commit | commitdiff | tree |
| 2008-09-24 |
jjenista | Bug fix where two isolated heap regions with empty...
|
commit | commitdiff | tree |
| 2008-09-23 |
jjenista | Reran analysis on benchmarks with newest updates
|
commit | commitdiff | tree |
| 2008-09-23 |
jjenista | First bug fix is that the "unshadow" token conversion...
|
commit | commitdiff | tree |
| 2008-09-22 |
jjenista | rewriting of callee tokens into caller tokens was incorrect
|
commit | commitdiff | tree |
| 2008-09-18 |
jjenista | pull in class files that already exist in library
|
commit | commitdiff | tree |
| 2008-09-18 |
jjenista | exhaustive arity improves for benchmarks with ad=1
|
commit | commitdiff | tree |
| 2008-09-18 |
jjenista | test for immutable instead of primitive to decide if...
|
commit | commitdiff | tree |
| 2008-09-18 |
jjenista | changed analysis to recognize strings as immutable...
|
commit | commitdiff | tree |
| 2008-09-18 |
jjenista | added a test for immutable
|
commit | commitdiff | tree |
| 2008-09-17 |
jjenista | helpful progress reporting
|
commit | commitdiff | tree |
| 2008-09-17 |
jjenista | current results of ownership analysis on benchmarks
|
commit | commitdiff | tree |
| 2008-09-15 |
jjenista | add toString for isavailable
|
commit | commitdiff | tree |
| 2008-09-12 |
jjenista | makefile for compiling benchmarks with ownership analysis
|
commit | commitdiff | tree |
| 2008-09-11 |
jjenista | Bug fix: when rewriting a token set every permutation...
|
commit | commitdiff | tree |
| 2008-09-11 |
jjenista | make toString more readable
|
commit | commitdiff | tree |
| 2008-09-09 |
jjenista | improvements
|
commit | commitdiff | tree |
| 2008-09-09 |
jjenista | big fix for tracking latest ownership graph associated...
|
commit | commitdiff | tree |
| 2008-09-09 |
jjenista | fix dumb bug in test case, add graphing option
|
commit | commitdiff | tree |
| 2008-09-09 |
jjenista | capture some debugging code
|
commit | commitdiff | tree |
| 2008-09-09 |
jjenista | uncommenting all tests
|
commit | commitdiff | tree |
| 2008-09-05 |
jjenista | never needed this
|
commit | commitdiff | tree |
| 2008-09-04 |
jjenista | add allocation depth to alias output file
|
commit | commitdiff | tree |
| 2008-09-03 |
jjenista | added ownership options
|
commit | commitdiff | tree |
| 2008-09-03 |
jjenista | forgot to make tabbing
|
commit | commitdiff | tree |
| 2008-09-03 |
jjenista | minor bug fixes and support for matching classes to...
|
commit | commitdiff | tree |
| 2008-09-02 |
jjenista | only analyze flat method node to allocate parameter...
|
commit | commitdiff | tree |
| 2008-09-02 |
jjenista | make tabbing
|
commit | commitdiff | tree |
| 2008-09-02 |
jjenista | been forgetting to make tabbing
|
commit | commitdiff | tree |
| 2008-09-01 |
jjenista | Changed the top-level procedure for resolving a method...
|
commit | commitdiff | tree |
| 2008-09-01 |
jjenista | prevent infinite recursion for cycle of callers
|
commit | commitdiff | tree |
| 2008-08-30 |
jjenista | Put the rest of the top-level interface together
|
commit | commitdiff | tree |
| 2008-08-30 |
jjenista | alias query for param to alloc site
|
commit | commitdiff | tree |
| 2008-08-30 |
jjenista | step toward repairing top-level alias query interface
|
commit | commitdiff | tree |
| 2008-08-29 |
jjenista | Prune edges by field name and type when mapping from...
|
commit | commitdiff | tree |
| 2008-08-29 |
jjenista | added support for array element nodes
|
commit | commitdiff | tree |
| 2008-08-29 |
jjenista | added equals() and hashCode() methods
|
commit | commitdiff | tree |
| 2008-08-27 |
jjenista | update for methods and renaming of assignments for...
|
commit | commitdiff | tree |
| 2008-08-27 |
jjenista | write-to-graph changes
|
commit | commitdiff | tree |
| 2008-08-26 |
jjenista | bug fix: when calculating methods dependent on a new...
|
commit | commitdiff | tree |
| 2008-08-25 |
jjenista | bug fix, alpha and beta for allocated callee nodes...
|
commit | commitdiff | tree |
| 2008-08-25 |
jjenista | method call stably implemented as a first pass, results...
|
commit | commitdiff | tree |
| 2008-08-25 |
jjenista | for method calls, all reachability sets brought into...
|
commit | commitdiff | tree |
| 2008-08-22 |
jjenista | method call first draft almost finished. Need to go...
|
commit | commitdiff | tree |
| 2008-08-22 |
jjenista | steps 1-5 of method call algorithm implemented
|
commit | commitdiff | tree |
| 2008-08-21 |
jjenista | use unionUpArity in simple rewrite scenario also
|
commit | commitdiff | tree |
| 2008-08-21 |
jjenista | more method call stuff, still partial
|
commit | commitdiff | tree |
| 2008-08-21 |
jjenista | stable, still partial method calls
|
commit | commitdiff | tree |
| 2008-08-21 |
jjenista | Stable, partial implementation of method calls
|
commit | commitdiff | tree |
| 2008-08-18 |
jjenista | Changed allocation depth to default to minimum possible...
|
commit | commitdiff | tree |
| 2008-08-18 |
jjenista | Heap regions with no reachability token need to have...
|
commit | commitdiff | tree |
| 2008-08-15 |
jjenista | strong updates, everything ready to do method calls
|
commit | commitdiff | tree |
| 2008-08-15 |
jjenista | HeapRegionNode and ReferenceEdge both have had the...
|
commit | commitdiff | tree |
| 2008-08-15 |
jjenista | Retooled edges and basic stuff is working again (finally...
|
commit | commitdiff | tree |
| 2008-08-13 |
jjenista | Node and edge equality and hash updates
|
commit | commitdiff | tree |
| 2008-08-13 |
jjenista | token classes combed over and tested thoroughly
|
commit | commitdiff | tree |
| 2008-08-13 |
jjenista | updated TokenTuple and TokenTupleSet, tested
|
commit | commitdiff | tree |
| 2008-08-12 |
jjenista | Bug fix and makefile update
|
commit | commitdiff | tree |
| 2008-08-12 |
jjenista | Made a big change to reference edges, touched a lot...
|
commit | commitdiff | tree |
| 2008-08-11 |
jjenista | start of new file
|
commit | commitdiff | tree |
| 2008-08-11 |
jjenista | equals() and hashCode() methods are bunk
|
commit | commitdiff | tree |
| 2008-08-07 |
jjenista | I erroneously added this sanity check and wondered...
|
commit | commitdiff | tree |
| 2008-08-07 |
jjenista | Bug fix that param2id tables need to initialized for...
|
commit | commitdiff | tree |
| 2008-08-06 |
jjenista | Added fields to ReferenceEdgeProperties and combed...
|
commit | commitdiff | tree |
| 2008-08-06 |
jjenista | Added a toStringBrief()
|
commit | commitdiff | tree |
| 2008-08-05 |
jjenista | Break aging into smaller procedures and improve graphing...
|
commit | commitdiff | tree |
| 2008-08-05 |
jjenista | Prune change sets during token prop by beta info only...
|
commit | commitdiff | tree |
| 2008-08-04 |
jjenista | x.f = y now prunes new edge's beta by alpha at x
|
commit | commitdiff | tree |
| 2008-08-04 |
jjenista | Fixed x.f = y operation
|
commit | commitdiff | tree |
| 2008-07-27 |
jjenista | Reachability bug fixes. Tokens propagate and age in...
|
commit | commitdiff | tree |
| 2008-07-27 |
jjenista | Token propagation for normal assignments fixed. Tokens...
|
commit | commitdiff | tree |
| 2008-07-18 |
jjenista | Working on allocating with reachability, mostly the...
|
commit | commitdiff | tree |
| 2008-07-18 |
jjenista | Added some functionality to reachability classes that...
|
commit | commitdiff | tree |
| next |
projects / IRC.git / search