Skip to content
Permalink
Branch: master
Commits on Apr 13, 2019
  1. Digraph: add "edgeCount"

    runeksvendsen committed Apr 13, 2019
Commits on Apr 12, 2019
  1. Haddock: fix BellmanFord

    runeksvendsen committed Apr 12, 2019
Commits on Apr 5, 2019
  1. BellmanFord: add "getGraph"

    runeksvendsen committed Apr 5, 2019
  2. BellmanFord: export "BF" monad

    runeksvendsen committed Apr 5, 2019
Commits on Apr 2, 2019
  1. Add Cycle Arbitrary instances

    runeksvendsen committed Apr 2, 2019
    Abstract over SmallCheck's "series" and QuickCheck's "arbitrary"
    (and "suchThat") using "GenData" type class.
  2. Test: negative cycle: start from vertex in cycle

    runeksvendsen committed Apr 2, 2019
    The test with positive-weight edges shouldn't work for all cases, but it currently does.
    Specifically, if an edge is inserted into the negative cycle path,
    which becomes part of the negative path (while remaining negative), the test will fail.
    Currently generated test data doesn't detect this, however.
  3. Test: implement proper edge-cycle generator

    runeksvendsen committed Apr 2, 2019
    Move Edge to Types.Edge
You can’t perform that action at this time.