projects / cdsspec-compiler.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cdsspec-compiler.git
2012-05-03 Brian Norrismodel: bugfix - rearrange debug message commit | commitdiff | tree | snapshot
2012-05-03 Brian Norrismodel: move class Backtrack to model.cc commit | commitdiff | tree | snapshot
2012-05-03 Brian Norrisstraighten out header includes, comment on Forward... commit | commitdiff | tree | snapshot
2012-05-03 Brian Norrisreplace non-fatal error messages with ASSERT()'s commit | commitdiff | tree | snapshot
2012-05-03 Brian Norrismodel: print replay/divergence information when startin... commit | commitdiff | tree | snapshot
2012-05-03 Brian Norrismodel: split printing into print_list() function commit | commitdiff | tree | snapshot
2012-05-02 Brian Norristhreads: don't call the userprogram interface for initi... commit | commitdiff | tree | snapshot
2012-05-02 Brian Norriscommon: add ASSERT() commit | commitdiff | tree | snapshot
2012-05-02 Brian Norrismodel: number threads from 0, not 1 commit | commitdiff | tree | snapshot
2012-05-02 Brian Norrisuserprog: print current thread ID commit | commitdiff | tree | snapshot
2012-05-02 Brian Norrismodel: add sequence numbers to ModelAction commit | commitdiff | tree | snapshot
2012-05-02 Brian Norrismodel: fixup ModelAction print message commit | commitdiff | tree | snapshot
2012-05-01 Brian Norristhreads: move thread_id_t definition and redefine thrd_... commit | commitdiff | tree | snapshot
2012-05-01 Brian Norrismodel: index thread_map by int, not thread_id_t commit | commitdiff | tree | snapshot
2012-05-01 Brian Norrismodel: change type for ModelChecker::get_id() commit | commitdiff | tree | snapshot
2012-05-01 Brian Norristree: remove tree_t, map thread ids via int, not thread... commit | commitdiff | tree | snapshot
2012-05-01 Brian Norristhreads: add id_to_int() and int_to_id() inline functions commit | commitdiff | tree | snapshot
2012-04-30 Brian Norrismodel: remove braces commit | commitdiff | tree | snapshot
2012-04-30 Brian Norrisclean up header #includes commit | commitdiff | tree | snapshot
2012-04-30 Brian Norrissplit header out to action.h commit | commitdiff | tree | snapshot
2012-04-30 Brian Norristree: fix header for potential multiple inclusions commit | commitdiff | tree | snapshot
2012-04-29 Brian Norrismodel: add is_acquire() and is_release() helper functions commit | commitdiff | tree | snapshot
2012-04-29 Brian Norrismodel: wrap some ModelAction helper functions commit | commitdiff | tree | snapshot
2012-04-27 Brian Norrismalloc: add exception info to function header commit | commitdiff | tree | snapshot
2012-04-27 Brian Norrismodel: backtracking messages are only for debugging commit | commitdiff | tree | snapshot
2012-04-27 Brian Norriscommon: add simple DBG_ENABLED() macros commit | commitdiff | tree | snapshot
2012-04-27 Brian Norristhread: remove dead Thread code commit | commitdiff | tree | snapshot
2012-04-27 Brian Norrismodel: fixup thread ID selection commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrisdemote 'system_thread' to just 'system_context' commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrislibatomic: add atomic_init() commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrisuserprog: print atomic load/store values commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrislibatomic: use 'values' for atomic load/store commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrismodel: bugfix - detect conflicts properly commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrislibatomic: add DBG() calls commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrismodel: bugfix - reset the "current_action" after it... commit | commitdiff | tree | snapshot
2012-04-26 Brian Norrislibrace: format DEBUG() prints properly commit | commitdiff | tree | snapshot
2012-04-25 Brian Norrislibrace: add load/store interface for checking data... commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrismodel: remove unused definition commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristhreads: allocate Threads in via userMalloc() commit | commitdiff | tree | snapshot
2012-04-24 Brian Norriscommon: introduce userMalloc() and userFree() commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrislibthreads: remove unnecessary 'extern' commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrisrun.sh: add simple 'run' script commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrisuserprog: use typedef'd thrd_start_t commit | commitdiff | tree | snapshot
2012-04-24 Brian Norris.gitignore: add *.so commit | commitdiff | tree | snapshot
2012-04-24 Brian NorrisMakefile: build model checker as shared library (libmod... commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrislib*.h: wrap C headers in `extern "C"' commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrislibthreads: don't create ModelAction for thrd_join() commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrismodel: rename print_trace() -> print_summary(), fixup... commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrisschedule: only print when DEBUG is enabled commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristmp (model) commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristhreads: cleanup inconsistencies in memory management commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristhreads: set up Thread to be freed properly commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrisschedule: reset scheduler when thread is removed commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristhreads: don't make direct call into scheduler commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristhreads: save id within class Thread commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristhreads: initialized Thread member variables commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrisunify style for returning pointers commit | commitdiff | tree | snapshot
2012-04-24 Brian Norrismodel: print 'number of executions' commit | commitdiff | tree | snapshot
2012-04-24 Brian Norristhreads: prepare system to loop over many executions commit | commitdiff | tree | snapshot
2012-04-23 Brian Norrisimprove scheduler debugging commit | commitdiff | tree | snapshot
2012-04-23 Brian Norrisschedule: bugfix - set 'current' thread in all cases commit | commitdiff | tree | snapshot
2012-04-23 Brian Norrisschedule: refactor next_thread() for better debug printing commit | commitdiff | tree | snapshot
2012-04-23 Brian Norrisschedule: print debug info commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: add simple comment commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: move public functions to private commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: implement get_next_replay() and advance_backtrac... commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: implement, use schedule_next_thread() commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: add prototypes to header commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: add iteration routines for class Backtrack commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrismodel: include <cstddef> commit | commitdiff | tree | snapshot
2012-04-20 Brian Norrisschedule: replace queue with list commit | commitdiff | tree | snapshot
2012-04-20 Brian Norristhreads: introduce THREAD_ID_T_NONE commit | commitdiff | tree | snapshot
2012-04-20 Brian Norristhreads: remove leftover class 'prototype' commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: stash each backtrack event in ModelChecker:... commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: add class Backtrack commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: create 'action_list_t' typedef commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: convert 'action_trace' to pointer commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: add TreeNode debugging information to print_trace() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: implement get_last_conflict() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: flesh out set_backtracking() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: flesh out check_current_action() commit | commitdiff | tree | snapshot
2012-04-19 Brian Norrismodel: add accessors for ModelAction variables commit | commitdiff | tree | snapshot
2012-04-19 Brian Norristree: bugfix - fix backtrack status commit | commitdiff | tree | snapshot
2012-04-19 Brian Norristree: don't use 'NULL' for a thread ID commit | commitdiff | tree | snapshot
2012-04-18 Brian Norrislibthreads: only record 'final' even for thrd_join commit | commitdiff | tree | snapshot
2012-04-18 Brian Norrismodel: use TreeNode() commit | commitdiff | tree | snapshot
2012-04-18 Brian Norristree: fix invalid free commit | commitdiff | tree | snapshot
2012-04-18 Brian Norristree: add class TreeNode commit | commitdiff | tree | snapshot
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h commit | commitdiff | tree | snapshot
2012-04-17 Brian Norristhreads/model: move switch_to_master from class Thread... commit | commitdiff | tree | snapshot
2012-04-16 Brian Norrisrename binary: libthreads -> model commit | commitdiff | tree | snapshot
2012-04-16 Brian Norrislibthreads: split into libthreads and threads commit | commitdiff | tree | snapshot
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal... commit | commitdiff | tree | snapshot
2012-04-16 Brian NorrisMakefile: add debug compilation flag commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrisscheduler: kill 'replaceable' scheduler commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrislibthreads: print out trace at end of execution commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrismodel: add print_trace() function commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrislibthreads: perform 'model checking' when moving to... commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrisuserprog: use both atomic loads and stores commit | commitdiff | tree | snapshot
2012-04-10 Brian Norrismodel: add check_current_action() function commit | commitdiff | tree | snapshot
next
This is the public repository for the CDSSpec specification compiler.