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 |
2012-08-02 |
Brian Norris | model: delete Threads on destruction |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Norris | more reformatting/indentation |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | forgot about events that happen after an unresolved... |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Norris | fixup whitespace |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | add some comments |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | standardize names a little |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | okay...known bugs for my trivial test are out of send... |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | finish promise support |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | more changes towards keeping track of promises resolved... |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | changes |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | some changes towards reading from future writes |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | fix my todo comments so they appear in documentation |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | switch everything over to our own hashtable |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | rmw example works |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | towards making rmw work... |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Norris | trivial - whitespace, debugging cleanup, etc. |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Norris | update TODO's |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | Add RMW support to core. |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Norris | model: add documentation |
blob | commitdiff | raw | diff to current |
2012-08-02 |
Brian Demsky | small changes (things still work) towards support RMW |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Brian Norris | model: refactor "infeasible" printing |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Brian Demsky | print less stuff |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Brian Demsky | model: add support for modification orders |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Brian Demsky | Add basic reads from support |
blob | commitdiff | raw | diff to current |
2012-07-17 |
Brian Demsky | Make stack popping explicit. |
blob | commitdiff | raw | diff to current |
2012-07-16 |
Brian Demsky | really should be using a type that is big enough for... |
blob | commitdiff | raw | diff to current |
2012-07-13 |
Brian Demsky | the initialized logic appears to be wrong... release... |
blob | commitdiff | raw | diff to current |
2012-07-13 |
Brian Norris | model: add documentation |
blob | commitdiff | raw | diff to current |
2012-07-13 |
Brian Norris | model: fixup "initialized" check in build_reads_from_past() |
blob | commitdiff | raw | diff to current |
2012-07-13 |
Brian Norris | model: only include the most recent seq_cst write in... |
blob | commitdiff | raw | diff to current |
2012-07-13 |
Brian Norris | model: add ModelChecker::get_last_seq_cst() |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | model: improve ModelChecker::get_last_conflict() search |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | model: add per-object action lists (obj_map) |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | model: rearrange switch block, handle RMW |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | Merge branch 'master' into brian |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | model: bugfix - resize thrd_last_action when adding... |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Brian Norris | model: factor out 'tid' calculation |
blob | commitdiff | raw | diff to current |
2012-07-11 |
Brian Norris | model: release/acquire synchronization |
blob | commitdiff | raw | diff to current |
2012-07-10 |
Brian Demsky | hook up the race detector... |
blob | commitdiff | raw | diff to current |
2012-07-07 |
Brian Norris | Merge branch 'datarace' |
blob | commitdiff | raw | diff to current |
2012-07-07 |
Brian Norris | model: set reads_from "return value" in model-checker |
blob | commitdiff | raw | diff to current |
2012-07-07 |
Brian Norris | model: detect uninitialized atomic reads |
blob | commitdiff | raw | diff to current |
2012-07-07 |
Brian Norris | model: improve build_reads_from_past() comment |
blob | commitdiff | raw | diff to current |
2012-07-06 |
Brian Norris | trivial changes |
blob | commitdiff | raw | diff to current |
2012-07-06 |
Brian Norris | clock: add modelclock_t typedef, use 'unsigned int' |
blob | commitdiff | raw | diff to current |
2012-07-03 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-07-03 |
Brian Norris | Merge branch 'brian' |
blob | commitdiff | raw | diff to current |
2012-06-25 |
Brian Norris | add documentation |
blob | commitdiff | raw | diff to current |
2012-06-25 |
Brian Norris | nodestack: re-associate ModelAction/Node relationship |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Brian Norris | model: make print_list() into a static C function |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Subramanian Ganapathy | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Brian Norris | model: make comment more accurate |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Brian Norris | Merge branch 'sandbox' (remove finalize()) |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Brian Norris | model: build up 'may_read_from' set |
blob | commitdiff | raw | diff to current |
2012-06-21 |
Brian Norris | model: add build_reads_from_past() function |
blob | commitdiff | raw | diff to current |
2012-06-19 |
Brian Norris | nodestack/model: refactor explore_action(), change... |
blob | commitdiff | raw | diff to current |
2012-06-18 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-06-18 |
Brian Demsky | builds |
blob | commitdiff | raw | diff to current |
2012-06-15 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-06-15 |
Brian Norris | add more documentation |
blob | commitdiff | raw | diff to current |
2012-06-06 |
Brian Demsky | 1) Add more comments. |
blob | commitdiff | raw | diff to current |
2012-06-06 |
Brian Demsky | more docs |
blob | commitdiff | raw | diff to current |
2012-05-30 |
Subramanian Ganapathy | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
blob | commitdiff | raw | diff to current |
2012-05-30 |
Brian Norris | node: do not use static member variable |
blob | commitdiff | raw | diff to current |
2012-05-29 |
Brian Norris | nodestack: push 'create_cv' functionality responsibilit... |
blob | commitdiff | raw | diff to current |
2012-05-29 |
Brian Norris | model: thread creation establishes synchronization |
blob | commitdiff | raw | diff to current |
2012-05-28 |
Brian Norris | model: move bookkeeping to add_action_to_lists() |
blob | commitdiff | raw | diff to current |
2012-05-28 |
Brian Norris | model: set 'last action in thread' as an action's parent |
blob | commitdiff | raw | diff to current |
2012-05-28 |
Brian Norris | model: log the last action in each thread |
blob | commitdiff | raw | diff to current |
2012-05-28 |
Brian Norris | nodestack: compute parent ModelAction externally |
blob | commitdiff | raw | diff to current |
2012-05-26 |
Brian Norris | model: add obj_thrd_map |
blob | commitdiff | raw | diff to current |
2012-05-26 |
Brian Norris | model: add get_num_threads() |
blob | commitdiff | raw | diff to current |
2012-05-26 |
Brian Norris | model: remove scheduler comment |
blob | commitdiff | raw | diff to current |
2012-05-26 |
Brian Norris | model: don't clear thread_map (snapshot) |
blob | commitdiff | raw | diff to current |
next |