| 2012-06-14 |
Brian Norris | snapshot: remove unused 'uc_link' context |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshotimp: reindent file |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: don't put entire if (...) on one line |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: define macros with type size_t |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: use (void *) instead of (char *) |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: rearrange #if a little |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: remove extra blank lines |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: make other file-scope functions static |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: don't export page-aligning functions |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | rename struct Snapshot_t => struct Snapshot |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: don't declare sTheRecord in both #if and... |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: remove 'extern "C"' block |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot-interface: don't export SnapshotGlobalSegments() |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: replace DumpIntoLog() with lighter-weight... |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Brian Norris | snapshot: move comments to the right place |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Subramanian... | Removing comment asking to fix fork(), has been fixed now |
commit | commitdiff | tree | snapshot |
| 2012-06-14 |
Subramanian... | fixing calloc(), fix Makefile |
commit | commitdiff | tree | snapshot |
| 2012-06-07 |
Brian Norris | libatomic: perform write before context switch |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Norris | .gitignore: ignore docs directory |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Norris | action: fix some comments |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Norris | Makefile: have `mrclean' depend on `clean' |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Demsky | more comments |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Demsky | more doc changes |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Demsky | more documentation |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Demsky | 1) Add more comments. |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Demsky | more documentation |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Demsky | more docs |
commit | commitdiff | tree | snapshot |
| 2012-06-06 |
Brian Demsky | add support for docs |
commit | commitdiff | tree | snapshot |
| 2012-06-05 |
Brian Norris | snapshot: zero out entire siginfo_t |
commit | commitdiff | tree | snapshot |
| 2012-06-04 |
Brian Demsky | Changes needed to run on OS X... Example runs on my... |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / c11tester.git / shortlog