https://github.com/kant2002/fstarsample

Sample how to perform export of F* to F# with Nuget
https://github.com/kant2002/fstarsample

fstar

Last synced: 20 days ago
JSON representation

Sample how to perform export of F* to F# with Nuget

• Host: GitHub
• URL: https://github.com/kant2002/fstarsample
• Owner: kant2002
• Created: 2022-07-16T12:41:10.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2024-09-18T08:06:15.000Z (about 2 months ago)
• Last Synced: 2024-10-10T18:41:03.036Z (about 1 month ago)
• Topics: fstar
• Language: F*
• Homepage:
• Size: 404 KB
• Stars: 9
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
F* sample

=========

This is sample how to use new Nuget package for Ulib.

This repo is to test how things would work, and from that point move toward publishing process.

For now I place ulibfs package to the Myget, once things become stable and both me and F* team are happy,

I would work on publishing process.

# How to get started

Define environment variable `FSTAR_HOME` for root folder of FStar installation.

```xml

  

    

    

    

  

```

Create new global.json, or add `msbuild-sdks` values as shown below.

```json

{

  "msbuild-sdks": {

    "FStarLang.Sdk": "0.1.2"

  }

}

```

then switch to project directory and run usual .NET commands.

```bash

dotnet restore

dotnet run

```

This sample working using MSBuild SDK from this repo: https://github.com/kant2002/FStarMSBuildSdk

## Notes

`printf` sample does not working. It's hitting https://github.com/FStarLang/FStar/issues/2650 and also require https://github.com/FStarLang/FStar/pull/2656 (landed master, not released). 

So please wait.

`gc` sample is very much barebone. I would like to make closer to https://github.com/dotnet/runtime/blob/main/src/coreclr/gc/sample/GCSample.cpp in spirit. On the other side, this sample show how you can mix F* and F#

`CryptoCore` sample extracts, but does not have working code. This is for my personal testing.

Currently export can work only on F# 5.0, please set this language `5.0` in the project.