| 2012-08-16 |
Brian Norris | main, model: don't 'initialize' system_context |
commit | commitdiff | tree | snapshot |
| 2012-08-16 |
Brian Norris | action: don't merge twice in read_from() |
commit | commitdiff | tree | snapshot |
| 2012-08-16 |
Brian Norris | action: rework/rename 'synchronized()' to 'synchronize_... |
commit | commitdiff | tree | snapshot |
| 2012-08-16 |
Brian Norris | model: remove useless return code from add_thread() |
commit | commitdiff | tree | snapshot |
| 2012-08-16 |
Brian Norris | schedule, threads: update comments, const's |
commit | commitdiff | tree | snapshot |
| 2012-08-16 |
Brian Norris | model: make scheduler private |
commit | commitdiff | tree | snapshot |
| 2012-08-16 |
Brian Norris | main, model: move main execution loop into ModelChecker... |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | model: reformat/refactor some code |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | impatomic.h: fixup spacing |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | threads: trivial change |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | model: revert unnecessary parameter for print_summary() |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | add basic parameter handling |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | common: add error_msg() function |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | run.sh: pass command-line arguments through to test... |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | .gitignore: ignore other vim swap file type |
commit | commitdiff | tree | snapshot |
| 2012-08-11 |
Brian Norris | model: reformat some code |
commit | commitdiff | tree | snapshot |
| 2012-08-08 |
Brian Norris | main, threads: improve comments regarding thread stepping |
commit | commitdiff | tree | snapshot |
| 2012-08-04 |
Brian Demsky | add a todo flag to a comment so it won't get lost.... |
commit | commitdiff | tree | snapshot |
| 2012-08-03 |
Brian Norris | Makefile: fix config.h dependencies |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | Merge branch 'brian' |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | DEBUGGINGNOTES: include gdb info for Linux |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | bug fix |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | run.sh: fixup run script |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | Makefile: wire up test/ directory for compilation |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | Makefile: split part into a common makefile (common.mk) |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | userprog: move to 'test/' directory |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | Makefile: don't build userprog.c from top level |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | blank lines, spacing, etc. |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | nodestack: remove completed @todo |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | nodestack: clean up comments |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | model: do not call isfinalfeasible() too many times |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | hashtable: add some documentation |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | model: delete Threads on destruction |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | more reformatting/indentation |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | forgot about events that happen after an unresolved... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | fixup whitespace |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | action: add memory_order printing |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | change test case to match nice one from spec... it... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | bugs... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | add some comments |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | standardize names a little |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | okay...known bugs for my trivial test are out of send... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | finish promise support |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | more changes towards keeping track of promises resolved... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | changes |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | some changes towards reading from future writes |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | move more configurables and add documentation |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | more hashtable fixes |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | fix some allocation/free bugs when we put non objects... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | fix my todo comments so they appear in documentation |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | switch everything over to our own hashtable |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | hashtable: make more flexible |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | Add documentation |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | action: fix ATOMIC_RMW comments |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | rmw example works |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | towards making rmw work... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | action: add stub ATOMIC_RMWR and ATOMIC_RMWC |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | trivial - whitespace, debugging cleanup, etc. |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | remove libatomic |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | action: switch from "libatomic" to C++-spec "memory_ord... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | pull in most of atomic header file |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | don't forget this file |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | split these defs out of other stuff |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | switch rest over to model checker... might work now |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | fix missing atomic... |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | rewrite macros |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | import header file from specification |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | update TODO's |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | Add RMW support to core. |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Norris | model: add documentation |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | small changes (things still work) towards support RMW |
commit | commitdiff | tree | snapshot |
| 2012-08-02 |
Brian Demsky | trying to get fork based snapshotting to work |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Demsky | toss a place for useful information |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Norris | model: refactor "infeasible" printing |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Demsky | print less stuff |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Demsky | model: add support for modification orders |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Norris | cyclegraph: bugfix - graph reachability was reversed |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Norris | cyclegraph: add destructor, use 'const' appropriately |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Norris | nodestack: document pop_restofstack() |
commit | commitdiff | tree | snapshot |
| 2012-07-31 |
Brian Demsky | Add basic reads from support |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Demsky | Make stack popping explicit. |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Norris | nodestack: re-insert falsely-declared "dead code" |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Norris | config: automatically determine BIT48 |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Demsky | Merge branch 'master' of ssh://demsky.eecs.uci.edu... |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Demsky | remove dead code... loop entrance condition is i<backt... |
commit | commitdiff | tree | snapshot |
| 2012-07-17 |
Brian Norris | action: fix uint64_t printf warning |
commit | commitdiff | tree | snapshot |
| 2012-07-16 |
Brian Demsky | no need to store into the object field... this will... |
commit | commitdiff | tree | snapshot |
| 2012-07-16 |
Brian Demsky | really should be using a type that is big enough for... |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Demsky | the initialized logic appears to be wrong... release... |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | datarace: fixup, properly document BIT48 |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: remove unused #include |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | libthreads: thrd_join() always return 0 |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: add documentation |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: fixup "initialized" check in build_reads_from_past() |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: only include the most recent seq_cst write in... |
commit | commitdiff | tree | snapshot |
| 2012-07-13 |
Brian Norris | model: add ModelChecker::get_last_seq_cst() |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: improve ModelChecker::get_last_conflict() search |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: add per-object action lists (obj_map) |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | reformat some doxygen comments, remove newlines |
commit | commitdiff | tree | snapshot |
| 2012-07-12 |
Brian Norris | model: rearrange switch block, handle RMW |
commit | commitdiff | tree | snapshot |
| next |
projects / c11tester.git / shortlog