Permalink
Commits on Feb 5, 2017
  1. uhc-util sync

    atzedijkstra committed Feb 5, 2017
Commits on Jan 7, 2017
  1. uhc-util consistency

    atzedijkstra committed Jan 7, 2017
  2. cabal dependencies update

    atzedijkstra committed Jan 7, 2017
Commits on Dec 23, 2016
  1. bumped version to 1.1.9.6

    atzedijkstra committed Dec 23, 2016
  2. Fixate/tag v1.1.9.5

    atzedijkstra committed Dec 23, 2016
Commits on Dec 8, 2016
  1. some changes for unicode reading, but more tricky as buffers need to …

    atzedijkstra committed Dec 8, 2016
    …be aware of sizeof(char) > 1 possibly
Commits on Nov 27, 2016
Commits on Sep 25, 2016
Commits on Aug 21, 2016
Commits on Jul 5, 2016
Commits on May 25, 2016
Commits on May 24, 2016
  1. stricter type check on subsumption of combinations of forall/exists, …

    atzedijkstra committed May 24, 2016
    …now must match exactly (apart from alpha renaming), could be more relaxed but for now it deals with unwanted coercions of such combinations
Commits on May 23, 2016
Commits on May 21, 2016
  1. bumped version to 1.1.9.5

    atzedijkstra committed May 21, 2016
  2. Fixate/tag v1.1.9.4

    atzedijkstra committed May 21, 2016
Commits on May 20, 2016
  1. Merge pull request #76 from asr/master

    atzedijkstra committed May 20, 2016
    Fixed compilation with GHC 8.0.1 RC 2
  2. forgotten 'git add'

    atzedijkstra committed May 20, 2016
  3. forgotten 'git add'

    atzedijkstra committed May 20, 2016
  4. forgotten 'git add' of file

    atzedijkstra committed May 20, 2016
Commits on May 19, 2016
Commits on Apr 21, 2016
Commits on Apr 18, 2016
  1. sync with uhc-util

    atzedijkstra committed Apr 18, 2016
Commits on Apr 11, 2016
  1. sync with uhc-util

    atzedijkstra committed Apr 11, 2016
Commits on Apr 1, 2016
Commits on Mar 31, 2016
  1. sync with uhc-util

    atzedijkstra committed Mar 31, 2016
Commits on Mar 30, 2016
Commits on Mar 25, 2016
Commits on Mar 5, 2016
  1. [ fixed #71 ] Removed unnecessary `ImpredicativeTypes` language exten…

    asr committed Mar 5, 2016
    …sion.
    
    This language extension is unnecessary with GHC 7.10.3 and it was
    causing compilation errors with GHC 8.0.1 RC 2.
    
    Note: I didn't run the test-suite after this change.
Commits on Feb 29, 2016
  1. updated configure

    atzedijkstra committed Feb 29, 2016