| 2012-08-16 |
Brian Norris | main, model: move main execution loop into ModelChecker...
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | model: reformat/refactor some code
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | impatomic.h: fixup spacing
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | threads: trivial change
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | model: revert unnecessary parameter for print_summary()
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | add basic parameter handling
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | common: add error_msg() function
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | run.sh: pass command-line arguments through to test...
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | .gitignore: ignore other vim swap file type
|
commit | commitdiff | tree |
| 2012-08-11 |
Brian Norris | model: reformat some code
|
commit | commitdiff | tree |
| 2012-08-08 |
Brian Norris | main, threads: improve comments regarding thread stepping
|
commit | commitdiff | tree |
| 2012-08-03 |
Brian Norris | Makefile: fix config.h dependencies
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Merge branch 'brian'
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | DEBUGGINGNOTES: include gdb info for Linux
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | bug fix
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | run.sh: fixup run script
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Makefile: wire up test/ directory for compilation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Makefile: split part into a common makefile (common.mk)
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | userprog: move to 'test/' directory
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | Makefile: don't build userprog.c from top level
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | blank lines, spacing, etc.
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | nodestack: remove completed @todo
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | nodestack: clean up comments
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | model: do not call isfinalfeasible() too many times
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | hashtable: add some documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | model: delete Threads on destruction
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | more reformatting/indentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | forgot about events that happen after an unresolved...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | fixup whitespace
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | action: add memory_order printing
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | change test case to match nice one from spec... it...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | bugs...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | add some comments
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | standardize names a little
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | okay...known bugs for my trivial test are out of send...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | finish promise support
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | more changes towards keeping track of promises resolved...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | changes
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | some changes towards reading from future writes
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | move more configurables and add documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | more hashtable fixes
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | fix some allocation/free bugs when we put non objects...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | fix my todo comments so they appear in documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | switch everything over to our own hashtable
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | hashtable: make more flexible
[Split by Brian Norris]
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | Add documentation
[Split by Brian Norris]
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | action: fix ATOMIC_RMW comments
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | rmw example works
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | towards making rmw work...
[Split by Brian Norris]
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | action: add stub ATOMIC_RMWR and ATOMIC_RMWC
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | trivial - whitespace, debugging cleanup, etc.
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | remove libatomic
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | action: switch from "libatomic" to C++-spec "memory_order_...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | pull in most of atomic header file
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | don't forget this file
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | split these defs out of other stuff
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | switch rest over to model checker... might work now
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | fix missing atomic...
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | rewrite macros
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | import header file from specification
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | update TODO's
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | Add RMW support to core.
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Norris | model: add documentation
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | small changes (things still work) towards support RMW
[Amended by Brian Norris]
|
commit | commitdiff | tree |
| 2012-08-02 |
Brian Demsky | trying to get fork based snapshotting to work
[Amended by Brian Norris,
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | toss a place for useful information
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | model: refactor "infeasible" printing
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | print less stuff
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | model: add support for modification orders
[Updated, split by Brian Norris]
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | cyclegraph: bugfix - graph reachability was reversed
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | cyclegraph: add destructor, use 'const' appropriately
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Norris | nodestack: document pop_restofstack()
|
commit | commitdiff | tree |
| 2012-07-31 |
Brian Demsky | Add basic reads from support
|
commit | commitdiff | tree |
| 2012-07-17 |
Brian Norris | nodestack: re-insert falsely-declared "dead code"
|
commit | commitdiff | tree |
| 2012-07-17 |
Brian Norris | config: automatically determine BIT48
|
commit | commitdiff | tree |
| 2012-07-17 |
Brian Norris | action: fix uint64_t printf warning
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | datarace: fixup, properly document BIT48
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: remove unused #include
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | libthreads: thrd_join() always return 0
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: add documentation
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: fixup "initialized" check in build_reads_from_past()
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: only include the most recent seq_cst write in...
|
commit | commitdiff | tree |
| 2012-07-13 |
Brian Norris | model: add ModelChecker::get_last_seq_cst()
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: improve ModelChecker::get_last_conflict() search
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: add per-object action lists (obj_map)
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | reformat some doxygen comments, remove newlines
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: rearrange switch block, handle RMW
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | Merge branch 'master' into brian
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: bugfix - resize thrd_last_action when adding...
|
commit | commitdiff | tree |
| 2012-07-12 |
Brian Norris | model: factor out 'tid' calculation
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | main: make function static
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | action / threads: add THREAD_START action at start...
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | threads: use constructor initializer list
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | action: add 'reads_from' member variable
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | action: remove unused ModelAction::set_value()
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | model: release/acquire synchronization
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | clockvector: add 'const', fix comments in ClockVector...
|
commit | commitdiff | tree |
| 2012-07-11 |
Brian Norris | remove EOL spaces, fix indentation
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | Merge branch 'datarace'
|
commit | commitdiff | tree |
| 2012-07-07 |
Brian Norris | datarace: fix build error
|
commit | commitdiff | tree |
| next |
projects / model-checker.git / search