Programming Languages Research Group: Git - model-checker.git/history

2012-08-02	Brian Norris	blank lines, spacing, etc.	blob \| commitdiff \| raw
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
2012-05-08	Brian Norris	model: change DEBUG() statement to ASSERT()	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	bugfix - set backtrack events according to an *enabled...	blob \| commitdiff \| raw \| diff to current
next

C++11 memory model checker

RSS Atom