projects / cdsspec-compiler.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
execution: correct comment on check_current_action()
2013-04-17 Brian Norrisexecution: correct comment on check_current_action()
 commit | commitdiff | tree
2013-04-16 Brian Norrisnodestack: localize the model-checker parameters
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: privatize ModelChecker::get_num_threads()
 commit | commitdiff | tree
2013-04-16 Brian Norrisnodestack: register ModelExecution class w/in NodeStack
 commit | commitdiff | tree
2013-04-16 Brian Norrispromise: add max_available_thread_idx() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrisclockvector: don't use global get_num_threads()
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: remove leftover junk
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed obj_map directly in class
 commit | commitdiff | tree
2013-04-16 Brian Norrishashtable: update documentation
 commit | commitdiff | tree
2013-04-16 Brian Norrishashtable: enforce, document non-zero keys
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: convert HashTable to SnapVector
 commit | commitdiff | tree
2013-04-16 Brian Norrisaction: bugfix - use non-zero fence "location"
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed action_list as full member
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: add const
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed more data structures directly in class
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: embed snapshotted data structures in class
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: make structure snapshotting
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: move execution number back to ModelChecker...
commit | commitdiff | tree
2013-04-16 Brian Norrisclean out includes, etc.
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: embed the trace_analyses in the class
 commit | commitdiff | tree
2013-04-16 Brian Norrisaction: add <stdlib>
 commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: allocate structures as true members of...
commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: fixup spacing
 commit | commitdiff | tree
2013-04-16 Brian NorrisMerge cleanup branch
 commit | commitdiff | tree
2013-04-16 Brian Norrisschedule: drop the ModelChecker::check_promises_thread_disab...
commit | commitdiff | tree
2013-04-16 Brian Norrismodel / threads: remove global get_next_id() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrispromise: get reference to ModelExecution
 commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: use ModelExecution interfaces
 commit | commitdiff | tree
2013-04-16 Brian Norrisscanalysis: install ModelExecution object in the analysis
 commit | commitdiff | tree
2013-04-16 Brian Norrisexecution: add 'const'
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: cleanup a few more interfaces
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: add get_execution() interface
 commit | commitdiff | tree
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecution...
commit | commitdiff | tree
2013-04-16 Brian Norrisdatarace: simplify raceCheck{Read,Write}() function...
commit | commitdiff | tree
2013-04-16 Brian Norrisdatarace: make globals static
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: drop public get_current_node() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: remove public check_promises() interface
 commit | commitdiff | tree
2013-04-16 Brian Norrismodel: add synchronize() function
 commit | commitdiff | tree
2013-04-16 Brian Norriscommon: drop model_print_summary()
 commit | commitdiff | tree
2013-04-16 Brian Norrispromise: add Promise::get_index function
 commit | commitdiff | tree
2013-04-16 Brian Norrisaction: we don't need special cases for lock/join anymore
 commit | commitdiff | tree
2013-04-16 Brian Norrismove license to LICENSE file
 commit | commitdiff | tree
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
 commit | commitdiff | tree
2013-04-16 Brian Norristraceanalysis: rename to remove '_'
 commit | commitdiff | tree
2013-04-16 Brian Norrisbugmessage: move struct to header file
 commit | commitdiff | tree
2013-04-15 Brian Norrisparams: move model_params to header file
 commit | commitdiff | tree
2013-04-15 Brian Norrismodel: add too_many_steps()
 commit | commitdiff | tree
2013-04-15 Brian Norrismodel: fixup whitespace
 commit | commitdiff | tree
2013-04-15 Brian Norrisscanalysis: fix warning
 commit | commitdiff | tree
2013-04-15 Brian Norrisscanalysis: remove whitespace
 commit | commitdiff | tree
2013-04-11 Brian Norrisimprove documentation + Doxygen formatting
 commit | commitdiff | tree
2013-04-11 Brian Norrisaction: refactor, move VALUE_TRY{SUCCESS,FAILED} out...
commit | commitdiff | tree
2013-04-11 Brian Norriscyclegraph: kill unused promise_list_t type
 commit | commitdiff | tree
2013-04-06 Brian Norrissnapshot: cleanup/document much of fork-based snapshotting
 commit | commitdiff | tree
2013-04-05 Brian Norrissnapshot: use sizeof(*fork_snap)
 commit | commitdiff | tree
2013-04-05 Brian Norrismodel: remove DEBUG action print
 commit | commitdiff | tree
2013-04-05 Brian Norrissnapshot: clean up fork-based error handling
 commit | commitdiff | tree
2013-04-05 Brian Norrisaction: correct RF capitalization
 commit | commitdiff | tree
