bug fixes, make stack/Q method-visiting a cmd line arg, some code for debugging monot...
[IRC.git] / Robust /
2010-03-30 jjenistabug fixes, make stack/Q method-visiting a cmd line...
2010-03-26 jjenistaall changes for official testing
2010-03-26 jjenistacollect last night's changes
2010-03-26 bdemskystack implementation...may expose bugs
2010-03-26 bdemskybug fix
2010-03-26 bdemskybug fix
2010-03-26 jjenistacurrent version of benchmark lists and run modes
2010-03-25 yeomadd power bench.
2010-03-25 yeomadd annoated kmeans
2010-03-25 yeomchanges.
2010-03-25 jjenistaa helpful makefile to run for the record
2010-03-25 yeomadd annotated raytracer
2010-03-25 bdemskybug fixes and optimizations
2010-03-25 jjenistanew Canonical hash and equals, also running with assert...
2010-03-25 jjenistafixing the heap region descriptions not a pressing...
2010-03-25 jjenistamakefile for checking final results
2010-03-25 jjenistabug fixes for task initial heaps and making all new...
2010-03-25 jjenistaprint preds stacked for DOT
2010-03-25 yeombug fixes
2010-03-25 jzhouAdd BAMBOOCOMPILETIME flag into the state class. When...
2010-03-25 bdemskylittle optimization to allow it to quickly recompute...
2010-03-25 bdemskycode for Jim to use once he gets everything working...
2010-03-25 yeomchanges for proper handling multi-dimensional array...
2010-03-25 jjenistabug fixes
2010-03-24 jjenistabug fix in evaluating the various classes of out-of...
2010-03-24 jjenistaimproved debug graph capture
2010-03-24 jjenistajust giving the task a name different from the Lambda...
2010-03-24 jjenistabug fixes, display improvements, sharing query changes...
2010-03-23 yeomchanges for a better strategy of clearing memory.
2010-03-23 jjenistabug fix for primitive parameters, made a simple method...
2010-03-23 jjenistalittle bug fixes, adjusted code for detecting sharing...
2010-03-22 jjenistafix bug that a hrn ID integer and a boolean out-of...
2010-03-22 jjenistalittle bug in final reporting
2010-03-22 jjenistabug fixes: if an out-of-context edge in callee has...
2010-03-22 jjenistawow, this bug has been latent for a long time, easy fix
2010-03-22 jjenistaadd two out-of-context properties to equals and hashcode
2010-03-22 jjenistamakefile for new analysis version for benchmarks
2010-03-22 jjenistacouple fixes to make sure out-of-context nodes get...
2010-03-22 jjenistafixed problem by differentiating between an element...
2010-03-20 jjenistatrying to fix call site transfer bug, fixed caused...
2010-03-19 yeomchanges.
2010-03-19 jjenistamaking debugging easier
2010-03-19 jjenistamake sure change sets ignore predicates hanging off...
2010-03-19 jjenistamake sure straight union of reach states or reach sets...
2010-03-19 yeomchanges.
2010-03-19 yeomadd interface.
2010-03-18 jzhoubug fix in multicore Bamboo, TILERZ_LINUX mode now...
2010-03-18 yeoma test.
2010-03-18 jjenistacouple of little bugs working in tandem to wreck reacha...
2010-03-18 adashadded the new looup table for prefetch cache
2010-03-18 adashget rid of "size" field, causes unnecessary aborts...
2010-03-18 jzhouBAMBOO TILERA_ZLINUX mode works with single-core versio...
2010-03-17 jjenistause different graph writing options to better find...
2010-03-17 jzhouTILERA_ZLINUX mode for BAMBOO can be compiled now,...
2010-03-17 jjenistafixed issues with dot graph writing that make our debug...
2010-03-17 jjenistausing allocation sites in new ways exposed a latent bug
2010-03-17 yeoma test
2010-03-17 yeomchanges for proper handling field.
2010-03-17 jjenistawas accidentally dropping param var to node edges when...
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
next