getting close to mlp running a limited program
[IRC.git] / Robust / src / Tests /
2009-06-17 jjenistaadd a phtread implementation of semaphores for general...
2009-06-16 jjenistamore work on mlp system
2009-06-15 jjenistaMake SESE root spliced into IR graph just as any other...
2009-06-12 jjenistawork stealing schedule system cleanly runs highly paral...
2009-06-11 jjenistaNeed a double-ended queue for work-stealing algorithm...
2009-06-01 jjenistaabout to make lots of changes to system, just committin...
2009-05-26 jjenistaStable compile, seg fault in MLP mode.
2009-05-24 jjenistaNot functional, but stable--sese invocation code pulls...
2009-05-19 jjenistaBug fixes for generating all execution paths for SESE...
2009-05-14 jjenistaLots of changes that aren't working yet, so new methods...
2009-05-11 jjenistaGood cut of variable analysis
2009-05-08 jjenistaChange isAvailable to notAvailable, updated computation...
2009-05-07 jjenistaCurious. Found a bug in liveness where liveIn set...
2009-05-06 jjenistaAdd CodePlan object for injecting code before or after...
2009-04-29 jjenistastable capture, bug fixes--a problem: using an SESEs...
2009-04-28 jjenistaSomething is wrong with liveness results that want...
2009-04-28 jjenistaadded another liveness pass that picks up on virtual...
2009-04-24 jjenistavariable analysis reports no stalls, stable
2009-04-22 adashTests read from a file that uses buffering directly...
2009-04-21 jjenistaRoot SESE ironed out, some reorganization for variable...
2009-04-17 adashtest file for Double to String change
2009-04-17 jjenistaliveness analysis simplified to ignore SESE's, analyzes...
2009-04-17 jjenistareorganizing mlp analysis passes
2009-04-15 jjenistafixed liveness analysis
2009-04-15 jjenistastable version with debug, chasing an analysis bug
2009-04-13 jjenistamlp conducts a valid variable analysis, but write set...
2009-04-10 jjenistastable, not fully functional
2009-04-09 jjenistaquick capture of some stable structures
2009-04-09 jjenistamore new mlp stuff
2009-04-07 bdemskySTM testcase works...plenty of bugs still
2009-04-06 jjenistaMove mlp and sese stuff into a separate compiler pass
2009-04-06 jjenistause a clearer sese name when viewed in built code and...
2009-04-06 bdemskyget compiler side of STM working
2009-04-03 bdemskychanges
2009-04-02 jjenistaloop doesn't work, function calls don't work
2009-04-02 jjenistaa setjmp implementation of single-threaded mlp API
2009-03-31 jjenistaAdded mlp runtime skeleton, flags to build it, syntax...
2009-03-30 jjenistaa new tiny test and better SESE node printing
2009-03-24 jjenistakeep alpha source states during node propagation
2009-03-24 jjenistaedge matching bug fix and add alpha source states back
2009-03-24 jjenistaimprove strong update conditions for store, add strong...
2009-03-23 jjenistabug fix: changed contains() to containsKey() where...
2009-03-23 jjenistadon't do strong updates on array element references
2009-03-23 bdemskysmall test
2009-03-23 bdemskyeven simpler
2009-03-20 jjenistanew parameter model and mapping procedure stable, doing...
2009-03-20 jjenistamore progress toward new parameter model
2009-03-19 jjenistaStable, partially functional implementation of new...
2009-03-17 jjenistaBuild aliased parameter models--still a partial impleme...
2009-03-16 jjenistapartway to new parameter model
2009-03-13 jjenistaBe more precise about enqueing dependent method context...
2009-03-12 jjenistaanother test
2009-03-09 jjenistaA small example with allocated regions propagating...
2009-03-05 jjenistaAlter token propagation from store so that computed...
2009-03-04 jjenistaduring token propagation for store, change to, don...
2009-03-04 jjenistachange global sweep to shrink reachability sets rather...
2009-03-03 jjenistaBug fix: report aliases between allocated objects in...
2009-02-27 jjenistaHave FileInputStream ignore carriage returns by interce...
2009-02-27 jjenistaBug fix in detecting EOF for input streams in readLine
2009-02-26 jjenistaextensions to library classes
2009-02-25 jjenistaAdd remove operation to LinkedListIterator and fix...
2009-02-25 jjenistaQuick-and-dirty LinkedList implementation with Iterator...
2009-02-19 jjenistaallow printing of objects with toString()
2009-02-19 jjenistaA start for array initializers. THIS IS NOT A WORKING...
2009-02-19 jjenistaExtend library classes
2009-02-10 jjenistaadded tertiary expression
2009-02-04 jjenistaHandle multi-dimensional arrays in disjointness analysis
2009-02-02 jjenistaworking support for disjointness on Java, still needs...
2009-01-31 jjenistaAdded disjoint analysis for Java
2009-01-29 jjenistaAdded SESE definition support to compiler
2008-11-18 jzhouFix bugs in scheduling simulator. Also add -robustroot...
2008-11-11 jjenistaadded concept of method context
2008-10-17 jjenistatest doesn't work\!
2008-10-17 jjenistanew test for paper example
2008-10-09 jjenistaAdded specific method call improvement test case for...
2008-10-08 jjenistaGlobal sweep added
2008-10-08 jjenistaCommitting a stable version of global sweep that works...
2008-10-03 jjenistaFixed a hack that was bugging me with a proper solution.
2008-10-01 jjenistaTighten up use of canonical objects and halt system...
2008-09-24 jjenistaBug fix where two isolated heap regions with empty...
2008-09-23 jjenistaFirst bug fix is that the "unshadow" token conversion...
2008-09-18 jjenistatest for immutable instead of primitive to decide if...
2008-09-09 jjenistaimprovements
2008-09-09 jjenistafix dumb bug in test case, add graphing option
2008-09-09 jjenistauncommenting all tests
2008-08-30 jjenistaPut the rest of the top-level interface together
2008-08-30 jjenistaalias query for param to alloc site
2008-08-30 jjenistastep toward repairing top-level alias query interface
2008-08-29 jjenistaPrune edges by field name and type when mapping from...
2008-08-29 jjenistaadded support for array element nodes
2008-08-27 jjenistaupdate for methods and renaming of assignments for...
2008-08-27 jjenistawrite-to-graph changes
2008-08-26 jjenistabug fix: when calculating methods dependent on a new...
2008-08-25 jjenistamethod call stably implemented as a first pass, results...
2008-08-21 jjenistamore method call stuff, still partial
2008-08-21 jjenistastable, still partial method calls
2008-08-18 jjenistaChanged allocation depth to default to minimum possible...
2008-08-18 jjenistaHeap regions with no reachability token need to have...
2008-08-15 jjenistastrong updates, everything ready to do method calls
2008-08-15 jjenistaHeapRegionNode and ReferenceEdge both have had the...
next