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

Remove Steel from the F* code base #2889

Merged
merged 114 commits into from
May 3, 2023
Merged

Remove Steel from the F* code base #2889

merged 114 commits into from
May 3, 2023

Conversation

tahina-pro
Copy link
Member

Steel is being split to its new GitHub repository: https://github.com/FStarLang/steel
Thus, this PR removes Steel from the F* code base.
I will open companion Karamel and Everest PRs soon.

This PR also:

tahina-pro and others added 30 commits April 12, 2023 11:11
@tahina-pro
Karamel AST: add union and array types
4e0aabe 
from #2349 by @john-ml (more precisely
unions: tahina-pro/FStar@341afa8
arrays: tahina-pro/FStar@aa80cc9
)
@tahina-pro
translate_type_without_decay; make C extraction modular
a16763c 
from #2349 (more precisely:
translate_type_without_decay by @john-ml at tahina-pro/FStar@be7a64d
modular C extraction at tahina-pro/FStar@b6873af
file as of tahina-pro/FStar@79de29e
)
@tahina-pro
use let _ =
7ef4eab
@tahina-pro
snap
38cef8c
@tahina-pro
also make translate_let extensible
57e1ab8
@tahina-pro
Revert "snap"
b012c90 
This reverts commit 38cef8c.
@tahina-pro
snap
17acd9e
@tahina-pro
Revert "snap"
92b495c 
This reverts commit 17acd9e.
@tahina-pro
split off the Steel extraction rules
e0a4da8
@tahina-pro
snap
52183ff
@tahina-pro
remove Steel
c83d43d
@tahina-pro
set some compatibility flag for FStar.NMST
ef6288a
@tahina-pro
snap
76a7d0a
@tahina-pro
(TEMP) use Karamel _taramana_no_steel
1376c61
@tahina-pro
Steel bug report 2605 moved away
1215aad
@tahina-pro
doc: disable ContextPollution
8d066f6
@tahina-pro
make FStar.Parser.Dep.core_modules a function
28ad84f 
otherwise, all OCaml programs compiled against fstar.lib will
look for prims.fst
@tahina-pro
Revert "snap"
847b5b7 
This reverts commit 76a7d0a.
@tahina-pro
snap
a8704c8
@tahina-pro
Revert "(TEMP) use Karamel _taramana_no_steel"
bbbb9f0 
This reverts commit 1376c61.
@tahina-pro
(TEMP) use Karamel taramana_no_steel
afde4ee
@tahina-pro
Merge branch 'master' of github.com:FStarLang/FStar into taramana_no_…
df704e3 
…steel
@tahina-pro
remove Pulse
55ada1b
@tahina-pro
remove Steel
cd951dc
@tahina-pro
Merge branch 'taramana_no_steel_merge_20230414' into taramana_no_steel
dc98a9d
@tahina-pro
advance F* version number to 2023.04.15
d2376f9
@tahina-pro
Merge branch 'master' of github.com:FStarLang/FStar into taramana_no_…
c9cd885 
…steel
@nikswamy
two new reflection primitives: range_of_term and range_of_sigelt
1188f38
@tahina-pro
remove Pulse
7cb2ee5
@tahina-pro
Merge branch 'merge_20230419' into taramana_no_steel
69b49e5
@tahina-pro
Copy link
Member Author

Here is the expected workflow:

  1. Have a green on Separate Steel as its own repository project-everest/everest#97
  2. Merge the Karamel PR
  3. Revert afde4ee
  4. Merge this PR.

@mtzguido mtzguido mentioned this pull request May 2, 2023
Merged
10 tasks
@mtzguido mtzguido merged commit e7c930d into master May 3, 2023
@mtzguido mtzguido deleted the taramana_no_steel branch May 3, 2023 17:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aseemr aseemr Awaiting requested review from aseemr

@mtzguido mtzguido Awaiting requested review from mtzguido

@nikswamy nikswamy Awaiting requested review from nikswamy

@R1kM R1kM Awaiting requested review from R1kM

Assignees
No one assigned
Labels
Steel Issues related to a Concurrent Resource Typing
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@tahina-pro @mtzguido @nikswamy @aseemr