Tahina Ramananandro (professional account)

icon indicating a website link http://www.microsoft.com/en-us/research/people/taramana icon indicating an email [email protected]

icon company @microsoft Research icon location Redmond, WA, USA icon location Principal Research Software Development Engineer

Results 44 comments of Tahina Ramananandro (professional account)

Build with dune

> > As an alternative, `dune` might be able to generate all ctypes stubs, thus replacing Karamel's `-ctypes` option Actually, this is not true, ctypes users still need to write...

Build with dune

Thanks a lot Victor for chiming in! In that case, if `hacl-star-raw` is indeed the only user of `krml -ctypes`, then the ctypes test should be structured as similarly as...

Build with dune

Thanks a lot Jonathan for your help!

Document the MacOS binary package (e.g. dependency on gmp)

Hi Tomáš, * The file name extension for fstar.exe is deliberately the same on all platforms. In practice Project Everest (HACL*, EverParse, etc.) have Makefiles that are designed to work...