Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2022

• Define find in terms of the partial order of a Kleene algebra

  cls

  committedJan 6, 2022
  994d1cb

Commits on Oct 23, 2021

• Remove unnecessary import Data.Coerce (coerce)

  cls

  committedOct 23, 2021
  be8fae6

Commits on Apr 7, 2018

• Use truncateDot instead of toBool

  cls

  committedApr 7, 2018
  f4176f5

Commits on Sep 4, 2017

• Add copyright headers to source files

  cls

  committedSep 4, 2017
  2ecd72e

Commits on Apr 30, 2017

• Create LICENCE

  cls

  authoredApr 30, 2017
  686cb91

Commits on Feb 25, 2017

• Add some testable properties for matrices

  cls

  committedFeb 25, 2017
  d193015

• Replace letters' with higher-order weigh' function

  cls

  committedFeb 25, 2017
  54b347c

• Define matrices as a ringoid instead of a semigroup

  cls

  committedFeb 25, 2017
  b5cff64

Commits on Feb 22, 2017

• Simplify regular expression type

  cls

  committedFeb 22, 2017
  d41d131

• Complete Glushkov construction with start position

  cls

  committedFeb 22, 2017
  83a718b

• Update tests for new `flat' matrix types

  cls

  committedFeb 22, 2017
  fd37c5d

• Remove unnecessary infix operator precedences

  cls

  committedFeb 22, 2017
  aac6318

• Add compilation of weighted regular expressions

  cls

  committedFeb 22, 2017
  607ef3d

Commits on Feb 19, 2017

• Move testing properties into Test namespace

  cls

  committedFeb 19, 2017
  0043edc

Commits on Feb 18, 2017

• Add .gitignore

  cls

  committedFeb 18, 2017
  90aff81

• Add invariants on vector and matrix multiplication

  cls

  committedFeb 18, 2017
  d977aa1

Commits on Feb 17, 2017

• Switch to a slightly more convenient matrix type

  cls

  committedFeb 17, 2017
  58f28a9

Commits on Feb 16, 2017

• Generalise type of booleanise function

  cls

  committedFeb 16, 2017
  9172328

Commits on Feb 15, 2017

• Fix tree element retrieval on boundary case

  cls

  committedFeb 15, 2017
  037eb6b

• Add trees annotated with matrices over semirings

  cls

  committedFeb 15, 2017
  a129588

• Add vectors and matrices over semirings

  cls

  committedFeb 15, 2017
  7cceb66

• Add semigroups and semirings

  cls

  committedFeb 15, 2017
  4e57895