IRC.git
2010-04-05 stepheyMoved Primes into its own folder
2010-04-05 stepheyUpdated Test.java; it now achieves a speed-up of 8x...
2010-04-05 yeombring last changes for proper handling 64bit before...
2010-04-05 stepheyUpdated Test.java to working condition (parallelized)
2010-04-03 stepheybacked up working serial program and original program...
2010-04-03 jihoonlpaxos in separate file.
2010-04-03 stepheyRenamed test.java to Test.java and updated makefile...
2010-04-03 stepheyrenamed test.java to Test.java and changed the makefile...
2010-04-03 stepheyUpdated to working non-parallelized version for Test.c
2010-04-02 jjenistabug fixes for unflagged heap regions becoming flagged
2010-04-02 jjenistaworking on bugs, sharing file output updates
2010-04-02 stepheyStephen's intro application added (not yet done)
2010-04-02 stepheyA test update
2010-04-02 stepheyThis is Stephen's test program
2010-04-02 yeombug fixes for generating empty graph.
2010-04-01 jihoonlstill fixing
2010-04-01 jihoonlstill have racing condition..
2010-03-31 yeomfixes for memory effects analysis.
2010-03-31 jjenistaenforce strict monotonicity for initial method contexts...
2010-03-30 jjenistaturn strong updates back on from yesterday testing...
2010-03-30 jjenistaa test that shows our analysis doesn't always terminate
2010-03-30 jjenistawhy was this missing--latent bug
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...
next