Permalink
Commits on Sep 25, 2012
  1. Fix a bug in instr:transform_receive_case/1

    When transforming receive clauses to case clauses,
    we search for a `catchall' pattern and if we don't find one
    then we add ours. But Concuerror doesn't check if a variable is
    bound or unbound and falsely mistake them as a `catchall' rule.
    For now, always add a `catchall' rule.
    Many thanks to David Klaftenegger for pointing this bug.
    iliastsi committed Sep 25, 2012
Commits on Sep 5, 2012
  1. Add `refresh' button in GUI

    iliastsi committed Sep 5, 2012
  2. Some typos in flags

    iliastsi committed Sep 5, 2012
  3. Change GUI to support the new sched (no replay)

    Also remove snapshot functionality.
    iliastsi committed Sep 5, 2012
  4. Remove snapshot source code

    Some small changes in the include files
    iliastsi committed Sep 4, 2012
  5. Fix unit tests

    iliastsi committed Sep 4, 2012
  6. Change command line interface

    Add more options (notably -I and -D)
    Refactor the `handle_event' function
    iliastsi committed Sep 3, 2012
  7. Change the tests to match the new output

    Mostly the ordering has changed
    iliastsi committed Sep 3, 2012
  8. Context now keep all the actions in a list

    Keeping just the last one was producing some
    different results (didn't report blocking actions).
    iliastsi committed Sep 3, 2012
  9. Remove replay functionality

    iliastsi committed Sep 3, 2012
  10. When diffing files ignore paths

    iliastsi committed Aug 23, 2012
  11. Add some more tests in regress suite

    This tests should fail and are things we should fix
    (hence they don't have a results file to compare with).
    iliastsi committed Aug 23, 2012
  12. Use testsuite to check the scheduler

    Move the sched_tests from the previous (unit)
    test suite to our new one.
    iliastsi committed Aug 22, 2012
  13. Add our first test

    iliastsi committed Aug 21, 2012
  14. Add --nolog flag

    Fix some small bugs in command line interface
    iliastsi committed Aug 21, 2012
  15. Nicely display results

    iliastsi committed Aug 20, 2012
  16. Validate user given function arguments

    Use `init:stop' instead of `erlang:halt'
    iliastsi committed Aug 20, 2012