stable, non-functional still
[IRC.git] / Robust / src / Tests /
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...
2008-08-15 jjenistaRetooled edges and basic stuff is working again (finall...
2008-08-13 jjenistaNode and edge equality and hash updates
2008-08-13 jjenistatoken classes combed over and tested thoroughly
2008-08-13 jjenistaupdated TokenTuple and TokenTupleSet, tested
2008-08-12 jjenistaMade a big change to reference edges, touched a lot...
2008-08-11 jjenistaequals() and hashCode() methods are bunk
2008-08-06 jjenistaAdded fields to ReferenceEdgeProperties and combed...
2008-08-05 jjenistaBreak aging into smaller procedures and improve graphin...
2008-08-05 jjenistaPrune change sets during token prop by beta info only...
2008-08-04 jjenistaFixed x.f = y operation
2008-07-27 jjenistaReachability bug fixes. Tokens propagate and age in...
2008-07-27 jjenistaToken propagation for normal assignments fixed. Tokens...
2008-07-18 jjenistaAdded some functionality to reachability classes that...
2008-07-17 jjenistaFixed propagation, different change sets for the x...
2008-07-16 jjenistaFixed a few minor bugs in token propagation, and major...
2008-07-15 jjenistaMore reachability implementation, no token propagation...
2008-07-15 jjenistaAdded reachability to simple edge cases.
2008-07-09 jjenistaAdded reachability classes, all of which are extensions...
2008-07-02 jjenistaStarting to integrate reachability classes into ownership.
2008-07-01 jjenistaspecial union of reachability sets works correctly now
2008-06-26 jjenistaStraightened out TokenTuple equality and hash codes...
2008-06-24 jjenistasome slight testing changes
2008-04-23 jjenistaTest construction of disjoint graphs and let parameters...
2008-04-16 jjenistaProperly use transitive closure of allocation sites...
2008-04-08 jjenistaFixed a bug in assigning temp to new allocation. Clear...
2008-03-31 jjenistaAltered ownership graph to dot file by removing label...
next