Commits

Branch selector

 master

User selector

s-zanella

Datepicker

All time

Commit History

Commits on Nov 6, 2019

• Modify CAbstractStruct test to excercise the attribute behavior; but see #153

  s-zanella

  committed
  952363d

  Copy full SHA for 952363d

• LowStar.Printf: print buffer contents in hexadecimal format

  s-zanella

  committed
  1425b91

  Copy full SHA for 1425b91

Commits on Sep 27, 2019

• Extract top-level arrays initialized to false as implicitly-initialized global arrays.

  s-zanella

  committed
  2f84363

  Copy full SHA for 2f84363

Commits on Sep 26, 2019

• Revert change

  s-zanella

  committed
  f0034f4

  Copy full SHA for f0034f4

• Missing check

  s-zanella

  committed
  013f778

  Copy full SHA for 013f778

• Add test case for #148

  s-zanella

  committed
  1c50de2

  Copy full SHA for 1c50de2

• Extract top-level LowStar.UninitializedBuffer.gcmalloc and constant-size LowStar.Buffer.gcmalloc zero arrays as implicitly-initialized global arrays. See #148

  s-zanella

  committed
  bf40c01

  Copy full SHA for bf40c01

Commits on Sep 11, 2019

• Update Sphinx

  s-zanella

  committed
  c04d180

  Copy full SHA for c04d180

Commits on Jul 9, 2019

• Merge pull request #144 from FStarLang/sedlex

  Show description for 4acd7cc
  s-zanella

  authored
  4acd7cc

  Copy full SHA for 4acd7cc

• Hints

  s-zanella

  committed
  2fa43d0

  Copy full SHA for 2fa43d0

• Add catch-all branch to lexer; catch proper Sedlexing exceptions

  s-zanella

  committed
  6ea0b62

  Copy full SHA for 6ea0b62

• Preprocess Lexer.ml with sedlex

  s-zanella

  committed
  88d966a

  Copy full SHA for 88d966a

Commits on Jun 19, 2019

• Fix and simplify build_local.sh; partially fixes VSTS bug 81

  s-zanella

  committed
  1bd260e

  Copy full SHA for 1bd260e

Commits on May 30, 2019

• Implement arithmetic shift right operators (#137)

  s-zanella

  authored
  0e91bac

  Copy full SHA for 0e91bac

Commits on Jul 26, 2018

• Port Wasm tests to LowStar.Buffer

  s-zanella

  committed
  3b3f0f8

  Copy full SHA for 3b3f0f8

• Fix one test requiring C.Nullity

  s-zanella

  committed
  d6d6225

  Copy full SHA for d6d6225

• Merge branch 'lowstar'

  s-zanella

  committed
  4b95555

  Copy full SHA for 4b95555

• Duplicate files in kremlib/compat

  s-zanella

  committed
  686d74c

  Copy full SHA for 686d74c

• Prepend rather than append --include C:/cygwin64/home/santiago/everest/kremlin/kremlib

  s-zanella

  committed
  0d0e328

  Copy full SHA for 0d0e328

Commits on Jul 25, 2018

• Hints

  s-zanella

  committed
  f2a19f5

  Copy full SHA for f2a19f5

• Port kremlib (and breaking tests) to LowStar.Buffer

  s-zanella

  committed
  d8b2ccb

  Copy full SHA for d8b2ccb

Commits on Apr 27, 2018

• Implementation of FStar.Bytes.bytes_of_int16

  s-zanella

  committed
  c76296c

  Copy full SHA for c76296c

Commits on Apr 26, 2018

• Build also bytecode-version of libraries

  s-zanella

  committed
  08969b5

  Copy full SHA for 08969b5

Commits on Mar 6, 2018

• Don't assume string = bytes

  s-zanella

  committed
  ca8bafe

  Copy full SHA for ca8bafe

Commits on Feb 27, 2018

• Applied Tahina's patch to verify C.Loops

  s-zanella

  committed
  dd2082a

  Copy full SHA for dd2082a

Commits on Jan 24, 2018

• Drop FStar.HyperStack.IO by default

  s-zanella

  committed
  848b9c1

  Copy full SHA for 848b9c1

• Revert "Try to catch up on upstream F* changes"

  Show description for 2d6cf06
  s-zanella

  committed
  2d6cf06

  Copy full SHA for 2d6cf06

Commits on Aug 7, 2017

• Revert "added definitions to kremlib.h to get rid of FStar.h when using native uint128"

  Show description for 83161d1
  s-zanella

  committed
  83161d1

  Copy full SHA for 83161d1

Commits on Jul 18, 2017

• Proper [compare_and_print] function in TestLib.ml

  s-zanella

  committed
  0591f0b

  Copy full SHA for 0591f0b

Commits on Jun 20, 2017

• Fix tests

  s-zanella

  committed
  4251314

  Copy full SHA for 4251314

Commits on Jun 13, 2017

• Migrate kremlib to use FStar.HyperStack.ST

  s-zanella

  committed
  2934985

  Copy full SHA for 2934985

Commits on May 29, 2017

• Fix after option type moved to FStar.Pervasives

  s-zanella

  committed
  255068c

  Copy full SHA for 255068c