2012-09-19 |
Brian Demsky | merge in master |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Brian Demsky | fix bug |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Brian Norris | model: replace list type with action_list_t |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Brian Norris | model: add typedef for list of release sequence heads |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Brian Norris | model: THREAD_JOIN synchronizes with THREAD_FINISH |
blob | commitdiff | raw | diff to current |
2012-09-19 |
Brian Demsky | ichange |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: add curr to action lists early |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: document behavior of ModelChecker::initialize_cu... |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: pull "may_read_from set" calculation out of... |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: refactor ModelChecker::initialize_curr_action |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: move init code to ModelChecker::initialize_curr_... |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Demsky | changes |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: pull computation out of conditional |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: add some mo_graph fixup code to work_queue |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | Merge branch 'norris' |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: add infeasibility debugging |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: bugfix - w_modification_order handling current... |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: fixup r_modification_order |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: check_recency - "already_added" always true |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Norris | model: bugfix get_last_seq_action() |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Demsky | more changes towards locks |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Demsky | Merge branch 'master' into mutex |
blob | commitdiff | raw | diff to current |
2012-09-18 |
Brian Demsky | start towards adding support for mutexes |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Brian Norris | model: fixup happens_before/reflexivity, add 'curr... |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Brian Norris | Merge branch 'norris' |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Brian Norris | model: release_seq synchronization generates mo_graph... |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Brian Norris | model: record the number of feasible executions |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Brian Norris | model: add work queue loop |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Brian Demsky | (1) add actions for the fence |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Brian Demsky | add support for dumping cyclegraphs as dot files..... |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | model: more restructuring of read/write processing |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | model: remove unnecessary parameter to ModelChecker... |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | bugfix: straighten out STL vector allocation (snapshott... |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | model: bugfix - don't clobber 'updated' |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | model: trivial fixups |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | model: simple ASSERT() bug |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | model: kill unneeded local variable |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | spacing |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | Merge remote-tracking branch 'origin/makefile' |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Demsky | lots of debugging here... finally working with my rmw... |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Norris | cleanup style |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Demsky | fix for horrible bug... turns out that we could genera... |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Demsky | right fix for avoid rmw cycles... bad assumption in... |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Demsky | another bug fix... |
blob | commitdiff | raw | diff to current |
2012-09-13 |
Brian Demsky | separate out rmw actions |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Demsky | (1) structure code a little better |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Demsky | deal with looping due to bogus future value via promise... |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Demsky | fun issues... |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Norris | threads, model, schedule: refactor thread joining |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Norris | model: add ModelChecker::get_thread(ModelAction *act) |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Norris | Merge branch 'demsky' |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Demsky | model: cleaning up some code |
blob | commitdiff | raw | diff to current |
2012-09-12 |
Brian Norris | model: handle RMW, unresolved reads in w_modification_o... |
blob | commitdiff | raw | diff to current |
2012-09-11 |
Brian Demsky | model: fix the maxreads support |
blob | commitdiff | raw | diff to current |
2012-09-11 |
Brian Demsky | model: some bug fixes to the model checker |
blob | commitdiff | raw | diff to current |
2012-09-11 |
Brian Demsky | model: bug fixes to new code |
blob | commitdiff | raw | diff to current |
2012-09-11 |
Brian Norris | model: replace action conditions with switch block |
blob | commitdiff | raw | diff to current |
2012-09-11 |
Brian Norris | model: add check_recency() |
blob | commitdiff | raw | diff to current |
2012-09-11 |
Brian Norris | model: refactor "get next thread" code |
blob | commitdiff | raw | diff to current |
2012-09-11 |
Brian Norris | model: add too_many_reads flag |
blob | commitdiff | raw | diff to current |
2012-09-08 |
Brian Norris | model: fix release sequence with RMW, acq vs. acq/rel |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Norris | model: maintain a count of the pending lazy synchroniza... |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Norris | model: group snapshottable ModelChecker members in... |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Norris | model: force THREAD_START to immediately follow THREAD_... |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Norris | model: fix release_seq for open-ended synchronization |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Norris | model: use std::find for release sequence search |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Norris | model: don't use global 'model' unnecessarily |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-09-07 |
Brian Demsky | changes |
blob | commitdiff | raw | diff to current |
2012-09-06 |
Brian Norris | Merge branch 'norris' |
blob | commitdiff | raw | diff to current |
2012-09-06 |
Brian Norris | model: complete the Thread teardown during THREAD_FINISH |
blob | commitdiff | raw | diff to current |
2012-09-06 |
Brian Norris | model: enforce rule: current_action != NULL |
blob | commitdiff | raw | diff to current |
2012-09-06 |
Brian Norris | model: hook up THREAD_JOIN and THREAD_FINISH actions |
blob | commitdiff | raw | diff to current |
2012-09-04 |
Brian Norris | model: document ModelChecker::check_current_action |
blob | commitdiff | raw | diff to current |
2012-09-04 |
Brian Norris | model: check_current_action returns its 'nextThread' |
blob | commitdiff | raw | diff to current |
2012-09-04 |
Brian Norris | model/schedule: revise 'nextThread' data flow |
blob | commitdiff | raw | diff to current |
2012-08-25 |
Brian Norris | model: re-check release sequences lazily |
blob | commitdiff | raw | diff to current |
2012-08-25 |
Brian Norris | model: add resolve_release_sequences() function |
blob | commitdiff | raw | diff to current |
2012-08-25 |
Brian Norris | model: stash actions for lazy release-seq checking |
blob | commitdiff | raw | diff to current |
2012-08-25 |
Brian Norris | model: report 'updates' when adding mo_graph edges |
blob | commitdiff | raw | diff to current |
2012-08-25 |
Brian Norris | model: report status of resolved promises |
blob | commitdiff | raw | diff to current |
2012-08-24 |
Brian Norris | model: add release sequence support |
blob | commitdiff | raw | diff to current |
2012-08-24 |
Brian Norris | model: change pointer spacing style |
blob | commitdiff | raw | diff to current |
2012-08-23 |
Brian Norris | model: improve some promise-related comments |
blob | commitdiff | raw | diff to current |
2012-08-23 |
Brian Norris | nodestack, model: use uniform spacing, style |
blob | commitdiff | raw | diff to current |
2012-08-21 |
Brian Norris | cyclegraph: straighten out header vs. implementation... |
blob | commitdiff | raw | diff to current |
2012-08-20 |
Brian Norris | model: rename 'cyclegraph' to 'mo_graph' |
blob | commitdiff | raw | diff to current |
2012-08-20 |
Brian Norris | model: don't "leak" promises |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Brian Norris | Merge branch 'norris' |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Brian Norris | main, model: don't 'initialize' system_context |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Brian Norris | model: remove useless return code from add_thread() |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Brian Norris | main, model: move main execution loop into ModelChecker... |
blob | commitdiff | raw | diff to current |
2012-08-11 |
Brian Norris | hashtable: rename ensureptr() to get_safe_ptr() |
blob | commitdiff | raw | diff to current |
2012-08-11 |
Brian Norris | model: reformat/refactor some code |
blob | commitdiff | raw | diff to current |
2012-08-11 |
Brian Norris | model: revert unnecessary parameter for print_summary() |
blob | commitdiff | raw | diff to current |
2012-08-11 |
Brian Norris | add basic parameter handling |
blob | commitdiff | raw | diff to current |
2012-08-11 |
Brian Norris | model: reformat some code |
blob | commitdiff | raw | diff to current |
2012-08-04 |
Brian Demsky | add a todo flag to a comment so it won't get lost.... |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Norris | blank lines, spacing, etc. |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Norris | model: do not call isfinalfeasible() too many times |
blob | commitdiff | raw | diff to current |
next |