projects / cdsspec-compiler.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cdsspec-compiler.git
2013-03-02 Brian Norrischeck_recency: improve templates, use when reading... commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrischeck_recency: refactor some more, + include Promises commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrischeck_recency: return a boolean status commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrischeck_recency: only allow newer stores to "overwrite" commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrischeck_recency: implement loops as function ModelAction... commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrisnodestack: add support functions for check_recency... commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrismodel: check_recency: convert a few things to ASSERT() commit | commitdiff | tree | snapshot
2013-03-02 Brian Demskycomments commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrismodel: check_recency: fix indentation, spelling, comments commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrisaction: bugfix - reads-from value should be VALUE_NONE... commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrismodel: fixes for future value passing commit | commitdiff | tree | snapshot
2013-03-02 Brian Norrismodel: we only resolve one promise at a time commit | commitdiff | tree | snapshot
2013-03-01 Brian Norrismodel: fix ASSERT() commit | commitdiff | tree | snapshot
2013-03-01 Brian Norrispromise: add 'same_value' helper, force value-checking... commit | commitdiff | tree | snapshot
2013-03-01 Brian Norrispromise: bugfix - don't check value, check location commit | commitdiff | tree | snapshot
2013-03-01 Brian Norrisaction: add get_write_value() commit | commitdiff | tree | snapshot
2013-03-01 Brian Norrisaction: add ModelAction::get_reads_from_value() commit | commitdiff | tree | snapshot
2013-03-01 Brian Norrisaction, model: add ASSERT(), not NULL checks commit | commitdiff | tree | snapshot
2013-03-01 Brian Norriscyclegraph/model: unify, clean up graph printing commit | commitdiff | tree | snapshot
2013-03-01 Brian Norrisnodestack: get_read_from_promise() never returns NULL commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrismodel/schedule: comput "reduadant" measurement, print... commit | commitdiff | tree | snapshot
2013-02-28 Brian Norriscyclegraph: clean up mo_graph dump commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrisaction: print promise number, not just ? commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrisnodestack: bugfix - clear backtracking properly commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrispromise: record multiple readers in the same Promise commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrisun-'const' some Promises commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrisnodestack: rewrite promise-resolution "counting" commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrismodel: hook up 'read-from-promise' backtracking in... commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrisnodestack: add read_from_promises backtracking commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrisnodestack: bugfix - rewrite 'may-read-from' and 'future... commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrismodel: shorten some code commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrismodel: rename 'reads_from' to 'rf' commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrisnodestack: rename 'read_from' to 'read_from_past' commit | commitdiff | tree | snapshot
2013-02-28 Brian Norrismodel: don't call process_read() for 2nd half of RMW... commit | commitdiff | tree | snapshot
2013-02-27 Brian Norrismodel: bugfix - correct the "equality" check for RR... commit | commitdiff | tree | snapshot
2013-02-27 Brian Norriscyclegraph: bugfix - allow to compile with SUPPORT_MOD_... commit | commitdiff | tree | snapshot
2013-02-27 Brian Norrismodel: bugfix - correct RR coherence for Promises commit | commitdiff | tree | snapshot
2013-02-27 Brian Norriscyclegraph: change Promise nodes map commit | commitdiff | tree | snapshot
2013-02-26 Brian Norrismodel: promises: eliminate threads when they "join" commit | commitdiff | tree | snapshot
2013-02-26 Brian Norrisschedule: remove commented-out code commit | commitdiff | tree | snapshot
2013-02-26 Brian Norrismodel: bugfix - only allow promise satisfaction for... commit | commitdiff | tree | snapshot
2013-02-25 Brian Norristhreads: construct Thread only with a given "parent" commit | commitdiff | tree | snapshot
2013-02-25 Brian Demskyrepush changes commit | commitdiff | tree | snapshot
2013-02-25 Brian Demskyfix conflicts commit | commitdiff | tree | snapshot
2013-02-25 Brian Demskyfix norris mentioned bug commit | commitdiff | tree | snapshot
2013-02-25 Brian NorrisRevert "fix scheduling stuff to get nice round robin... commit | commitdiff | tree | snapshot
2013-02-25 Brian Demskyfix scheduling stuff to get nice round robin scheduler... commit | commitdiff | tree | snapshot
2013-02-23 Brian Norrisnodestack: bugfix - reset backtracking points on diverg... commit | commitdiff | tree | snapshot
2013-02-23 Brian Norrismodel: bugfix - inherit future values from previous... commit | commitdiff | tree | snapshot
2013-02-23 Brian Norrisnodestack: don't use C++ references commit | commitdiff | tree | snapshot
2013-02-23 Brian Norrismodel: correct the "no valid reads" assertion commit | commitdiff | tree | snapshot
2013-02-23 Brian Norrispromise: stash the whole future_value commit | commitdiff | tree | snapshot
2013-02-22 Brian Norristest: fences: add simple, semi-useful fence tests commit | commitdiff | tree | snapshot
2013-02-22 Brian Norristest: add double-read-fv commit | commitdiff | tree | snapshot
2013-02-22 Brian Norrisaction: backtrack/sleep-sets for seq-cst fences commit | commitdiff | tree | snapshot
2013-02-22 Brian Norrismodel: wake up pending (sleep-set) actions for fences commit | commitdiff | tree | snapshot
2013-02-21 Brian Norrismodel: only backtrack fences when acquire is before... commit | commitdiff | tree | snapshot
2013-02-21 Brian Norrismodel: document get_last{,_fence}_conflict() commit | commitdiff | tree | snapshot
2013-02-21 Brian Norrismodel: schedule appropriate fence backtracking points commit | commitdiff | tree | snapshot
2013-02-21 Brian Norrismodel: convert while-loops to for-loops commit | commitdiff | tree | snapshot
2013-02-20 Brian Norrismodel: add 'const' commit | commitdiff | tree | snapshot
2013-02-20 Brian Norrisinclude: fixup header inclusion commit | commitdiff | tree | snapshot
2013-02-20 Brian Norrisdon't include action.h from model.h commit | commitdiff | tree | snapshot
2013-02-20 Brian Norrismodel/action: move action_list_t to model.h commit | commitdiff | tree | snapshot
2013-02-20 Brian Norrispromise: move constructor out of header commit | commitdiff | tree | snapshot
2013-02-16 Brian Norrisscheduler: refactor round-robin loop commit | commitdiff | tree | snapshot
2013-02-16 Brian Norrismodel: end-of-execution print commit | commitdiff | tree | snapshot
2013-02-16 Brian Norrismodel: improve get_next_thread() comments commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrisschedule: simplify Scheduler::select_next_thread() commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: pull scheduler's thread selection into get_next_... commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrisschedule: split Scheduler::next_thread() into separate... commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: factor out a 'switch_from_master()' function commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: rework the release sequence fixups commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: simple refactoring commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel/threads: add documentation comments commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: fix leaking "pending actions" commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: add 'pending' assertion commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: stash all pending actions immediately commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: pull 'has_asserted()' check out of take_step() commit | commitdiff | tree | snapshot
2013-02-15 Brian Norristhreads: bugfix - do not call thread_current() from... commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: stash actions in each thread commit | commitdiff | tree | snapshot
2013-02-15 Brian Norrismodel: return next thread from take_step() commit | commitdiff | tree | snapshot
2013-02-14 Brian Norristhreads/model: allocate Thread from w/in ModelChecker commit | commitdiff | tree | snapshot
2013-02-14 Brian Norrisschedule: assert that model-checker thread doesn't... commit | commitdiff | tree | snapshot
2013-02-12 Brian Norrismodel: set thread state during 'swap' calls commit | commitdiff | tree | snapshot
2013-02-12 Brian NorrisMerge branch 'fences' commit | commitdiff | tree | snapshot
2013-02-12 Brian Norrispromise: use id_to_int() commit | commitdiff | tree | snapshot
2013-02-12 Brian Norrismodel: prune may-read-from set early commit | commitdiff | tree | snapshot
2013-02-12 Brian Norrisaction: bugfix - initialize member commit | commitdiff | tree | snapshot
2013-02-12 Brian Norrismodel: rewrite mo_check_promises commit | commitdiff | tree | snapshot
2013-02-09 Brian Norrismodel: remove argument from mo_check_promises commit | commitdiff | tree | snapshot
2013-02-09 Brian Norriscyclegraph: possible optimization commit | commitdiff | tree | snapshot
2013-02-09 Brian Norrismodel: rename according to the comments commit | commitdiff | tree | snapshot
2013-02-07 Brian Norrismodel: add read-write coherence for promise nodes commit | commitdiff | tree | snapshot
2013-02-07 Brian Norrispromise: update comments/names to reflect usage commit | commitdiff | tree | snapshot
2013-02-07 Brian Norriscyclegraph: expand template usage commit | commitdiff | tree | snapshot
2013-02-06 Brian Norrismodel: refactor to use a helper function commit | commitdiff | tree | snapshot
2013-02-06 Brian Norriscyclegraph: don't delete promise nodes commit | commitdiff | tree | snapshot
2013-02-06 Brian Norriscyclegraph: fixup support for dumping the modification... commit | commitdiff | tree | snapshot
2013-02-06 Brian Norriscyclegraph: mergeNodes(): return early if we violate RMW commit | commitdiff | tree | snapshot
next
This is the public repository for the CDSSpec specification compiler.