2013-04-05 Brian Norrismodel: deadlock: print the culprit thread, when known
 commit | commitdiff | tree
2013-04-05 Brian Norrisdatarace: use variable-argument bug-printing
 commit | commitdiff | tree
2013-04-05 Brian Norrismodel: add variable arguments for bug messages
 commit | commitdiff | tree
2013-04-05 Brian Norrismodel: proactively build/prune is_enabled() set
 commit | commitdiff | tree
2013-04-05 Brian Norrismodel: pull thread control logic out of take_step(...
commit | commitdiff | tree
2013-04-05 Brian Norrissnapshot: kill useless macro
 commit | commitdiff | tree
2013-04-04 Brian Norriscontext: move Mac swapcontext() to separate compilation...
commit | commitdiff | tree
2013-04-04 Brian Norriscommon: improve redirect_output() error handling
 commit | commitdiff | tree
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,...
commit | commitdiff | tree
2013-04-04 Brian Norrisaction: include reads-from-promise in HASH calculations
 commit | commitdiff | tree
2013-04-04 Brian Norristest: insanesync: pointer types
 commit | commitdiff | tree
2013-04-04 Brian Norrismodel: note the DPOR addendum
 commit | commitdiff | tree
2013-04-04 Brian Norrismodel: use get_thread() helper
 commit | commitdiff | tree
2013-04-04 Brian Norrisswapcontext() fix for Mac OSX
 commit | commitdiff | tree
2013-04-03 Brian Norristhreads: remove wait_list
 commit | commitdiff | tree
2013-04-03 Brian Norrismodel: use get_mutex() and get_thread_operand() helpers
 commit | commitdiff | tree
2013-04-03 Brian Norrismodel: kill lock_waiters_map
 commit | commitdiff | tree
2013-04-03 Brian Norrismodel: merge duplicated code for WAIT and UNLOCK
 commit | commitdiff | tree
2013-04-03 Brian Norristest: mutextest: add thread yield point
 commit | commitdiff | tree
2013-04-03 Brian Norrismodel: get_mutex() for locating the lock map
 commit | commitdiff | tree
2013-04-02 Brian Norrisaction: add ModelAction::is_thread_join() helper
 commit | commitdiff | tree
2013-04-02 Brian Norrismymemory: fix compiling with !USE_MPROTECT_SNAPSHOT
 commit | commitdiff | tree
2013-03-28 Brian Norrisnodestack: move "behaviors" increment all into Node...
commit | commitdiff | tree
2013-03-28 Brian Norrisnodestack: regroup some code
 commit | commitdiff | tree
2013-03-27 Brian Norristhreads: move circular wait check into Threads::is_waiting_on
 commit | commitdiff | tree
2013-03-22 Brian Demskyfix mistake in promises may allow code... need to...
commit | commitdiff | tree
2013-03-22 Brian Norrismain: adjust defaults again
 commit | commitdiff | tree
2013-03-22 Brian NorrisMerge branch 'master' of ssh://demsky.eecs.uci.edu...
commit | commitdiff | tree
2013-03-22 Brian Norrismain: change default 'future delay' for promise expiration
 commit | commitdiff | tree
2013-03-22 Brian Norrismodel: re-check pending future values whenever a promise...
commit | commitdiff | tree
2013-03-21 Brian Norrismodel: bugfix - send future values more eagerly
 commit | commitdiff | tree
2013-03-21 Brian Norrismodel: refactor add_future_value, add documentation
 commit | commitdiff | tree
2013-03-21 Brian Norrismodel: add 'const'
 commit | commitdiff | tree
2013-03-21 Brian Norrismodel: rename PendingFutureValue 'act' to 'reader'
 commit | commitdiff | tree
2013-03-21 Brian Norrismodel: rework the resolve-promise interface
 commit | commitdiff | tree
2013-03-20 Brian Norriscyclegraph: propagate RMW atomicity edges down the...
commit | commitdiff | tree
2013-03-19 Brian Norrismodel: note how we support seq-cst fences
 commit | commitdiff | tree
2013-03-15 Brian Norristest: rmwprog: add MODEL_ASSERT
 commit | commitdiff | tree
2013-03-12 Brian Norrismodel: bugfix - missing SC mo_graph edge
 commit | commitdiff | tree
2013-03-12 Brian Norrismodel: refactor r_modification_order 'act != curr'...
commit | commitdiff | tree
2013-03-09 Brian Norrismymemory: enforce that user allocations come from user...
commit | commitdiff | tree
2013-03-09 Brian Norrismymemory, threads: add allocator specifically for Thread
 commit | commitdiff | tree
next
This is the public repository for the CDSSpec specification compiler.