Permalink
Switch branches/tags
Nothing to show
Commits on Dec 12, 2016
  1. minor changes

    mwolf76 committed Dec 12, 2016
  2. Refactored the bmc module

    mwolf76 committed Dec 12, 2016
  3. updated cannibals example

    mwolf76 committed Dec 12, 2016
Commits on Dec 10, 2016
  1. minor changes

    mwolf76 committed Dec 10, 2016
  2. minor changes

    mwolf76 committed Dec 10, 2016
  3. Refactored Model subsystem

    mwolf76 committed Dec 10, 2016
Commits on Dec 9, 2016
  1. Bugfix for dump-trace command

    mwolf76 committed Dec 9, 2016
  2. Updated ferryman example

    mwolf76 committed Dec 9, 2016
  3. Removed extra decls

    mwolf76 committed Dec 9, 2016
Commits on Dec 8, 2016
  1. Mostly cosmetics

    mwolf76 committed Dec 8, 2016
  2. Better logging message

    mwolf76 committed Dec 8, 2016
  3. s/synthetic/inertial

    mwolf76 committed Dec 8, 2016
  4. updated examples

    mwolf76 committed Dec 8, 2016
  5. updated Fibonacci example

    mwolf76 committed Dec 8, 2016
  6. Merge tag '0.0.4' into develop

    mwolf76 committed Dec 8, 2016
    Tag for 0.0.4
  7. Merge branch 'release/0.0.4'

    mwolf76 committed Dec 8, 2016
  8. Updated TODO

    mwolf76 committed Dec 8, 2016
  9. cosmetics

    mwolf76 committed Dec 8, 2016
  10. Fixed koenisberg example

    mwolf76 committed Dec 8, 2016
  11. merged conflict

    mwolf76 committed Dec 8, 2016
  12. Refactor BMC algorithm module

    mwolf76 committed Dec 8, 2016
Commits on Dec 7, 2016
  1. removed unused var

    mwolf76 committed Dec 7, 2016