projects
/
model-checker.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
model: remove old "uninitialized" bug check
[model-checker.git]
/
model.cc
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
2012-05-26
Brian Norris
model: don't reset action_trace manually
blob
|
commitdiff
|
raw
|
diff to current
2012-05-26
Brian Norris
main: take/revert snapshots
blob
|
commitdiff
|
raw
|
diff to current
2012-05-26
Brian Norris
model: make thread_map heap allocated
blob
|
commitdiff
|
raw
|
diff to current
2012-05-25
Brian Norris
more allocation fixes (use snapshotting)
blob
|
commitdiff
|
raw
|
diff to current
2012-05-25
Brian Norris
add more classes to snapshotting region
blob
|
commitdiff
|
raw
|
diff to current
2012-05-21
Brian Norris
model: remove incorrect #undef
blob
|
commitdiff
|
raw
|
diff to current
2012-05-21
Brian Norris
Merge commit: branch 'work'
blob
|
commitdiff
|
raw
|
diff to current
2012-05-18
Brian Demsky
merging stuff...made need to clean up some stuff.....
blob
|
commitdiff
|
raw
|
diff to current
2012-05-15
Brian Norris
model: remove free_action_list() function
blob
|
commitdiff
|
raw
|
diff to current
2012-05-15
Brian Norris
model: remove class Backtrack
blob
|
commitdiff
|
raw
|
diff to current
2012-05-15
Brian Norris
model: replace TreeNode with NodeStack
blob
|
commitdiff
|
raw
|
diff to current
2012-05-15
Subramanian Ganapathy
Defining the interfaces to add various regions to snapshot
blob
|
commitdiff
|
raw
|
diff to current
2012-05-14
Brian Norris
model: merge advance_backtracking_state() and get_next_...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-14
Brian Norris
model: rename check_current_action() local variables
blob
|
commitdiff
|
raw
|
diff to current
2012-05-14
Brian Norris
model: change constructor assignments to initializer...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-10
Subramanian Ganapathy
Initializing variable which contains global snapshottin...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-09
Subramanian Ganapathy
Adding STL stuff and operator news of snapshot to model...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-09
Brian Norris
action: rename 'node' members to 'treenode'
blob
|
commitdiff
|
raw
|
diff to current
2012-05-08
Brian Norris
model: remove unnecessary "this->"
blob
|
commitdiff
|
raw
|
diff to current
2012-05-08
Brian Norris
action: split ModelAction off into action.cc
blob
|
commitdiff
|
raw
|
diff to current
2012-05-08
Brian Norris
model: free final list
blob
|
commitdiff
|
raw
|
diff to current
2012-05-08
Brian Norris
model: free threads, thread_map at destruction
blob
|
commitdiff
|
raw
|
diff to current
next