| 2011-05-18 |
jjenista | bug fix: heap contexts for call sites were propgated...
|
commit | commitdiff | tree |
| 2011-05-16 |
jjenista | Create analysis model for string literals in disjointness...
|
commit | commitdiff | tree |
| 2011-05-14 |
jjenista | print allocation site when a points-to check fails...
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | model the allocation of string literals in heap analysis
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | this system checks heap results against runtime pointers...
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | isImmutable is used by the disjoint family of analyses...
|
commit | commitdiff | tree |
| 2011-05-13 |
jjenista | print out brackets for array count to show humans
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | differentiate between analysis says something points...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | revert previous change: DROPPING THE GRUNGE HAMMER...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | allow external systems to write a flatIR graph
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | show source code line numbers for this target
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | only do this if we are using oooj-style tasks after...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | did we just ignore the static field modifier before...
|
commit | commitdiff | tree |
| 2011-05-11 |
jjenista | clean up points-to-check files properly
|
commit | commitdiff | tree |
| 2011-05-10 |
jjenista | New tool to check points-to results of a heap analysis...
|
commit | commitdiff | tree |
| 2011-05-10 |
jjenista | imports are meaningful to compiler now
|
commit | commitdiff | tree |
| 2011-05-05 |
jjenista | disjoint should work like pointer in that taints for...
|
commit | commitdiff | tree |
| 2011-05-05 |
jjenista | an outstanding change to improve debugging of call...
|
commit | commitdiff | tree |
| 2011-05-03 |
jjenista | allow debug reach graphs to show taints but supress...
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | improve call site debugging for disjoint
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | the new compiler mode in buildscript SSJAVA needed...
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | Let end user see what classpath was selected.
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | run ooojava and rcrpointer that print out effects and...
|
commit | commitdiff | tree |
| 2011-04-28 |
jjenista | change the debug mode for capturing null dereference...
|
commit | commitdiff | tree |
| 2011-04-25 |
jjenista | update the way this analysis visits every method reachable...
|
commit | commitdiff | tree |
| 2011-04-21 |
jjenista | better implementation of this
|
commit | commitdiff | tree |
| 2011-04-20 |
jjenista | a new field has been added to the standard object layout...
|
commit | commitdiff | tree |
| 2011-04-18 |
jjenista | bug fix - during call site transfer func we temporarily...
|
commit | commitdiff | tree |
| 2011-04-18 |
jjenista | this bug is not really a bug, a variable gets optimized...
|
commit | commitdiff | tree |
| 2011-04-08 |
jjenista | obligatory ascii art
|
commit | commitdiff | tree |
| 2011-04-08 |
jjenista | detect possibly evil tasks and do the right thing if...
|
commit | commitdiff | tree |
| 2011-04-08 |
jjenista | an example of an evil task
|
commit | commitdiff | tree |
| 2011-04-08 |
jjenista | commit the temporarily abandoned version of Delaunay...
|
commit | commitdiff | tree |
| 2011-04-07 |
jjenista | TODO: move record pool to a thread-local thing and...
|
commit | commitdiff | tree |
| 2011-04-07 |
jjenista | bug fix, at task exit we are looking for sources that...
|
commit | commitdiff | tree |
| 2011-04-06 |
jjenista | change benchmark to run once, not up to seven times
|
commit | commitdiff | tree |
| 2011-04-06 |
jjenista | alter benchmark to run once, not up to seven times
|
commit | commitdiff | tree |
| 2011-04-06 |
jjenista | get debug statements out of single version
|
commit | commitdiff | tree |
| 2011-04-06 |
jjenista | bug fix, have to dereference this pointer
|
commit | commitdiff | tree |
| 2011-04-05 |
jjenista | static initializers cause a problem for DFJ, easy enough...
|
commit | commitdiff | tree |
| 2011-04-05 |
jjenista | version of delaunay that has a spin bug
|
commit | commitdiff | tree |
| 2011-04-05 |
jjenista | get this debug print out of here
|
commit | commitdiff | tree |
| 2011-04-05 |
jjenista | at task exit, a task should acquire any out-set variables...
|
commit | commitdiff | tree |
| 2011-04-04 |
jjenista | speculative version of delaunay works single-threaded...
|
commit | commitdiff | tree |
| 2011-04-04 |
jjenista | dfj version of delaunay refinement executes the original...
|
commit | commitdiff | tree |
| 2011-04-04 |
jjenista | keep a copy of the original delaunay refinement algorithm...
|
commit | commitdiff | tree |
| 2011-04-03 |
jjenista | reworking parallel implementation, both single and...
|
commit | commitdiff | tree |
| 2011-04-03 |
jjenista | Add a warning when a method call does not resolve to...
|
commit | commitdiff | tree |
| 2011-04-02 |
jjenista | stuff for running set up
|
commit | commitdiff | tree |
| 2011-04-02 |
jjenista | modified algorithm for dfj style parallelism
|
commit | commitdiff | tree |
| 2011-03-23 |
jjenista | changed options in code to actually print reach states...
|
commit | commitdiff | tree |
| 2011-03-23 |
jjenista | a bug, fix it later
|
commit | commitdiff | tree |
| 2011-03-22 |
jjenista | cc paper example, THERE IS A BUG
|
commit | commitdiff | tree |
| 2011-03-19 |
jjenista | we took DFJ and broke its arm, and we'll reset the...
|
commit | commitdiff | tree |
| 2011-03-18 |
jjenista | changing to new traversers/examiners
|
commit | commitdiff | tree |
| 2011-03-11 |
jjenista | bug fixes
|
commit | commitdiff | tree |
| 2011-03-11 |
jjenista | put together parts of DFJ that assumed we did not know...
|
commit | commitdiff | tree |
| 2011-03-10 |
jjenista | public interface for the later compiler phases
|
commit | commitdiff | tree |
| 2011-03-10 |
jjenista | state machines for traverers seem to be working for...
|
commit | commitdiff | tree |
| 2011-03-05 |
jjenista | more code for state machines in dfj traversers
|
commit | commitdiff | tree |
| 2011-03-04 |
jjenista | extend taints for a new mode in DFJ that helps build...
|
commit | commitdiff | tree |
| 2011-03-04 |
jjenista | a tiny example to show if the state machines are working
|
commit | commitdiff | tree |
| 2011-03-04 |
jjenista | add a second task to generate conflicts
|
commit | commitdiff | tree |
| 2011-03-03 |
jjenista | a functioning test program for stephen that produces...
|
commit | commitdiff | tree |
| 2011-03-03 |
jjenista | a test case showing a bug in disjoint analysis basic...
|
commit | commitdiff | tree |
| 2011-02-04 |
jjenista | improve code gen to omit empty switch cases for stall...
|
commit | commitdiff | tree |
| 2011-02-03 |
jjenista | fixing bugs from task code cleanup
|
commit | commitdiff | tree |
| 2011-02-03 |
jjenista | This is a compile-stable update of OoOJava code, there...
|
commit | commitdiff | tree |
| 2011-02-03 |
jjenista | bringing ooojava code gen around, some todos still...
|
commit | commitdiff | tree |
| 2011-02-02 |
jjenista | BuildCode, with the monkey of OoOJava off its back
|
commit | commitdiff | tree |
| 2011-02-01 |
jjenista | bringing analysis up to clean model, buildcode is left
|
commit | commitdiff | tree |
| 2011-02-01 |
jjenista | starting to get into memory conflicts where cleaned...
|
commit | commitdiff | tree |
| 2011-02-01 |
jjenista | honor the easy request of suppressing output for the...
|
commit | commitdiff | tree |
| 2011-02-01 |
jjenista | pushing cleaned code further through analyses...
|
commit | commitdiff | tree |
| 2011-01-31 |
jjenista | clean Pointer classes
|
commit | commitdiff | tree |
| 2011-01-31 |
jjenista | cleaning up OoOJava and related systems, touching lots...
|
commit | commitdiff | tree |
| 2011-01-12 |
jjenista | tests for playing around with analysis with respect...
|
commit | commitdiff | tree |
| 2011-01-10 |
jjenista | just a little change to keep genreach debug node from...
|
commit | commitdiff | tree |
| 2011-01-10 |
jjenista | test that the genreach flat node doesn't get wiped...
|
commit | commitdiff | tree |
| 2011-01-10 |
jjenista | just checking that the genreach debug statement works
|
commit | commitdiff | tree |
| 2011-01-10 |
jjenista | put optional stuff for debugging disjoint reachability...
|
commit | commitdiff | tree |
| 2011-01-10 |
jjenista | enforce monotonicity in heap contributions from call...
|
commit | commitdiff | tree |
| 2011-01-10 |
jjenista | make reach graph visualizations tractable
|
commit | commitdiff | tree |
| 2011-01-05 |
jjenista | we should keep this
|
commit | commitdiff | tree |
| 2010-12-01 |
jjenista | no functional changes, just notes during a code review
|
commit | commitdiff | tree |
| 2010-11-30 |
jjenista | some outstanding changes
|
commit | commitdiff | tree |
| 2010-11-30 |
jjenista | we changed the micro benchmark, but why, to get the...
|
commit | commitdiff | tree |
| 2010-11-18 |
jjenista | close this file so it actually writes out
|
commit | commitdiff | tree |
| 2010-11-18 |
jjenista | some tweaks to number of workers and workloads
|
commit | commitdiff | tree |
| 2010-11-18 |
jjenista | force oid increment to be a prime number
|
commit | commitdiff | tree |
| 2010-11-18 |
jjenista | labyrinth run updates, both inputs
|
commit | commitdiff | tree |
| 2010-11-18 |
jjenista | a few little benchmark tweaks
|
commit | commitdiff | tree |
| 2010-11-17 |
jjenista | allow each benchmark to use the master makefile but...
|
commit | commitdiff | tree |
| 2010-11-17 |
jjenista | add RCR targets to micro benchmark makefile
|
commit | commitdiff | tree |
| 2010-11-17 |
jjenista | bug fixes that prevent RCR from reclaiming task records...
|
commit | commitdiff | tree |
| 2010-11-11 |
jjenista | display elapsed time to help choose plot parameters...
|
commit | commitdiff | tree |
| 2010-11-11 |
jjenista | have to consider an empty, ready read bin in front...
|
commit | commitdiff | tree |
| 2010-11-10 |
jjenista | coreprof in RCR, just one event for now showing begin...
|
commit | commitdiff | tree |
| 2010-11-10 |
jjenista | poolalloc with no poolfree should be benign, but it...
|
commit | commitdiff | tree |
| 2010-11-10 |
jjenista | back out pool alloc for now, fix it right when its...
|
commit | commitdiff | tree |
| next |
projects / IRC.git / search