Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fstar.exe is no longer buildable in F# as a .NET executable #2512

Merged
merged 20 commits into from
Mar 30, 2022
Merged

fstar.exe is no longer buildable in F# as a .NET executable #2512

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
2bc6f92
removing source build of F* in F#
nikswamy Mar 28, 2022
b22ce75
wip; removing F# dependences in the bootstrapping build
nikswamy Mar 28, 2022
6dbcdc1
simplifying build of ulibfs.fsproj by separating the extraction of .f…
nikswamy Mar 29, 2022
b950edf
Merge remote-tracking branch 'origin/master' into nik_misc
nikswamy Mar 29, 2022
c203ccf
missed a file
nikswamy Mar 29, 2022
fda5796
restoring FStar.sln, before revising it again
nikswamy Mar 29, 2022
2a640d1
restoring nuget dependency to load packages
nikswamy Mar 29, 2022
72c6dc8
adding a packages.config
nikswamy Mar 29, 2022
e50c0a9
restore correct version of NuGet.exe
nikswamy Mar 29, 2022
c2a7897
do no update nuget as part of the build
nikswamy Mar 29, 2022
b1963c2
disabling generation of parse.fsy; fixing nuget-restore rule
nikswamy Mar 29, 2022
352bcf7
restoring example fsproj files with a hack in fsharp.extraction.targe…
nikswamy Mar 29, 2022
c18ae7b
writing a small wrapper in .net to call F* uniformly on both linux an…
nikswamy Mar 29, 2022
d0db3ef
permissions
nikswamy Mar 29, 2022
03b51fa
FSharp.Core HintPath
nikswamy Mar 29, 2022
5646a4d
removing unused F# files
nikswamy Mar 29, 2022
2e71d5f
remove rewriting and copying of boot files; set OtherFlags explicitly…
nikswamy Mar 30, 2022
aeb3cf0
rename compiler source files to .fst and .fsti
nikswamy Mar 30, 2022
dbf0092
updating some docs
nikswamy Mar 30, 2022
90ae570
doc update
nikswamy Mar 30, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ https://github.com/FStarLang/FStar/wiki/Style-guide

## Snapshots

The F\* compiler is written in F\*/F#, then extracted to OCaml. We keep a copy
The F\* compiler is written in F\*, then extracted to OCaml. We keep a copy
of the OCaml extracted compiler under version control. We **do not** expect external
pull requests to refresh the snapshot. However, reviewers should take it upon
themselves to update the snapshot before merging to master when this is needed
Expand Down Expand Up @@ -162,7 +162,7 @@ Guido Martinez

## Tutorial

Catalin Hritcu
Nik Swamy

## Examples

Expand Down
10 changes: 0 additions & 10 deletions bin/fstar-any.sh
View file
Open in desktop

This file was deleted.

32 changes: 16 additions & 16 deletions examples/algorithms/BinarySearch.fst.hints
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 7 additions & 7 deletions examples/algorithms/BinarySearch/BinarySearch.fsproj
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,26 +45,26 @@
<!-- Custom FStar flags used in this project . -->
<FSTAR_FLAGS>--use_hints --record_hints</FSTAR_FLAGS>
</PropertyGroup>
<Import Project="$(FSTAR_HOME)\fsharp.extraction.targets" />
<Import Project="$(FSTAR_HOME)\examples\fsharp.extraction.targets" />
<ItemGroup>
<Compile Include="..\BinarySearch.fst" Link="BinarySearch.fst" />
<None Include="BinarySearch.fsx" />
<Content Include="packages.config" />
</ItemGroup>
<ItemGroup>
<Reference Include="FSharp.Core">
<HintPath>..\packages\FSharp.Core.4.5.2\lib\net45\FSharp.Core.dll</HintPath>
<HintPath>$(FSTAR_HOME)\ulib\fs\VS\packages\FSharp.Core.4.3.4\lib\net45\FSharp.Core.dll</HintPath>
</Reference>
<Reference Include="mscorlib" />
<Reference Include="System" />
<Reference Include="System.Core" />
<Reference Include="System.Numerics" />
<Reference Include="System.ValueTuple">
<HintPath>..\packages\System.ValueTuple.4.4.0\lib\netstandard1.0\System.ValueTuple.dll</HintPath>
<Private>True</Private>
</Reference>
<!-- <Reference Include="System.ValueTuple"> -->
<!-- <HintPath>..\packages\System.ValueTuple.4.4.0\lib\netstandard1.0\System.ValueTuple.dll</HintPath> -->
<!-- <Private>True</Private> -->
<!-- </Reference> -->
<Reference Include="FSharp.Compatibility.OCaml">
<HintPath>..\packages\FSharp.Compatibility.OCaml.0.1.10\lib\net40\FSharp.Compatibility.OCaml.dll</HintPath>
<HintPath>$(FSTAR_HOME)\ulib\fs\VS\packages\FSharp.Compatibility.OCaml.0.1.14\lib\net45\FSharp.Compatibility.OCaml.dll</HintPath>
</Reference>
<Reference Include="ulibfs">
<HintPath>$(FSTAR_HOME)\bin\ulibfs.dll</HintPath>
Expand Down
7 changes: 3 additions & 4 deletions examples/algorithms/BinarySearch/packages.config
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
<?xml version="1.0" encoding="utf-8"?>
<packages>
<package id="FSharp.Core" version="4.5.2" targetFramework="net45" />
<package id="System.ValueTuple" version="4.4.0" targetFramework="net45" />
<package id="FSharp.Compatibility.OCaml" version="0.1.10" targetFramework="net45" />
</packages>
<package id="FSharp.Core" version="4.3.4" targetFramework="net45" />
<package id="FSharp.Compatibility.OCaml" version="0.1.14" targetFramework="net45" />
</packages>
Loading