8000 Commits · andreasdotorg/FStar · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jul 14, 2017

ULIB_ML is used both in places that require a POSIX path as well as a native path. So
Andreas Bogk
committed
Uncygwifi OCAMLPATH, so it works with absolute instead of relative FSTAR_HOME.
Andreas Bogk
committed
Uncygwifi OCAMLPATH, so it works with absolute instead of relative FSTAR_HOME.
Andreas Bogk
committed
bump OpenSSL
Andreas Bogk
committed
remove generated file
Andreas Bogk
committed
add .gitignore for *.bak
Andreas Bogk
committed
Binary files want to be closed too. This all could be so much prettier...
Andreas Bogk
committed
Actually, have separate types for binary vs. text streams, and some F# code too.
Andreas Bogk
committed
Functions for handling binary files in FStar.IO, as well as OCaml implementations of them.
Andreas Bogk
committed
Ignore generated parser file.
Andreas Bogk
committed
merge changes
Andreas Bogk
committed
Don't actually copy the header file, this change was a mistake.
Andreas Bogk
committed
Fix some more OpenSSL issues:
Andreas Bogk
committed
Add extraced ML file to .gitignore.
Andreas Bogk
committed
* Link ws2_32 lib on Windows when linking OpenSSL
Andreas Bogk
committed
Actually, don't copy the header file. Retrying with an empty
Andreas Bogk
committed
These changes fix a number of OpenSSL build issues:
Andreas Bogk
committed
Merge branch 'protz_debugging_misery'
msprotz
committed

Commits on Jul 13, 2017

Commits on Jul 12, 2017

Merge pull request #954 from andreas23/andreas23_openssl
msprotz
authored
Merge pull request #909 from andreas23/andreas23_bufferfill
msprotz
authored
Merge pull request #1122 from FStarLang/tchajed_uint128_perf
msprotz
authored
Merge pull request #948 from FStarLang/kyod_list_additions
kyoDralliam
authored
list hints
Kenji Maillard
committed
Merge branch 'master' into kyod_list_additions
Kenji Maillard
committed
Fix performance issues in UInt128
tchajed
committed
[CI] regenerate hints + ocaml snapshot
Dzomo the everest Yak
committed

Commits on Jul 11, 2017

Adds FStar.Int.Cast.Full including FStar.Int.Cast and FStar.UInt128 casts to and from UInt64.t (#1120)
s-zanella
authored
Copy full SHA for 8a8692b
[CI] regenerate hints + ocaml snapshot
Dzomo the everest Yak
committed
Merge pull request #1117 from FStarLang/catalin_rpc_monotonic
Markulf Kohlweiss
authored
Merge branch 'catalin_rpc_monotonic' of github.com:FStarLang/FStar into catalin_rpc_monotonic
Kenji Maillard
committed
adding the necessary files in the exercise folder
Kenji Maillard
committed
Merge branch 'master' into catalin_rpc_monotonic
Markulf Kohlweiss
authored
Merge branch 'catalin_rpc_monotonic' of github.com:FStarLang/FStar into catalin_rpc_monotonic
Kenji Maillard
committed

0