2009-03-30 |
jjenista | a new tiny test and better SESE node printing
|
commit | commitdiff | tree |
2009-03-24 |
jjenista | new benchmark results
|
commit | commitdiff | tree |
2009-03-24 |
jjenista | keep alpha source states during node propagation
|
commit | commitdiff | tree |
2009-03-24 |
jjenista | edge matching bug fix and add alpha source states back
|
commit | commitdiff | tree |
2009-03-24 |
jjenista | fix bug when mapping callee edges into caller, gotta...
|
commit | commitdiff | tree |
2009-03-24 |
jjenista | improve strong update conditions for store, add strong...
|
commit | commitdiff | tree |
2009-03-23 |
jjenista | fix edge propagation to union effects
|
commit | commitdiff | tree |
2009-03-23 |
jjenista | bug fix: changed contains() to containsKey() where...
|
commit | commitdiff | tree |
2009-03-23 |
jjenista | don't do strong updates on array element references
|
commit | commitdiff | tree |
2009-03-23 |
jjenista | don't add immutable or primitive parameters to alias...
|
commit | commitdiff | tree |
2009-03-23 |
jjenista | commenting out debugging
|
commit | commitdiff | tree |
2009-03-22 |
jjenista | merging lab changes with home changes
|
commit | commitdiff | tree |
2009-03-22 |
jjenista | added smaller version of directo for something in between...
|
commit | commitdiff | tree |
2009-03-22 |
jjenista | just leave commented becuase it is a useful little...
|
commit | commitdiff | tree |
2009-03-22 |
jjenista | see array dimensions when writing out
|
commit | commitdiff | tree |
2009-03-22 |
jjenista | changes and debug
|
commit | commitdiff | tree |
2009-03-21 |
jjenista | changes
|
commit | commitdiff | tree |
2009-03-20 |
jjenista | new parameter model and mapping procedure stable, doing...
|
commit | commitdiff | tree |
2009-03-20 |
jjenista | more progress toward new parameter model
|
commit | commitdiff | tree |
2009-03-19 |
jjenista | Stable, partially functional implementation of new...
|
commit | commitdiff | tree |
2009-03-17 |
jjenista | Partial, stable update that builds param index mappings...
|
commit | commitdiff | tree |
2009-03-17 |
jjenista | Build aliased parameter models--still a partial implementati...
|
commit | commitdiff | tree |
2009-03-16 |
jjenista | partway to new parameter model
|
commit | commitdiff | tree |
2009-03-16 |
jjenista | Stable capture while moving towards typed heap regions...
|
commit | commitdiff | tree |
2009-03-13 |
jjenista | Be more precise about enqueing dependent method contexts...
|
commit | commitdiff | tree |
2009-03-13 |
jjenista | Bug fixes:
|
commit | commitdiff | tree |
2009-03-13 |
jjenista | little benchmark cleanup changes
|
commit | commitdiff | tree |
2009-03-12 |
jjenista | Rewrote global sweep to match paper, keeping ugly debug...
|
commit | commitdiff | tree |
2009-03-12 |
jjenista | improve report and debug for analysis interface
|
commit | commitdiff | tree |
2009-03-12 |
jjenista | allows application of change set to reachability set...
|
commit | commitdiff | tree |
2009-03-12 |
jjenista | another test
|
commit | commitdiff | tree |
2009-03-10 |
jjenista | changed analysis public interface to report a set of...
|
commit | commitdiff | tree |
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 |
next |