projects / cdsspec-compiler.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cdsspec-compiler.git
2012-07-31 Brian Norriscyclegraph: bugfix - graph reachability was reversed commit | commitdiff | tree | snapshot
2012-07-31 Brian Norriscyclegraph: add destructor, use 'const' appropriately commit | commitdiff | tree | snapshot
2012-07-31 Brian Norrisnodestack: document pop_restofstack() commit | commitdiff | tree | snapshot
2012-07-31 Brian DemskyAdd basic reads from support commit | commitdiff | tree | snapshot
2012-07-17 Brian DemskyMake stack popping explicit. commit | commitdiff | tree | snapshot
2012-07-17 Brian Norrisnodestack: re-insert falsely-declared "dead code" commit | commitdiff | tree | snapshot
2012-07-17 Brian Norrisconfig: automatically determine BIT48 commit | commitdiff | tree | snapshot
2012-07-17 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-07-17 Brian Demskyremove dead code... loop entrance condition is i<backt... commit | commitdiff | tree | snapshot
2012-07-17 Brian Norrisaction: fix uint64_t printf warning commit | commitdiff | tree | snapshot
2012-07-16 Brian Demskyno need to store into the object field... this will... commit | commitdiff | tree | snapshot
2012-07-16 Brian Demskyreally should be using a type that is big enough for... commit | commitdiff | tree | snapshot
2012-07-13 Brian Demskythe initialized logic appears to be wrong... release... commit | commitdiff | tree | snapshot
2012-07-13 Brian Norrisdatarace: fixup, properly document BIT48 commit | commitdiff | tree | snapshot
2012-07-13 Brian Norrismodel: remove unused #include commit | commitdiff | tree | snapshot
2012-07-13 Brian Norrislibthreads: thrd_join() always return 0 commit | commitdiff | tree | snapshot
2012-07-13 Brian Norrismodel: add documentation commit | commitdiff | tree | snapshot
2012-07-13 Brian Norrismodel: fixup "initialized" check in build_reads_from_past() commit | commitdiff | tree | snapshot
2012-07-13 Brian Norrismodel: only include the most recent seq_cst write in... commit | commitdiff | tree | snapshot
2012-07-13 Brian Norrismodel: add ModelChecker::get_last_seq_cst() commit | commitdiff | tree | snapshot
2012-07-12 Brian Norrismodel: improve ModelChecker::get_last_conflict() search commit | commitdiff | tree | snapshot
2012-07-12 Brian Norrismodel: add per-object action lists (obj_map) commit | commitdiff | tree | snapshot
2012-07-12 Brian Norrisreformat some doxygen comments, remove newlines commit | commitdiff | tree | snapshot
2012-07-12 Brian Norrismodel: rearrange switch block, handle RMW commit | commitdiff | tree | snapshot
2012-07-12 Brian NorrisMerge branch 'master' into brian commit | commitdiff | tree | snapshot
2012-07-12 Brian Norrismodel: bugfix - resize thrd_last_action when adding... commit | commitdiff | tree | snapshot
2012-07-12 Brian Norrismodel: factor out 'tid' calculation commit | commitdiff | tree | snapshot
2012-07-11 Brian Norrismain: make function static commit | commitdiff | tree | snapshot
2012-07-11 Brian Norrisaction / threads: add THREAD_START action at start... commit | commitdiff | tree | snapshot
2012-07-11 Brian Norristhreads: use constructor initializer list commit | commitdiff | tree | snapshot
2012-07-11 Brian Norrisaction: add 'reads_from' member variable commit | commitdiff | tree | snapshot
2012-07-11 Brian Norrisaction: remove unused ModelAction::set_value() commit | commitdiff | tree | snapshot
2012-07-11 Brian Norrismodel: release/acquire synchronization commit | commitdiff | tree | snapshot
2012-07-11 Brian Norrisclockvector: add 'const', fix comments in ClockVector... commit | commitdiff | tree | snapshot
2012-07-11 Brian Norrisremove EOL spaces, fix indentation commit | commitdiff | tree | snapshot
2012-07-11 Brian Demskybug commit | commitdiff | tree | snapshot
2012-07-11 Brian Demskydocumentation commit | commitdiff | tree | snapshot
2012-07-10 Brian Demskyfix bug commit | commitdiff | tree | snapshot
2012-07-10 Brian Demskyhook up the race detector... commit | commitdiff | tree | snapshot
2012-07-07 Brian NorrisMerge branch 'datarace' commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrisdatarace: fix build error commit | commitdiff | tree | snapshot
2012-07-07 Brian Demskychanges commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrislibatomic: atomic_load() - use proper reads_from value commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrismodel: set reads_from "return value" in model-checker commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrisnodestack: add stub 'get_next_read_from()' function commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrisdocument some enumerated types commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrismodel: detect uninitialized atomic reads commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrisnodestack: add print_may_read_from() commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrismodel: improve build_reads_from_past() comment commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrisaction: use constructor initializer list commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrisaction: support ATOMIC_INIT commit | commitdiff | tree | snapshot
2012-07-07 Brian Norristhreads: add per-thread "return" values for 'model... commit | commitdiff | tree | snapshot
2012-07-07 Brian Norrisnodestack: build 'may_read_from' out of constant ModelA... commit | commitdiff | tree | snapshot
2012-07-06 Brian Norrisnodestack: action_set_t: replace STL 'set' with 'list' commit | commitdiff | tree | snapshot
2012-07-06 Brian Norristrivial changes commit | commitdiff | tree | snapshot
2012-07-06 Brian Norrisadd more const qualifiers commit | commitdiff | tree | snapshot
2012-07-06 Brian Norrismodel: make set_current_action() private commit | commitdiff | tree | snapshot
2012-07-06 Brian Norrisdatarace: factor subtle clock-vector logic into a reusa... commit | commitdiff | tree | snapshot
2012-07-06 Brian Norrisdatarace: remove EOL spaces commit | commitdiff | tree | snapshot
2012-07-06 Brian Norrisdatarace/clockvector: switch 'clocks' to use 'unsigned... commit | commitdiff | tree | snapshot
2012-07-06 Brian Norrisclock: add modelclock_t typedef, use 'unsigned int' commit | commitdiff | tree | snapshot
2012-07-06 Brian Demskyadd forgetten file commit | commitdiff | tree | snapshot
2012-07-06 Brian Demskyadd support for datarace detection... commit | commitdiff | tree | snapshot
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-07-03 Brian NorrisMerge branch 'brian' commit | commitdiff | tree | snapshot
2012-07-03 Subramanian... Adding relevant comments for fork based implementation. commit | commitdiff | tree | snapshot
2012-07-03 Brian NorrisMakefile: compile *.cc separately commit | commitdiff | tree | snapshot
2012-07-03 Brian Norrisnodestack: revert may_read_from to a normal member... commit | commitdiff | tree | snapshot
2012-07-03 Brian Norrisaction: add {get,set}_value(), assign default value commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisadd documentation commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisnodestack: only create may_read_from sets for read... commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisnodestack: re-associate ModelAction/Node relationship commit | commitdiff | tree | snapshot
2012-06-25 Brian Norrisnodestack: add Node::get_parent() function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrismodel: make print_list() into a static C function commit | commitdiff | tree | snapshot
2012-06-21 Subramanian... Adding relevant comments for fork based implementation. commit | commitdiff | tree | snapshot
2012-06-21 Subramanian... Merge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrismodel: make comment more accurate commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisaction: add const qualifier commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisclockvector: add const qualifiers commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisclockvector: add documentation commit | commitdiff | tree | snapshot
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize()) commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrissnapshot: switch back to mprotect-based snapshotting commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrismodel: build up 'may_read_from' set commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrismodel: add build_reads_from_past() function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisaction: add happens_before() function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisclockvector: fix 'happens_before', change name to ... commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisaction: add 'get_cv()' accessor function commit | commitdiff | tree | snapshot
2012-06-21 Brian Norrisnodestack: add 'may_read_from' set commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisnodestack: don't perform linear search to check if... commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisaction: add const qualifiers commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisaction: replace condition check with ASSERT() commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisnodestack/model: refactor explore_action(), change... commit | commitdiff | tree | snapshot
2012-06-19 Brian Norrisnodestack: more documentation commit | commitdiff | tree | snapshot
2012-06-19 Brian Norriscyclegraph: make this compile... commit | commitdiff | tree | snapshot
2012-06-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-06-18 Brian Demskybuilds commit | commitdiff | tree | snapshot
2012-06-17 Brian Demskyadd hashtable commit | commitdiff | tree | snapshot
2012-06-15 Brian NorrisDoxyfile: exclude malloc.c commit | commitdiff | tree | snapshot
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu... commit | commitdiff | tree | snapshot
2012-06-15 Brian Norrisfixup some doc wording commit | commitdiff | tree | snapshot
next
This is the public repository for the CDSSpec specification compiler.