| 2009-03-10 |
jjenista | Crack at tuning the punt number between keeping problem...
|
commit | commitdiff | tree |
| 2009-03-09 |
jjenista | Bug fix, field matching for fields that model array...
|
commit | commitdiff | tree |
| 2009-03-09 |
jjenista | Bug fix, was not growing the mapping of descriptors...
|
commit | commitdiff | tree |
| 2009-03-09 |
jjenista | Pass around pointer to D2 as an argument to everything...
|
commit | commitdiff | tree |
| 2009-03-09 |
jjenista | A small example with allocated regions propagating...
|
commit | commitdiff | tree |
| 2009-03-09 |
jjenista | Bug fix in applying change sets, have to use the source...
|
commit | commitdiff | tree |
| 2009-03-09 |
jjenista | changed toString so method context's produce unique...
|
commit | commitdiff | tree |
| 2009-03-07 |
jjenista | changes
|
commit | commitdiff | tree |
| 2009-03-07 |
jjenista | changes
|
commit | commitdiff | tree |
| 2009-03-06 |
jjenista | Support cast nodes
|
commit | commitdiff | tree |
| 2009-03-06 |
jjenista | Fix bug where element access fields have wrong type...
|
commit | commitdiff | tree |
| 2009-03-05 |
jjenista | fiddling with debug util
|
commit | commitdiff | tree |
| 2009-03-05 |
jjenista | Alter token propagation from store so that computed...
|
commit | commitdiff | tree |
| 2009-03-05 |
jjenista | fix bug in alias reporting for Java programs
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | accidentally checked in makefile line with one option...
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | Topological sort actually helps some benchmarks quite...
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | during token propagation for store, change to, don...
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | Add a remove() operation
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | topological sort has little impact in overall analysis...
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | change global sweep to shrink reachability sets rather...
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | Topologically sort callee leaves to front of analysis...
|
commit | commitdiff | tree |
| 2009-03-04 |
jjenista | Return empty sets instead of null
|
commit | commitdiff | tree |
| 2009-03-03 |
jjenista | Bug fix: report aliases between allocated objects in...
|
commit | commitdiff | tree |
| 2009-03-03 |
jjenista | tagger with disjoint annotations
|
commit | commitdiff | tree |
| 2009-03-02 |
jjenista | getpot with disjointness annotations and reduced number...
|
commit | commitdiff | tree |
| 2009-03-02 |
jjenista | disjointness annotations to D2
|
commit | commitdiff | tree |
| 2009-03-02 |
jjenista | polishing up mlp version of benchmark
|
commit | commitdiff | tree |
| 2009-03-02 |
jjenista | debugging mlp version, still buggy but closer
|
commit | commitdiff | tree |
| 2009-02-27 |
jjenista | Have FileInputStream ignore carriage returns by intercepting...
|
commit | commitdiff | tree |
| 2009-02-27 |
jjenista | Bug fix in detecting EOF for input streams in readLine
|
commit | commitdiff | tree |
| 2009-02-27 |
jjenista | extend library class
|
commit | commitdiff | tree |
| 2009-02-27 |
jjenista | remove generated output files
|
commit | commitdiff | tree |
| 2009-02-26 |
jjenista | tagger benchmark
|
commit | commitdiff | tree |
| 2009-02-26 |
jjenista | extensions to library classes
|
commit | commitdiff | tree |
| 2009-02-25 |
jjenista | Add remove operation to LinkedListIterator and fix...
|
commit | commitdiff | tree |
| 2009-02-25 |
jjenista | Quick-and-dirty LinkedList implementation with Iterators...
|
commit | commitdiff | tree |
| 2009-02-25 |
jjenista | default make just analyzes benchmark
|
commit | commitdiff | tree |
| 2009-02-24 |
jjenista | stable mlp version
|
commit | commitdiff | tree |
| 2009-02-23 |
jjenista | new mlp benchmark
|
commit | commitdiff | tree |
| 2009-02-23 |
jjenista | Catch Error objects at task and method level for reporting
|
commit | commitdiff | tree |
| 2009-02-23 |
jjenista | just added some spaces to improve error message
|
commit | commitdiff | tree |
| 2009-02-23 |
jjenista | constructor to specify initial capacity
|
commit | commitdiff | tree |
| 2009-02-23 |
jjenista | allow common non-string arguments to print methods
|
commit | commitdiff | tree |
| 2009-02-23 |
jjenista | Add a doubleValue() method
|
commit | commitdiff | tree |
| 2009-02-23 |
jjenista | Add a readLine() method
|
commit | commitdiff | tree |
| 2009-02-20 |
jjenista | Change throwing of Error objects into IOException objects...
|
commit | commitdiff | tree |
| 2009-02-19 |
jjenista | allow printing of objects with toString()
|
commit | commitdiff | tree |
| 2009-02-19 |
jjenista | A start for array initializers. THIS IS NOT A WORKING...
|
commit | commitdiff | tree |
| 2009-02-19 |
jjenista | Extend library classes
|
commit | commitdiff | tree |
| 2009-02-18 |
jjenista | updating mlp benchmarks, extending class library
|
commit | commitdiff | tree |
| 2009-02-18 |
jjenista | add escape sequences for single quote and backslash
|
commit | commitdiff | tree |
| 2009-02-11 |
jjenista | Parse the final keyword but don't enforce its meaning
|
commit | commitdiff | tree |
| 2009-02-11 |
jjenista | fixed a bug, not an analysis bug, just a bug that writes...
|
commit | commitdiff | tree |
| 2009-02-10 |
jjenista | getpot benchmark in place
|
commit | commitdiff | tree |
| 2009-02-10 |
jjenista | added tertiary expression
|
commit | commitdiff | tree |
| 2009-02-10 |
jjenista | java benchmark with disjointness annotations
|
commit | commitdiff | tree |
| 2009-02-10 |
jjenista | class library additions
|
commit | commitdiff | tree |
| 2009-02-05 |
jjenista | eliminate null disjoint tags when printing and use...
|
commit | commitdiff | tree |
| 2009-02-04 |
jjenista | Handle multi-dimensional arrays in disjointness analysis
|
commit | commitdiff | tree |
| 2009-02-03 |
jjenista | lexer had implements and interface keywords that were...
|
commit | commitdiff | tree |
| 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 |
| next |
projects / IRC.git / search