Commits

Breadcrumbs

History for

on71709b9

User selector

All users

Datepicker

All time

Commit History

Commits on May 19, 2020

• try to fix the build

  protz

  committed
  7bd4559

  Copy full SHA for 7bd4559

• try to fix the build

  protz

  committed
  7a23cb1

  Copy full SHA for 7a23cb1

• try to fix the build

  protz

  committed
  96b089f

  Copy full SHA for 96b089f

• try to fix the build

  protz

  committed
  36fec7a

  Copy full SHA for 36fec7a

• try to fix the build

  protz

  committed
  7254b36

  Copy full SHA for 7254b36

Commits on Apr 20, 2020

• Put kremlib under version control

  protz

  committed
  007ffe1

  Copy full SHA for 007ffe1

Commits on Mar 17, 2020

• sudo

  protz

  committed
  b9ba900

  Copy full SHA for b9ba900

• space

  protz

  committed
  96ca3fd

  Copy full SHA for 96ca3fd

• yes

  protz

  committed
  7a40762

  Copy full SHA for 7a40762

• Try from the Dockerfile

  protz

  committed
  3f0fa11

  Copy full SHA for 3f0fa11

Commits on Mar 16, 2020

• fix

  protz

  committed
  c26fc59

  Copy full SHA for c26fc59

• Try custom pygments build

  protz

  committed
  99dccf8

  Copy full SHA for 99dccf8

Commits on Mar 13, 2020

• Merge remote-tracking branch 'origin/master' into protz_tutorial

  protz

  committed
  9a5d067

  Copy full SHA for 9a5d067

Commits on Mar 5, 2020

• WIP

  protz

  committed
  45dad91

  Copy full SHA for 45dad91

Commits on Mar 4, 2020

• ci: disable ssh-agent

  tahina-pro

  committed
  0405434

  Copy full SHA for 0405434

Commits on Nov 21, 2019

• reinstate F*'s master branch after a successful green

  msprotz

  committed
  1171dd0

  Copy full SHA for 1171dd0

• Try CI with protz_const

  msprotz

  committed
  a8dd917

  Copy full SHA for a8dd917

Commits on Sep 11, 2019

• Update Sphinx

  s-zanella

  committed
  c04d180

  Copy full SHA for c04d180

Commits on Jun 14, 2019

• refresh_tutorial for the master branch only

  tahina-pro

  committed
  c7d0081

  Copy full SHA for c7d0081

Commits on Jun 4, 2019

• sphinx now installed as part of Everest-CI

  Show description for 25f3af6
  tahina-pro

  committed
  25f3af6

  Copy full SHA for 25f3af6

• refresh_tutorial: improve error management

  tahina-pro

  committed
  253c9a4

  Copy full SHA for 253c9a4

• = vs. == : C, F*, pip, what next?

  tahina-pro

  committed
  5c34afa

  Copy full SHA for 5c34afa

• use a fixed version of sphinx

  tahina-pro

  committed
  f72eaea

  Copy full SHA for f72eaea

• Try to re-enable tutorial update

  tahina-pro

  committed
  d50be15

  Copy full SHA for d50be15

Commits on May 31, 2019

• Do not refresh tutorial for Windows

  tahina-pro

  committed
  4da8f6d

  Copy full SHA for 4da8f6d

• Disable refreshing the tutorial for now

  tahina-pro

  committed
  92de4c2

  Copy full SHA for 92de4c2

• Revert "Test public channel"

  Show description for 71567f7
  tahina-pro

  committed
  71567f7

  Copy full SHA for 71567f7

Commits on May 30, 2019

• Test public channel

  tahina-pro

  committed
  5502286

  Copy full SHA for 5502286

• ci: no longer clone HACL*

  tahina-pro

  committed
  c8a9af0

  Copy full SHA for c8a9af0

• compression: true; performance: false

  tahina-pro

  committed
  0f30296

  Copy full SHA for 0f30296

• Revert "Use F* branch _taramana_ws2019"

  Show description for f3d7941
  tahina-pro

  committed
  f3d7941

  Copy full SHA for f3d7941

Commits on May 16, 2019

• Revert "do not buffer output"

  Show description for 65ff308
  tahina-pro

  committed
  65ff308

  Copy full SHA for 65ff308

• Revert "remove tail"

  Show description for 40cbd5a
  tahina-pro

  committed
  40cbd5a

  Copy full SHA for 40cbd5a

• Revert "cat out_file"

  Show description for 239bee4
  tahina-pro

  committed
  239bee4

  Copy full SHA for 239bee4

• Revert "tweak output"

  Show description for a4a86c6
  tahina-pro

  committed
  a4a86c6

  Copy full SHA for a4a86c6

Pagination

Previous

Next