projects / c11tester.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
c11tester.git
2012-05-26 Brian NorrisMakefile: add 'make debug' commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisaction: enhance print() message commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisnodestack: create ModelAction clock vectors commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisaction: add create_cv() and read_from() commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisclockvector: bugfix - fixup vector initialization,... commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrismodel: add get_num_threads() commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisclockvector: fixup print message commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisclockvector: add print() method commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisaction: add clock vector field, destructor commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisaction: use proper location comparison commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisclockvector: add snapshotting new/delete operators commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisrename snapshotStack -> SnapshotStack commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrissnapshot: remove #include, use snapshot_id typedef commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrissnapshot-interface: cleanup interface header commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrismodel: remove scheduler comment commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrismodel: don't clear thread_map (snapshot) commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrismodel: don't reset action_trace manually commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrismain: take/revert snapshots commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrismodel: make thread_map heap allocated commit | commitdiff | tree | snapshot
2012-05-26 Brian Norrisaction: add all action_lists to snapshot... commit | commitdiff | tree | snapshot
2012-05-26 Brian Norriscommon: remove unneeded macros/includes commit | commitdiff | tree | snapshot
2012-05-26 Brian Norristhreads: fixup stack allocation (snapshotting...) commit | commitdiff | tree | snapshot
2012-05-25 Brian Norrissnapshot: remove time information commit | commitdiff | tree | snapshot
2012-05-25 Brian Norrissnapshot: fix indentation commit | commitdiff | tree | snapshot
2012-05-25 Brian Norrissnapshot: use %p for printing pointers commit | commitdiff | tree | snapshot
2012-05-25 Brian Norrismore allocation fixes (use snapshotting) commit | commitdiff | tree | snapshot
2012-05-25 Brian Norrisnodestack: bugfix - fixup allocators for vectors commit | commitdiff | tree | snapshot
2012-05-25 Brian Norrisadd more classes to snapshotting region commit | commitdiff | tree | snapshot
2012-05-25 Brian Norrismymemory: use the right *&^% allocator!! commit | commitdiff | tree | snapshot
2012-05-24 Brian Norrissnapshot: fix EOL spaces commit | commitdiff | tree | snapshot
2012-05-24 Brian Demskywow, this is a nasty bug... commit | commitdiff | tree | snapshot
2012-05-24 Brian Demskyfix one segfault bug...something is still strange,... commit | commitdiff | tree | snapshot
2012-05-24 Brian Demskyfactor page alignment into function call...place near... commit | commitdiff | tree | snapshot
2012-05-24 Brian Demskyfix page alignment issue... commit | commitdiff | tree | snapshot
2012-05-24 Brian Norrissnapshot: use perror() on failed library calls commit | commitdiff | tree | snapshot
2012-05-24 Brian Norrismymemory: define the "opposite" of MEMALLOC commit | commitdiff | tree | snapshot
2012-05-24 Brian Norrismymemory: include some spacing commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrisfixup EOL whitespace commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrissnapshot: use 'SSDEBUG', not 'DEBUG' commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrismodel: remove incorrect #undef commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrisuserprog: use modulo commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrislibthreads: fix thrd_create() to use typedef'd start_ro... commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrisfix indentation + spacing, esp. for MEMALLOC macro commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrismymemory: fix indentation, spacing commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrisnodestack: allocate from "mymemory" region commit | commitdiff | tree | snapshot
2012-05-21 Brian NorrisMerge commit: branch 'work' commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrissnapshot: remove references to libmymemory.so commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrissnapshot: move local defines after #includes commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrismain: clear out redundant comments commit | commitdiff | tree | snapshot
2012-05-21 Brian Norriscommon: disable debugging commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrisrun.sh: provide gdb option commit | commitdiff | tree | snapshot
2012-05-21 Brian NorrisMakefile: only build a single shared library commit | commitdiff | tree | snapshot
2012-05-21 Brian NorrisMakefile: clean up Makefile commit | commitdiff | tree | snapshot
2012-05-21 Brian NorrisMakfile: remove MEMCPPFLAGS, more uniform command format commit | commitdiff | tree | snapshot
2012-05-21 Brian Demskyremove lines from other files commit | commitdiff | tree | snapshot
2012-05-21 Brian DemskyFound new way to fix emacs issue.. There are directory... commit | commitdiff | tree | snapshot
2012-05-21 Brian Demskyfix various problems with my 64-bit clean hack commit | commitdiff | tree | snapshot
2012-05-21 Brian Demskyfix code to be 64 bit clean commit | commitdiff | tree | snapshot
2012-05-21 Brian Demskyswitch back to norris style spacing in changed files commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrismain: what are these variables for? (subramanian...) commit | commitdiff | tree | snapshot
2012-05-21 Brian Norrisrun.sh: don't touch my run script subramanian commit | commitdiff | tree | snapshot
2012-05-21 Brian NorrisMakfile: 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 Demskyremove unused #define commit | commitdiff | tree | snapshot
2012-05-19 Brian Demskymy changes commit | commitdiff | tree | snapshot
2012-05-19 Brian Demskylet us set the size of the heap in a sane way commit | commitdiff | tree | snapshot
2012-05-19 Brian Demskysetup main wrapper and then call into norris code commit | commitdiff | tree | snapshot
2012-05-19 Brian Demskyget rid of redundant mallocs commit | commitdiff | tree | snapshot
2012-05-18 Brian Demskytransfer stuff commit | commitdiff | tree | snapshot
2012-05-18 Brian Demskymakefile commit | commitdiff | tree | snapshot
2012-05-18 Brian DemskyAt least everything compiles now... Subramanian's... commit | commitdiff | tree | snapshot
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff..... commit | commitdiff | tree | snapshot
2012-05-15 Brian Demskyfix this stuff... commit | commitdiff | tree | snapshot
2012-05-15 Brian Norrisaction: neuter the "same_var" function for now... commit | commitdiff | tree | snapshot
2012-05-15 Brian Norrismodel: remove free_action_list() function commit | commitdiff | tree | snapshot
2012-05-15 Brian Norrismodel: remove class Backtrack commit | commitdiff | tree | snapshot
2012-05-15 Brian Norristree: kill class TreeNode commit | commitdiff | tree | snapshot
2012-05-15 Brian Norrismodel: replace TreeNode with NodeStack commit | commitdiff | tree | snapshot
2012-05-15 Brian Norrisuserprog: tweak test program to use simple loads/stores commit | commitdiff | tree | snapshot
2012-05-15 Brian Norrislibatomic: place the proper read-value in 'atomic_load... commit | commitdiff | tree | snapshot
2012-05-15 Brian Demskydon't check in useless files commit | commitdiff | tree | snapshot
2012-05-15 Brian Norrislibrace: 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 Norrisaction: add get_node() accessor commit | commitdiff | tree | snapshot
2012-05-14 Brian Norrisnodestack: remove unnecessary conditional commit | commitdiff | tree | snapshot
2012-05-14 Brian Norrismodel: merge advance_backtracking_state() and get_next_... commit | commitdiff | tree | snapshot
2012-05-14 Brian Norrismodel: rename check_current_action() local variables commit | commitdiff | tree | snapshot
2012-05-14 Brian Norrisaction: add comparison operator for ModelAction commit | commitdiff | tree | snapshot
2012-05-14 Brian Norrisnodestack: 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 Norrismodel: 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 Norrisaction: rename 'node' members to 'treenode' commit | commitdiff | tree | snapshot
2012-05-08 Brian Norrismodel: remove unnecessary "this->" commit | commitdiff | tree | snapshot
2012-05-08 Brian Norrismain/threads: remove excess headers commit | commitdiff | tree | snapshot
2012-05-08 Brian Norrisclockvector: add ClockVector class commit | commitdiff | tree | snapshot
2012-05-08 Brian Norrisaction: split ModelAction off into action.cc commit | commitdiff | tree | snapshot
2012-05-08 Brian Norrismodel: free final list commit | commitdiff | tree | snapshot
next
C11 Tester Tool Public Repository