Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 25, 2018

• Refactor algebra

  

  Andrii Ivanov

  committed
  ab2adaf

  Copy full SHA for ab2adaf

Commits on Dec 11, 2017

• Fix test

  

  Andrii Ivanov

  committed
  6d2af37

  Copy full SHA for 6d2af37

• Refactoring

  

  Andrii Ivanov

  committed
  542773b

  Copy full SHA for 542773b

• Add iota to Assertion algebra

  

  Andrii Ivanov

  committed
  bcfa44a

  Copy full SHA for bcfa44a

• Add iota. Update cats to RC-1

  

  Andrii Ivanov

  committed
  b35bdd6

  Copy full SHA for b35bdd6

Commits on Nov 9, 2017

• Fix squash

  a-nigredo

  committed
  10df35c

  Copy full SHA for 10df35c

• Fix squash

  a-nigredo

  committed
  1107698

  Copy full SHA for 1107698

• Split algebra. Add scalac options

  

  Andrii Ivanov

  committed
  d142835

  Copy full SHA for d142835

Commits on Nov 8, 2017

• Start migration to free

  a-nigredo

  committed
  a15e8a3

  Copy full SHA for a15e8a3

• Start implementing checking

  

  Andrii Ivanov

  committed
  2ae7fd4

  Copy full SHA for 2ae7fd4

Commits on Nov 7, 2017

• Fix headers parser and add more tests

  

  Andrii Ivanov

  committed
  04f3fa3

  Copy full SHA for 04f3fa3

• Fix test

  

  Andrii Ivanov

  committed
  0ac0fbb

  Copy full SHA for 0ac0fbb

• first commit

  

  Andrii Ivanov

  committed
  99cd30d

  Copy full SHA for 99cd30d