Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 22, 2021

• Merge pull request #44 from jpas/fix-outdated-cabal-file-detection

  Show description for 4416ac4
  cpeikert

  authored
  4416ac4

  Copy full SHA for 4416ac4

Commits on Mar 17, 2021

• Revert "Change lol/package.yaml to test CI cabal script"

  Show description for 9da805f
  jpas

  committed
  9da805f

  Copy full SHA for 9da805f

• Use downloaded hpack version to generate cabal files

  jpas

  committed
  f14c3bc

  Copy full SHA for f14c3bc

• Fixes detection of outdated cabal files

  jpas

  committed
  ecfb216

  Copy full SHA for ecfb216

• Merge pull request #43 from jpas/ensure-cabal-files-up-to-date

  Show description for cca6fdc
  cpeikert

  authored
  cca6fdc

  Copy full SHA for cca6fdc

• Make script more verbose

  jpas

  committed
  2da3f26

  Copy full SHA for 2da3f26

• Change lol/package.yaml to test CI cabal script

  jpas

  committed
  4f734b2

  Copy full SHA for 4f734b2

• Adds a CI script to ensure cabal files are up to date

  jpas

  committed
  42c1f45

  Copy full SHA for 42c1f45

Commits on Mar 9, 2021

• Merge pull request #42 from jpas/stack-lts-17.5

  Show description for 9dec7d4
  cpeikert

  authored
  9dec7d4

  Copy full SHA for 9dec7d4

Commits on Mar 7, 2021

• Upgrade travis dist to focal (Ubuntu 20.04 LTS)

  jpas

  committed
  516e572

  Copy full SHA for 516e572

Commits on Mar 6, 2021

• Include .cabal as per stack recommendations

  jpas

  committed
  4495111

  Copy full SHA for 4495111

• Upgrade to stack lst-17.5 resolver

  jpas

  committed
  dc748a4

  Copy full SHA for dc748a4

Commits on Feb 19, 2020

• add versions to package.yaml for upload

  cmlsharp

  committed
  4679692

  Copy full SHA for 4679692

Commits on Feb 17, 2020

• add type (+) to exports

  cmlsharp

  committed
  305a660

  Copy full SHA for 305a660

• fix Nat kind on CT

  cmlsharp

  committed
  60d7b3d

  Copy full SHA for 60d7b3d

• export Max in lol-apps

  cmlsharp

  committed
  7700062

  Copy full SHA for 7700062

• add symlinks

  cmlsharp

  committed
  102f6e6

  Copy full SHA for 102f6e6

• fix common.yaml

  cmlsharp

  committed
  a86f0a8

  Copy full SHA for a86f0a8

• add AddCTCtx, NegateCTCtx, MulCTCtx

  cmlsharp

  committed
  7701120

  Copy full SHA for 7701120

Commits on Jan 25, 2020

• haddock links to modules

  cpeikert

  committed
  5495efd

  Copy full SHA for 5495efd

• tweak CHANGES.md

  cpeikert

  committed
  eb08d9c

  Copy full SHA for eb08d9c

• tweaked doc comment

  cpeikert

  committed
  89300af

  Copy full SHA for 89300af

• fixed haddock doc comments

  cpeikert

  committed
  476b7e2

  Copy full SHA for 476b7e2

• some docs

  cpeikert

  committed
  24f6437

  Copy full SHA for 24f6437

• some docs

  cpeikert

  committed
  0edb7f1

  Copy full SHA for 0edb7f1

• fixed broken doc link, stylish

  cpeikert

  committed
  8db0289

  Copy full SHA for 8db0289

Commits on Jan 17, 2020

• removed mention of RLWE challenges

  cpeikert

  committed
  91685c7

  Copy full SHA for 91685c7

• fix lol version

  cmlsharp

  committed
  05c8594

  Copy full SHA for 05c8594

Commits on Jan 16, 2020

• Merge pull request #40 from cpeikert/ghc-8.6

  Show description for aaa3d52
  cpeikert

  authored
  aaa3d52

  Copy full SHA for aaa3d52

Commits on Jan 15, 2020

• hlint

  cpeikert

  committed
  ebd7b5f

  Copy full SHA for ebd7b5f

• hlint

  cpeikert

  committed
  099f59a

  Copy full SHA for 099f59a

• hlint

  cpeikert

  committed
  1bf4b50

  Copy full SHA for 1bf4b50

• slight refactor

  cpeikert

  committed
  74b3481

  Copy full SHA for 74b3481

• hlint

  cpeikert

  committed
  db64641

  Copy full SHA for db64641

• hlint

  cpeikert

  committed
  59c7565

  Copy full SHA for 59c7565

Pagination

Previous

Next