working on reach prop, pred bugs, basic tests still do not work, gotta squash more...
[IRC.git] / Robust /
2010-03-17 jjenistaworking on reach prop, pred bugs, basic tests still...
2010-03-17 jjenistareach propagation not working, getting null states...
2010-03-17 jzhoucode clean: define TILERA_BME mode and TILERA_ZLINUX...
2010-03-16 jjenistaworking hard on reachability, bunch of changes, still...
2010-03-16 yeombug fix.
2010-03-16 yeomchanges for handling tasks.
2010-03-16 jjenistacheckin a crash fix so yonghun can run on benchmarks...
2010-03-16 jjenistaupdating the global sweep and some related code--this...
2010-03-15 jjenistahave to test predicates of callee states before admitti...
2010-03-15 jjenistalots of untested code, but compiles, for attaching...
2010-03-15 jjenistamost of the missing context-rewriting code
2010-03-13 jjenistaa start on reachability, not fully functioning yet
2010-03-13 adashmore changes
2010-03-13 adashchanges for optimizations
2010-03-13 adashchanges
2010-03-12 jjenistaif an operation on canonical objects wants to use other...
2010-03-12 jjenistaa test that shows reachabiltiy states are broken
2010-03-12 jjenistabunch of bug fixes, graphs appear to be working mechani...
2010-03-12 jjenistamaking a big change to call site transform to calculate...
2010-03-11 jjenistadebugging something else, but commiting this bug fix...
2010-03-11 jjenistabug fix yonghun found, return value's region may be...
2010-03-11 jjenistathere was a simple fix for variable problem, in new...
2010-03-11 jjenistacaller local variables to in-context regions are modele...
2010-03-11 jzhouremove some redundant outputs
2010-03-11 jzhousome missing check in
2010-03-11 jjenistaNot the most elegant fix, but out-of-context nodes...
2010-03-10 jjenistaout-of-context edges prevent convergence...
2010-03-10 jjenistalots of bug fixes, system cannot compute even simple...
2010-03-10 jzhoumark before adding zero-overhead linux mode
2010-03-10 jjenistabig checkin, lots of call site transfer bug fixes,...
2010-03-09 jjenistacallee elements brought into caller get predicates...
2010-03-08 jjenistaedge merge
2010-03-08 yeomchanges.
2010-03-06 adashchanges to trans.c for performance improvement
2010-03-06 adashadd changes to automate dsm and recovery executions
2010-03-05 adashchange cache lookup table,
2010-03-05 yeomchanges. better coding style.
2010-03-04 yeominitial commit of new memory queue. still just working...
2010-03-04 jjenistabug fix, other transfer funcs invoke mutating methods...
2010-03-04 jjenistagetting closer, still major bugs in call site transfer...
2010-03-04 jihoonlless transaction
2010-03-04 jihoonlsmall bug fix
2010-03-04 adashsmall changes
2010-03-04 adashproper placement of atomic blocks
2010-03-04 adashchanges to benchmarks
2010-03-03 adashchanges for prefetch/caching and performance improvements
2010-03-03 jjenistafound a bug where an object of one reach graph could...
2010-03-03 jihoonlbetter duplicateLostObject
2010-03-02 jzhouremove hard coded relative path for getting profiling...
2010-03-01 jjenistacheck in a debug mode for call site transfer I use...
2010-02-25 adashmodified script for other results
2010-02-25 adashenable optimization
2010-02-25 adashjava single version of Matrix Multiply
2010-02-25 jzhoufix some bug in the multicore gc
2010-02-24 jihoonlchanges
2010-02-23 jjenistasystem stable, call site transform wipes out graphs...
2010-02-23 jjenistaa helpful method
2010-02-23 adashcommand line parsing change for the script
2010-02-23 jihoonlchange
2010-02-23 adashadd java version
2010-02-23 jihoonlchange
2010-02-23 adashadd debugs for now
2010-02-23 jihoonlchange
2010-02-22 jjenistabug fix, was too aggressive with equals method for...
2010-02-22 adashadded new barrier and game recovery benchmark
2010-02-19 jjenistachecking in this test before monkeying around with...
2010-02-19 jjenistasquashing bugs
2010-02-19 jjenistaanalysis not terminating, looking for things that shoul...
2010-02-19 jjenistabig update--bringing implementation of new analysis...
2010-02-18 hkhang*** empty log message ***
2010-02-18 jihoonlwell
2010-02-18 jihoonlto print out byte info
2010-02-18 jihoonlchange
2010-02-17 jihoonltime stamp
2010-02-17 hkhang*** empty log message ***
2010-02-17 jihoonlprint out recovery time in micro second
2010-02-17 jihoonlremove debug messages
2010-02-17 jihoonlno join!
2010-02-17 jihoonlwell..
2010-02-17 jihoonldebug
2010-02-17 jihoonlchanges
2010-02-15 bdemskyfix code organization
2010-02-15 adashchanges to improve commit intensive benchmarks and...
2010-02-13 jihoonlchange
2010-02-12 jihoonlmlookup bug fix
2010-02-12 jihoonlmlookup -> altmlookup
2010-02-12 hkhang*** empty log message ***
2010-02-11 jjenistareevaluating abstract garbage collection, for now leave...
2010-02-11 hkhang*** empty log message ***
2010-02-11 hkhang*** empty log message ***
2010-02-10 jzhoubug fixing in multicore gc and add profiling code for gc
2010-02-10 adashguard code with sandbox flag to prevent other dsm stuff...
2010-02-10 adashadd sandbox checks for excessive memory allocation...
2010-02-09 jjenistachange analysis so nodes are added on demand, and abstr...
2010-02-09 adashbinary exponential backoff for soft abort
2010-02-09 adashmissing checkin
2010-02-05 hkhang*** empty log message ***
2010-02-05 hkhang*** empty log message ***
2010-02-05 adashenable dsm sandboxing
2010-02-05 adashcomplete sandbox implementation
next