Permalink
Commits on May 27, 2015
  1. Add notice for new repository

    aronisstav committed May 27, 2015
Commits on Mar 11, 2014
  1. Align command-line arguments

    kostis committed Mar 11, 2014
  2. Merge pull request #9 from evnu/add_codepatha

    Add -pa and -pz command-line parameters
    kostis committed Mar 11, 2014
  3. Add -pa,-pz parameters

    evnu committed Mar 11, 2014
Commits on Mar 8, 2014
  1. Substitute /bin/bash with /usr/bin/env bash to avoid bashism

    Thanks to Kenji Rikitake for bringing this up to our attention.
    kostis committed Mar 8, 2014
Commits on Jul 1, 2013
Commits on Jun 28, 2013
  1. Fix a bug with exit status

    Fix a bug where a process exiting with status other than normal
    (currently the only alternative can be shutdown) was returing
    normal as an exit status.
    iliastsi committed Jun 28, 2013
Commits on Jun 25, 2013
  1. Comment out ALERT messages

    iliastsi committed Jun 25, 2013
  2. Monitor messages may need to be added retroactively (just like link)

    When there is a send or exit, evidence should be gathered about whether
    messages could be sent to processes that no longer exist. This evidence
    now includes information about monitors.
    aronisstav committed Jun 25, 2013
  3. Receive statements may have guards

    If the guard is not taken into account we may assume that a receive statement
    is unblocked when it in fact it is not.
    aronisstav committed Jun 25, 2013
Commits on Jun 24, 2013
  1. Better control of status for newly spawned processes

    When a process is spawned it waits for the scheduler to assign an LID and
    the next signal should be a simple continue. If, however, a child process
    is spawned, the poll message for unhandled messages was sent before that.
    This patch makes explicit which message should arrive first.
    aronisstav committed Jun 24, 2013
  2. Add a conditional debug macro

    aronisstav committed Jun 24, 2013
  3. Merge branch 'optimality'

    aronisstav committed Jun 24, 2013
Commits on Jun 20, 2013
  1. Strengthen dependencies

    The dependency relation is conditional on the patched cases and it may
    lead to sleep set blocking. Make the relation unconditional for the time
    being. Only tests in known_issues are broken by this change.
    aronisstav committed Jun 19, 2013
  2. Minor fixes

    aronisstav committed Jun 19, 2013
Commits on Jun 17, 2013
  1. Fix a receive had-after bug in the dependency relation

    An identical message from another process could be erroneously identified
    as the one that was received in a receive statement with an after clause.
    This caused additional interleavings (to reorder the receive and send
    statements) which were uninteresting, since the receive statement would
    receive another message anyway.
    aronisstav committed Jun 15, 2013
  2. Cleanups in testsuites

    aronisstav committed Jun 5, 2013
  3. Optimize recent_dependency_cv

    aronisstav committed May 27, 2013
  4. Refactor the scheduler code

    aronisstav committed May 24, 2013
  5. Re-implement source-set DPOR

    aronisstav committed May 24, 2013
  6. Bug fixes

    aronisstav committed May 21, 2013
  7. Optimal DPOR

    aronisstav committed Apr 18, 2013
  8. More dpor tests

    aronisstav committed Mar 18, 2013
Commits on Jun 15, 2013
Commits on Jun 14, 2013