| 2012-05-26 |
Brian Norris | clockvector: add print() method |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | action: add clock vector field, destructor |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | action: use proper location comparison |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | clockvector: add snapshotting new/delete operators |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | rename snapshotStack -> SnapshotStack |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | snapshot: remove #include, use snapshot_id typedef |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | snapshot-interface: cleanup interface header |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | model: remove scheduler comment |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | model: don't clear thread_map (snapshot) |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | model: don't reset action_trace manually |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | main: take/revert snapshots |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | model: make thread_map heap allocated |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | action: add all action_lists to snapshot... |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | common: remove unneeded macros/includes |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | threads: fixup stack allocation (snapshotting...) |
commit | commitdiff | tree | snapshot |
| 2012-05-25 |
Brian Norris | snapshot: remove time information |
commit | commitdiff | tree | snapshot |
| 2012-05-25 |
Brian Norris | snapshot: fix indentation |
commit | commitdiff | tree | snapshot |
| 2012-05-25 |
Brian Norris | snapshot: use %p for printing pointers |
commit | commitdiff | tree | snapshot |
| 2012-05-25 |
Brian Norris | more allocation fixes (use snapshotting) |
commit | commitdiff | tree | snapshot |
| 2012-05-25 |
Brian Norris | nodestack: bugfix - fixup allocators for vectors |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / c11tester.git / shortlog