Permalink
Commits on Nov 20, 2012
  1. fix build faliure against ghc-7.6 (constructors not seen)

    [2 of 4] Compiling Data.DFA.DOT     ( Data/DFA/DOT.hs, dist/build/Data/DFA/DOT.o )
    
    Data/DFA/DOT.hs:40:1:
        Unacceptable argument type in foreign declaration: DFA
        When checking declaration:
          foreign import ccall safe "static dfa.h DFA_writeDotToFile" writeDotToFile'
    
    Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
    committed Nov 20, 2012
Commits on Jun 15, 2012
Commits on Jun 14, 2012
  1. Merge pull request #1 from skvadrik/qsort_fix

    Fix in function dfa_qsort_r.
    peteg committed Jun 14, 2012
  2. Fix in function dfa_qsort_r.

    qsort_r was called instead of dfa_qsort_r.
    It caused crash on Linux (unlike BSD), bacause the order of arguments in comparator for qsort_r is different on Linux and BSD.
    
    On Linux we have:
        qsort_r comparator type: int (*compar)(const void *, const void *, void *)
        dfa_qsort_r comparator type: typedef int cmp_t(void *, const void *, const void *);
    skvadrik committed Jun 14, 2012
Commits on Apr 8, 2012
  1. Tweak the treatment of states that cannot reach final states in the

    minimization algorithm, following Antti's advice.
    peteg committed Apr 8, 2012
Commits on Apr 3, 2012
  1. Adopt a sparse representation (an association list) and remove the GP…

    …L'd code from JFlex.
    
    The minimisation algorithm is due to Antti Valmari.
    
    Note the representation does not ensure that the automaton is
    deterministic, but the minimisation algorithm assumes that it is.
    
    Also update the interchange format code.
    peteg committed Apr 3, 2012
Commits on Nov 4, 2011
  1. Add KISS2 / STAMINA support.

    Shuffle DOT stuff into a separate module.
    peteg committed Nov 4, 2011
Commits on Jun 22, 2011
  1. Make debugging output optional.

    peteg committed Jun 22, 2011
Commits on Jun 6, 2011
  1. Toss obsolete comment.

    peteg committed Jun 6, 2011
Commits on Apr 30, 2011
  1. Add git repo to the Cabal file.

    peteg committed Apr 30, 2011
  2. Make hackage happier.

    peteg committed Apr 30, 2011
  3. Add some banal haddock.

    peteg committed Apr 30, 2011
  4. Initial commit

    peteg committed Apr 30, 2011