Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 18, 2024

• Work with ghc 9.8.2, sublibs

  atzedijkstra

  committed
  aa49dd2

  Copy full SHA for aa49dd2

• Work with ghc 9.8.2, sublibs

  atzedijkstra

  committed
  059dc4c

  Copy full SHA for 059dc4c

• Work with ghc 9.8.2

  atzedijkstra

  committed
  e0a141b

  Copy full SHA for e0a141b

Commits on Sep 23, 2022

• fix prio related issue; experiments, refactor, top level cabal project

  atzedijkstra

  committed
  b5e4fef

  Copy full SHA for b5e4fef

Commits on Sep 16, 2022

• version 0.1.1.0, make it work again

  atzedijkstra

  committed
  0dbd9c6

  Copy full SHA for 0dbd9c6

• version 0.1.1.0, make it work for recent changes

  atzedijkstra

  committed
  0350275

  Copy full SHA for 0350275

Commits on Aug 18, 2018

• changes for ghc 8.4

  atzedijkstra

  committed
  ad46582

  Copy full SHA for ad46582

Commits on Apr 28, 2018

• initial bit of infra for factoring out concrete impl of work/rule store

  atzedijkstra

  committed
  6dcce85

  Copy full SHA for 6dcce85

• initial bit of infra for factoring out concrete impl of work/rule store

  atzedijkstra

  committed
  1813220

  Copy full SHA for 1813220

Commits on Apr 27, 2018

• comment cleanup

  atzedijkstra

  committed
  f212e22

  Copy full SHA for f212e22

Commits on Jan 7, 2018

• haddock errors fixed

  atzedijkstra

  committed
  2f05158

  Copy full SHA for 2f05158

• rename of files, refactor of run

  atzedijkstra

  committed
  1f12edf

  Copy full SHA for 1f12edf

• refactor of example term lang

  atzedijkstra

  committed
  0fe77fc

  Copy full SHA for 0fe77fc

Commits on Jan 2, 2018

• more refactoring

  atzedijkstra

  committed
  54d0afb

  Copy full SHA for 54d0afb

• more refactoring

  atzedijkstra

  committed
  8a4f3aa

  Copy full SHA for 8a4f3aa

• cosmetics

  atzedijkstra

  committed
  67ec770

  Copy full SHA for 67ec770

• generalising term structure used in chr-lang

  atzedijkstra

  committed
  ac1385f

  Copy full SHA for ac1385f

Commits on Dec 31, 2017

• less strict bounds on base lib

  atzedijkstra

  committed
  76b32ec

  Copy full SHA for 76b32ec

Commits on Dec 28, 2017

• hackage upload, use by uhc-util and uhc tested

  atzedijkstra

  committed
  1d7bebb

  Copy full SHA for 1d7bebb

• cleanup, class alias replaced by type synonyms

  atzedijkstra

  committed
  daa5e81

  Copy full SHA for daa5e81

Commits on Dec 27, 2017

• dramatic performance improvement by moving workstore to backtracking state (thus not globally growing)

  atzedijkstra

  committed
  0cca70e

  Copy full SHA for 0cca70e

• cleaning up, minimizing Utils

  atzedijkstra

  committed
  2f1dd8b

  Copy full SHA for 2f1dd8b

• small performance tweaks

  atzedijkstra

  committed
  405ac6f

  Copy full SHA for 405ac6f

Commits on Dec 25, 2017

• reporting of performance (time, time p step)

  atzedijkstra

  committed
  4317f5b

  Copy full SHA for 4317f5b

• ghc 8.2 compat

  atzedijkstra

  committed
  d3f465e

  Copy full SHA for d3f465e

• tweaking & cleaning up

  atzedijkstra

  committed
  58aefc0

  Copy full SHA for 58aefc0

• inlining attempts to improve performance

  atzedijkstra

  committed
  1bf3975

  Copy full SHA for 1bf3975

• hashmap attempts to improve performance

  atzedijkstra

  committed
  810b60f

  Copy full SHA for 810b60f

• gitignore .DS_Store

  atzedijkstra

  committed
  955e4ba

  Copy full SHA for 955e4ba

• debug trace optional

  atzedijkstra

  committed
  93420ae

  Copy full SHA for 93420ae

• dead code cleanup

  atzedijkstra

  committed
  033140b

  Copy full SHA for 033140b

• use microlens instead of fclabels because of performance

  atzedijkstra

  committed
  878fc0c

  Copy full SHA for 878fc0c

• bit more readme doc

  atzedijkstra

  committed
  75727dd

  Copy full SHA for 75727dd

• term language runs

  atzedijkstra

  committed
  32f6f06

  Copy full SHA for 32f6f06

• mac stuff removal

  atzedijkstra

  committed
  d9d45be

  Copy full SHA for d9d45be

Pagination

Previous

Next