projects
/
cdsspec-compiler.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cdsspec-compiler.git
2012-12-13
Brian Norris
model: make dumpGraph 'const'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
nodestack: fixup style
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
model: remove snapshotted 'nextThread'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
model: pass current action as function argument
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
model: simplify take_step()
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
model: force first thread to run immediately
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
model: change guaranteed condition into ASSERT()
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
nodestack: rename 'iter' to 'head_idx'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
nodestack: make 'iter' signed
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
schedule: spacing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
nodestack: spacing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-13
Brian Norris
model: spacing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-12
Brian Norris
model: rename 'promise_index' to 'i'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-12
Brian Norris
test/uninit: add an "uninit" test
commit
|
commitdiff
|
tree
|
snapshot
2012-12-12
Brian Norris
model: return value from switch_to_master
commit
|
commitdiff
|
tree
|
snapshot
2012-12-12
Brian Norris
action: refactor ATOMIC_READ printing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-12
Brian Norris
nodestack: add 'const'
commit
|
commitdiff
|
tree
|
snapshot
2012-12-12
Brian Norris
impatomic: add C++ atomic_init()
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Brian Norris
cyclegraph: uniform spacing, style
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Brian Norris
cyclegraph: bugfix - more SnapshotAlloc
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Brian Norris
common: bugfix - always display backtrace output
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Brian Norris
cyclegraph: bugfix - use model-checker's allocater...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Brian Norris
cyclegraph: don't export CycleNode::edges directly...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-11
Brian Norris
include the correct standard headers
commit
|
commitdiff
|
tree
|
snapshot
2012-12-08
Brian Norris
spacing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
model: don't create UNINIT actions for Threads, mutexes...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
action: add is_atomic_var()
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
model/action: bugfix - UNINIT actions do not have a...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
model: remove old "uninitialized" bug check
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
model: generate UNINIT actions as new atomic operations...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
action: move ModelAction::get_node to action.cc
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
model: add helper for allocating new UNINIT actions
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
mymemory: add placement new
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
model: clear a ModelAction's reads-from properly
commit
|
commitdiff
|
tree
|
snapshot
2012-12-07
Brian Norris
action: add ATOMIC_UNINIT type
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
Makefile: build dependencies in .*.o.d files
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
Makefile: rename variable to be more clear
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
model: refactoring + spacing
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
schedule: add is_sleep_set(thread)
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
schedule: add const
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
threads: add const
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
notes: fence: replace variables to match 29.8
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
notes: fence: rename variables to match spec better
commit
|
commitdiff
|
tree
|
snapshot
2012-12-06
Brian Norris
notes: fence: add release/acquire fence notes
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
notes: fence: more updates
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
doc: notes: fence: update fence notes
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
model: stop thread-trace search once edge is added
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
doc: notes: add fences note
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
model: fix bugs in fence-acquire synchronization
commit
|
commitdiff
|
tree
|
snapshot
2012-12-05
Brian Norris
impatomic: move atomic_{thread,signal}_fence() to names...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
run.sh: print the command that runs
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model: add process_fence()
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model: distinguish between 'read' and 'acquire' in...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model: add read-acquire/fence-release support
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
action: add is_thread_start()
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model: privatize a few interfaces
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model/action: move complicated read_from logic into...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model: record last fence-release from each thread
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
action: record last fence release from the current...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model: remove extraneous copy-and-paste
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
model: add seq-cst fence rules
commit
|
commitdiff
|
tree
|
snapshot
2012-12-04
Brian Norris
action/model: backtrack for seq-cst and release/acquire...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Brian Norris
action: allow fence ModelActions to have location ...
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Brian Norris
model: refactor build_reads_from_past
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Brian Norris
model: add get_last_seq_cst_fence
commit
|
commitdiff
|
tree
|
snapshot
2012-12-03
Brian Norris
model: rename last_seq_cst -> last_sc_write
commit
|
commitdiff
|
tree
|
snapshot
2012-12-01
Brian Norris
model: rename get_last_seq_cst -> get_last_seq_cst_write
commit
|
commitdiff
|
tree
|
snapshot
2012-11-30
Brian Norris
impatomic: add atomic_{thread,signal}_fence() definitions
commit
|
commitdiff
|
tree
|
snapshot
2012-11-30
Brian Norris
impatomic: remove fence member functions
commit
|
commitdiff
|
tree
|
snapshot
2012-11-30
Brian Norris
Makefile: fix dependency generation
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: remove <list> include
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: add const
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
schedule: rename get_enabled() -> get_enabled_array()
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: rename isfinalfeasible -> is_feasible_prefix_ign...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: replace isfinalfeasible() with stronger check
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: privatize, move isfinalfeasible()
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: rename some 'isfeasible...' functions to 'is_inf...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: privatize some functions
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
main: remove #include's
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
main: remove "pass-by-reference" editing in parse_options()
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
threads: remove todo (long overdue)
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
main/model: move full user-program execution to ModelCh...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model/main: add argc/argv parameter
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: move flags to private 'model_snapshot_members'
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: add model_snapshot_members constructor/destructor
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
model: privatize set_assert()
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
run.sh: rewrite script to handle options more gracefully
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Brian Norris
output: don't redirect any output for DEBUG builds
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Brian Norris
README: add verbose (-v) argument
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Brian Norris
model: optimize get_last_conflict() search
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Brian Norris
action: add is_relaxed() function
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
common: update comment
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
model: add "# redundant" stat
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
model: refactor end-of-execution output
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
model: print_summary() should be const
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
model/main: disable most printing by default, add verbosity
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
output redirection
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
model: print execution # with trace
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Brian Norris
print stats only at end of execution
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Brian Norris
printf -> model_print
commit
|
commitdiff
|
tree
|
snapshot
next