| 2012-05-25 |
Brian Norris | add more classes to snapshotting region |
commit | commitdiff | tree | snapshot |
| 2012-05-25 |
Brian Norris | mymemory: use the right *&^% allocator!! |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Norris | snapshot: fix EOL spaces |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Demsky | wow, this is a nasty bug... |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Demsky | fix one segfault bug...something is still strange,... |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Demsky | factor page alignment into function call...place near... |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Demsky | fix page alignment issue... |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Norris | snapshot: use perror() on failed library calls |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Norris | mymemory: define the "opposite" of MEMALLOC |
commit | commitdiff | tree | snapshot |
| 2012-05-24 |
Brian Norris | mymemory: include some spacing |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | fixup EOL whitespace |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | snapshot: use 'SSDEBUG', not 'DEBUG' |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | model: remove incorrect #undef |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | userprog: use modulo |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | libthreads: fix thrd_create() to use typedef'd start_ro... |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | fix indentation + spacing, esp. for MEMALLOC macro |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | mymemory: fix indentation, spacing |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | nodestack: allocate from "mymemory" region |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | Merge commit: branch 'work' |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | snapshot: remove references to libmymemory.so |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | snapshot: move local defines after #includes |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | main: clear out redundant comments |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | common: disable debugging |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | run.sh: provide gdb option |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | Makefile: only build a single shared library |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | Makefile: clean up Makefile |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | Makfile: remove MEMCPPFLAGS, more uniform command format |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Demsky | remove lines from other files |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Demsky | Found new way to fix emacs issue.. There are directory... |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Demsky | fix various problems with my 64-bit clean hack |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Demsky | fix code to be 64 bit clean |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Demsky | switch back to norris style spacing in changed files |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | main: what are these variables for? (subramanian...) |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | run.sh: don't touch my run script subramanian |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | Makfile: fix linking error + remove EOL whitespace |
commit | commitdiff | tree | snapshot |
| 2012-05-21 |
Brian Norris | .gitignore: fixup bad merge step |
commit | commitdiff | tree | snapshot |
| 2012-05-19 |
Brian Demsky | remove unused #define |
commit | commitdiff | tree | snapshot |
| 2012-05-19 |
Brian Demsky | my changes |
commit | commitdiff | tree | snapshot |
| 2012-05-19 |
Brian Demsky | let us set the size of the heap in a sane way |
commit | commitdiff | tree | snapshot |
| 2012-05-19 |
Brian Demsky | setup main wrapper and then call into norris code |
commit | commitdiff | tree | snapshot |
| 2012-05-19 |
Brian Demsky | get rid of redundant mallocs |
commit | commitdiff | tree | snapshot |
| 2012-05-18 |
Brian Demsky | transfer stuff |
commit | commitdiff | tree | snapshot |
| 2012-05-18 |
Brian Demsky | makefile |
commit | commitdiff | tree | snapshot |
| 2012-05-18 |
Brian Demsky | At least everything compiles now... Subramanian's... |
commit | commitdiff | tree | snapshot |
| 2012-05-18 |
Brian Demsky | merging stuff...made need to clean up some stuff..... |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Demsky | fix this stuff... |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | action: neuter the "same_var" function for now... |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | model: remove free_action_list() function |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | model: remove class Backtrack |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | tree: kill class TreeNode |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | model: replace TreeNode with NodeStack |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | userprog: tweak test program to use simple loads/stores |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | libatomic: place the proper read-value in 'atomic_load... |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Demsky | don't check in useless files |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Brian Norris | librace: actually compute the loads and stores |
commit | commitdiff | tree | snapshot |
| 2012-05-15 |
Subramanian... | Defining the interfaces to add various regions to snapshot |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | action: add get_node() accessor |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | nodestack: remove unnecessary conditional |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | model: merge advance_backtracking_state() and get_next_... |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | model: rename check_current_action() local variables |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | action: add comparison operator for ModelAction |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | nodestack: add class NodeStack and class Node |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | .gitignore: add *~ files |
commit | commitdiff | tree | snapshot |
| 2012-05-14 |
Brian Norris | model: change constructor assignments to initializer... |
commit | commitdiff | tree | snapshot |
| 2012-05-10 |
Subramanian... | Initializing variable which contains global snapshottin... |
commit | commitdiff | tree | snapshot |
| 2012-05-10 |
Subramanian... | Adding support to return global segments of the process... |
commit | commitdiff | tree | snapshot |
| 2012-05-09 |
Subramanian... | Adding STL stuff and operator news of snapshot to model... |
commit | commitdiff | tree | snapshot |
| 2012-05-09 |
Brian Norris | action: rename 'node' members to 'treenode' |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | model: remove unnecessary "this->" |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | main/threads: remove excess headers |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | clockvector: add ClockVector class |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | action: split ModelAction off into action.cc |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | model: free final list |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | model: free threads, thread_map at destruction |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | tree: include cstddef for NULL |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | model: change DEBUG() statement to ASSERT() |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | bugfix - set backtrack events according to an *enabled... |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | tree: add is_enabled(Thread *) |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | tree: revise arguments (use Thread, ModelAction) |
commit | commitdiff | tree | snapshot |
| 2012-05-08 |
Brian Norris | main: split main() (and related functions) into main.cc |
commit | commitdiff | tree | snapshot |
| 2012-05-04 |
Brian Norris | schedule: fix printf warning (size_t uses %zu) |
commit | commitdiff | tree | snapshot |
| 2012-05-03 |
Brian Norris | threads: add parent info + get_parent() method |
commit | commitdiff | tree | snapshot |
| 2012-05-03 |
Brian Norris | model: bugfix - rearrange debug message |
commit | commitdiff | tree | snapshot |
| 2012-05-03 |
Brian Norris | model: move class Backtrack to model.cc |
commit | commitdiff | tree | snapshot |
| 2012-05-03 |
Brian Norris | straighten out header includes, comment on Forward... |
commit | commitdiff | tree | snapshot |
| 2012-05-03 |
Brian Norris | replace non-fatal error messages with ASSERT()'s |
commit | commitdiff | tree | snapshot |
| 2012-05-03 |
Brian Norris | model: print replay/divergence information when startin... |
commit | commitdiff | tree | snapshot |
| 2012-05-03 |
Brian Norris | model: split printing into print_list() function |
commit | commitdiff | tree | snapshot |
| 2012-05-02 |
Brian Norris | threads: don't call the userprogram interface for initi... |
commit | commitdiff | tree | snapshot |
| 2012-05-02 |
Brian Norris | common: add ASSERT() |
commit | commitdiff | tree | snapshot |
| 2012-05-02 |
Brian Norris | model: number threads from 0, not 1 |
commit | commitdiff | tree | snapshot |
| 2012-05-02 |
Brian Norris | userprog: print current thread ID |
commit | commitdiff | tree | snapshot |
| 2012-05-02 |
Brian Norris | model: add sequence numbers to ModelAction |
commit | commitdiff | tree | snapshot |
| 2012-05-02 |
Brian Norris | model: fixup ModelAction print message |
commit | commitdiff | tree | snapshot |
| 2012-05-01 |
Brian Norris | threads: move thread_id_t definition and redefine thrd_... |
commit | commitdiff | tree | snapshot |
| 2012-05-01 |
Brian Norris | model: index thread_map by int, not thread_id_t |
commit | commitdiff | tree | snapshot |
| 2012-05-01 |
Brian Norris | model: change type for ModelChecker::get_id() |
commit | commitdiff | tree | snapshot |
| 2012-05-01 |
Brian Norris | tree: remove tree_t, map thread ids via int, not thread... |
commit | commitdiff | tree | snapshot |
| 2012-05-01 |
Brian Norris | threads: add id_to_int() and int_to_id() inline functions |
commit | commitdiff | tree | snapshot |
| 2012-04-30 |
Brian Norris | model: remove braces |
commit | commitdiff | tree | snapshot |
| next |
projects / model-checker.git / shortlog