maul.esel
maul-esel

  • Germany / BW
  • Joined on May 20, 2011

Organizations

@Library-Distribution
Jul 21, 2016
maul-esel deleted branch fix-tests at maul-esel/ssharp
Jul 18, 2016
Jul 18, 2016
@maul-esel
Jul 18, 2016
Jul 18, 2016
@maul-esel
Jul 18, 2016
@maul-esel
maul-esel deleted branch less-trivial-checks at maul-esel/ssharp
Jul 18, 2016
maul-esel deleted branch heuristic-performance at maul-esel/ssharp
Jul 18, 2016
Jul 18, 2016
maul-esel opened pull request isse-augsburg/ssharp#5
@maul-esel
Performance Improvements for Heuristics
2 commits with 103 additions and 65 deletions
Jul 18, 2016
Jul 15, 2016
@maul-esel
  • @axel-habermaier 36d94a1
    fixed incorrect computation of cardinality average when minimal criti…
  • @axel-habermaier 8890f27
    improved DCCA output; added heuristic that suggests maximal safe sets…
  • 1 more commit »
Jul 15, 2016
@maul-esel
  • @maul-esel 7e37e91
    Merge branch 'master' into less-trivial-checks
  • @axel-habermaier 36d94a1
    fixed incorrect computation of cardinality average when minimal criti…
  • 2 more commits »
maul-esel deleted branch heuristics-tests at maul-esel/ssharp
Jul 15, 2016
maul-esel deleted branch no-suppressed-generation at maul-esel/ssharp
Jul 15, 2016
Jul 15, 2016
Jul 15, 2016
@maul-esel
  • @axel-habermaier 011e93e
    now making use of DCCA heuristics during functional checks of robot c…
  • @axel-habermaier edaec6c
    the observer/controller of the robot cell now prefers not to use the …
  • 18 more commits »
Jul 13, 2016
@maul-esel
Jul 13, 2016
@maul-esel
  • @maul-esel 1212885
    Merge branch 'master' into no-checked-sets
Jul 13, 2016
@maul-esel
Jul 13, 2016
maul-esel opened pull request isse-augsburg/ssharp#3
@maul-esel
Don't generate fault sets with suppressed faults
1 commit with 2 additions and 1 deletion
Jul 13, 2016
Jul 13, 2016
maul-esel opened pull request isse-augsburg/ssharp#2
@maul-esel
Tests for Heuristics
5 commits with 647 additions and 12 deletions
Jul 13, 2016
Jul 13, 2016
@maul-esel
Jul 12, 2016
maul-esel created the maul-esel/ssharp wiki
Jul 6, 2016
@maul-esel
  • @maul-esel ddb3e67
    add license header to test files
Jul 6, 2016
@maul-esel
  • @maul-esel fa56096
    tests: more verbose checks, add test with incorrect heuristic
Jul 6, 2016
@maul-esel
  • @maul-esel 9974c11
    add further tests for correct heuristics integration