|
Failed to load latest commit information. |
|
.docker/build
|
refresh_tutorial for the master branch only
|
Jun 14, 2019
|
|
|
book
|
Minor manual update
|
Sep 11, 2018
|
|
|
include
|
Revert "Revert "Support for deprecation attributes in the generated C…
|
Jun 27, 2019
|
|
|
kremlib
|
Add missing headesrs
|
Jun 27, 2019
|
|
|
lib
|
Retain the names of the parameters for external declarations. This fixes
|
May 8, 2019
|
|
|
misc
|
missing directory
|
Apr 29, 2019
|
|
|
parser
|
A series of improvements for bundling.
|
Nov 29, 2018
|
|
|
runtime
|
Kremlin support for extracting the eq_mask functions into libkremlib
|
Aug 27, 2018
|
|
|
src
|
Try a different fix
|
Jun 27, 2019
|
|
|
test
|
hints
|
Jun 25, 2019
|
|
|
.clang-format
|
Finish implementation of FStar_Bytes
|
Nov 20, 2017
|
|
|
.gitattributes
|
Fix
|
Apr 5, 2018
|
|
|
.gitignore
|
Check in the introduction for the tutorial
|
Apr 24, 2018
|
|
|
.gitmodules
|
Update README
|
Oct 14, 2016
|
|
|
.merlin
|
Add required package
|
Feb 1, 2017
|
|
|
.odocl
|
Fix the build?
|
Jun 8, 2017
|
|
|
Changes.md
|
Revert "Revert "Support for deprecation attributes in the generated C…
|
Jun 27, 2019
|
|
|
DESIGN.md
|
Expand DESIGN.md
|
Feb 10, 2017
|
|
|
LICENSE
|
Nits about license
|
Oct 13, 2016
|
|
|
Makefile
|
The joys of Windows. See #103
|
Jul 16, 2018
|
|
|
README.md
|
Use master branch for CI badges
|
May 31, 2019
|
|
|
Tests.ml
|
Support for C abstract structs; hints; proof broken by upstream F* up…
|
Jul 22, 2018
|
|
|
_tags
|
hygiene
|
Sep 24, 2018
|
|
|
build_local.ps1
|
Add build local powershell to build on windows client
|
Mar 12, 2019
|
|
|
build_local.sh
|
Fix and simplify build_local.sh; partially fixes VSTS bug 81
|
Jun 19, 2019
|
|
|
myocamlbuild.ml
|
Prototype of in-memory struct allocation for the WASM backend... curr…
|
Jun 9, 2017
|