| 2012-06-04 |
Brian Demsky | hack some stuff towards running on mac... unrelated... |
commit | commitdiff | tree | snapshot |
| 2012-05-31 |
Brian Norris | snapshot: remove duplicate definition of finalize() |
commit | commitdiff | tree | snapshot |
| 2012-05-31 |
Brian Norris | use EXIT_SUCCESS and EXIT_FAILURE |
commit | commitdiff | tree | snapshot |
| 2012-05-31 |
Brian Norris | userprog: use atomics allocated on "heap" |
commit | commitdiff | tree | snapshot |
| 2012-05-31 |
Subramanian... | Adding fixes for the fork based implementation, also... |
commit | commitdiff | tree | snapshot |
| 2012-05-30 |
Brian Demsky | check in message |
commit | commitdiff | tree | snapshot |
| 2012-05-30 |
Brian Norris | snapshot-interface: replace Subramanian's /proc/*/maps... |
commit | commitdiff | tree | snapshot |
| 2012-05-30 |
Brian Demsky | fix bug...this is another evil one... |
commit | commitdiff | tree | snapshot |
| 2012-05-30 |
Brian Norris | node: do not use static member variable |
commit | commitdiff | tree | snapshot |
| 2012-05-30 |
Brian Norris | snapshot: move declarations to the right interface... |
commit | commitdiff | tree | snapshot |
| 2012-05-30 |
Brian Norris | snapshot: rename MyFuncPtr to VoidFuncPtr |
commit | commitdiff | tree | snapshot |
| 2012-05-30 |
Brian Norris | snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT |
commit | commitdiff | tree | snapshot |
| 2012-05-29 |
Brian Norris | snapshot-interface: don't redefine PAGESIZE |
commit | commitdiff | tree | snapshot |
| 2012-05-29 |
Brian Norris | snapshot-interface: bugfix - fixup array indeces |
commit | commitdiff | tree | snapshot |
| 2012-05-29 |
Brian Norris | nodestack: push 'create_cv' functionality responsibilit... |
commit | commitdiff | tree | snapshot |
| 2012-05-29 |
Brian Norris | model: thread creation establishes synchronization |
commit | commitdiff | tree | snapshot |
| 2012-05-29 |
Brian Norris | threads: add 'creation' information |
commit | commitdiff | tree | snapshot |
| 2012-05-29 |
Brian Norris | libthreads: pass 'class Thread' object as ModelAction... |
commit | commitdiff | tree | snapshot |
| 2012-05-28 |
Brian Norris | model: move bookkeeping to add_action_to_lists() |
commit | commitdiff | tree | snapshot |
| 2012-05-28 |
Brian Norris | model: set 'last action in thread' as an action's parent |
commit | commitdiff | tree | snapshot |
| 2012-05-28 |
Brian Norris | model: log the last action in each thread |
commit | commitdiff | tree | snapshot |
| 2012-05-28 |
Brian Norris | nodestack: compute parent ModelAction externally |
commit | commitdiff | tree | snapshot |
| 2012-05-28 |
Brian Norris | clockvector: fixup initialization |
commit | commitdiff | tree | snapshot |
| 2012-05-28 |
Brian Norris | nodestack: construct Node with 'number of threads'... |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | model: add obj_thrd_map |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | Makefile: add 'make debug' |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | action: enhance print() message |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | nodestack: create ModelAction clock vectors |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | action: add create_cv() and read_from() |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | clockvector: bugfix - fixup vector initialization,... |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | model: add get_num_threads() |
commit | commitdiff | tree | snapshot |
| 2012-05-26 |
Brian Norris | clockvector: fixup print message |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / c11tester.git / shortlog