Downloads:
7,080
Downloads of v 0.9.6.0:
222
Last Update:
28 Aug 2018
Package Maintainer(s):
Software Author(s):
- FStarLang
Tags:
fstar programming_language proof_assistant dependent_type fsharp ocaml- Software Specific:
- Software Site
- Software Source
- Software License
- Software Docs
- Software Issues
- Package Specific:
- Package Source
- Package outdated?
- Package broken?
- Contact Maintainers
- Contact Site Admins
- Software Vendor?
- Report Abuse
- Download
F* language
This is not the latest version of F* language available.
- 1
- 2
- 3
0.9.6.0 | Updated: 28 Aug 2018
- Software Specific:
- Software Site
- Software Source
- Software License
- Software Docs
- Software Issues
- Package Specific:
- Package Source
- Package outdated?
- Package broken?
- Contact Maintainers
- Contact Site Admins
- Software Vendor?
- Report Abuse
- Download
Downloads:
7,080
Downloads of v 0.9.6.0:
222
Maintainer(s):
Software Author(s):
- FStarLang
F* language 0.9.6.0
This is not the latest version of F* language available.
Legal Disclaimer: Neither this package nor Chocolatey Software, Inc. are affiliated with or endorsed by FStarLang. The inclusion of FStarLang trademark(s), if any, upon this webpage is solely to identify FStarLang goods or services and not for commercial purposes.
- 1
- 2
- 3
All Checks are Passing
3 Passing Tests
Deployment Method: Individual Install, Upgrade, & Uninstall
To install F* language, run the following command from the command line or from PowerShell:
To upgrade F* language, run the following command from the command line or from PowerShell:
To uninstall F* language, run the following command from the command line or from PowerShell:
Deployment Method:
This applies to both open source and commercial editions of Chocolatey.
1. Enter Your Internal Repository Url
(this should look similar to https://community.chocolatey.org/api/v2/)
2. Setup Your Environment
1. Ensure you are set for organizational deployment
Please see the organizational deployment guide
2. Get the package into your environment
Option 1: Cached Package (Unreliable, Requires Internet - Same As Community)-
Open Source or Commercial:
- Proxy Repository - Create a proxy nuget repository on Nexus, Artifactory Pro, or a proxy Chocolatey repository on ProGet. Point your upstream to https://community.chocolatey.org/api/v2/. Packages cache on first access automatically. Make sure your choco clients are using your proxy repository as a source and NOT the default community repository. See source command for more information.
- You can also just download the package and push it to a repository Download
-
Open Source
-
Download the package:
Download - Follow manual internalization instructions
-
-
Package Internalizer (C4B)
-
Run: (additional options)
choco download fstar --internalize --version=0.9.6.0 --source=https://community.chocolatey.org/api/v2/
-
For package and dependencies run:
choco push --source="'INTERNAL REPO URL'"
- Automate package internalization
-
Run: (additional options)
3. Copy Your Script
choco upgrade fstar -y --source="'INTERNAL REPO URL'" --version="'0.9.6.0'" [other options]
See options you can pass to upgrade.
See best practices for scripting.
Add this to a PowerShell script or use a Batch script with tools and in places where you are calling directly to Chocolatey. If you are integrating, keep in mind enhanced exit codes.
If you do use a PowerShell script, use the following to ensure bad exit codes are shown as failures:
choco upgrade fstar -y --source="'INTERNAL REPO URL'" --version="'0.9.6.0'"
$exitCode = $LASTEXITCODE
Write-Verbose "Exit code was $exitCode"
$validExitCodes = @(0, 1605, 1614, 1641, 3010)
if ($validExitCodes -contains $exitCode) {
Exit 0
}
Exit $exitCode
- name: Install fstar
win_chocolatey:
name: fstar
version: '0.9.6.0'
source: INTERNAL REPO URL
state: present
See docs at https://docs.ansible.com/ansible/latest/modules/win_chocolatey_module.html.
chocolatey_package 'fstar' do
action :install
source 'INTERNAL REPO URL'
version '0.9.6.0'
end
See docs at https://docs.chef.io/resource_chocolatey_package.html.
cChocoPackageInstaller fstar
{
Name = "fstar"
Version = "0.9.6.0"
Source = "INTERNAL REPO URL"
}
Requires cChoco DSC Resource. See docs at https://github.com/chocolatey/cChoco.
package { 'fstar':
ensure => '0.9.6.0',
provider => 'chocolatey',
source => 'INTERNAL REPO URL',
}
Requires Puppet Chocolatey Provider module. See docs at https://forge.puppet.com/puppetlabs/chocolatey.
4. If applicable - Chocolatey configuration/installation
See infrastructure management matrix for Chocolatey configuration elements and examples.
Private CDN cached downloads available for licensed customers. Never experience 404 breakages again! Learn more...
This package was approved by moderator gep13 on 31 Aug 2018.
F*: An ML-like language aimed at program verification
Notice
This package will install F* language with compatable version of z3.
It is recommended that you remove your z3 package and then install F*
F* website
More information on F* can be found at www.fstar-lang.org
Installation
See INSTALL.md
Tutorial
The F* tutorial provides a first taste of verified programming in
F*, explaining things by example.
Wiki
The F* wiki contains additional, usually more in-depth, technical
documentation on F*.
Editing F* code
You can edit F* code using your favourite text editor, but Emacs,
Atom, and Vim have extensions that add special support for F*,
including syntax highlighting and interactive development. More
details on editor support on the F* wiki .
Executing F* code
By default F* only verifies the input code, it does not compile or execute it.
To execute F* code one needs to translate it to either OCaml or F#, using
F*'s code extraction facility---this is invoked using the command line
argument --codegen OCaml
or --codegen FSharp
. More details on
executing F* code on the F* wiki .
Community mailing list
The fstar-club mailing list is dedicated to F* users. Here is where
all F* announcements are made to the general public (e.g. for
releases, new papers, etc) and where users can ask questions, ask for
help, discuss, provide feedback, announce jobs requiring at least 10
years of F* experience, etc.
List archives are public, but only members can post.
Join here!
Slack channel
Users can also ask questions on the #fstar
Slack channel at
< http://fpchat.com/ >
Reporting issues
Please report issues using the F* issue tracker on GitHub.
Before filing please use search to make sure the issue doesn't already exist.
We don't maintain old releases, so if possible please use the
online F* editor or directly the GitHub sources to check
that your problem still exists on the master
branch.
Blog
The F* for the masses blog is also expected to become an important
source of information and news on the F* project.
License
This new variant of F* is released under the Apache 2.0 license;
see LICENSE
for more details.
Log in or click on link to see number of positives.
- FStar.0.9.6.0.nupkg (652f2056bde1) - ## / 60
In cases where actual malware is found, the packages are subject to removal. Software sometimes has false positives. Moderators do not necessarily validate the safety of the underlying software, only that a package retrieves software from the official distribution point and/or validate embedded software against official distribution point (where distribution rights allow redistribution).
Chocolatey Pro provides runtime protection from possible malware.
Add to Builder | Version | Downloads | Last Updated | Status |
---|---|---|---|---|
F* language 2024.1.13 | 126 | Sunday, January 14, 2024 | Approved | |
F* language 2023.9.3 | 91 | Monday, September 4, 2023 | Approved | |
F* language 2023.04.25 | 153 | Tuesday, April 25, 2023 | Approved | |
F* language 2023.04.08 | 70 | Monday, April 10, 2023 | Approved | |
F* language 2023.02.01 | 98 | Thursday, February 2, 2023 | Approved | |
F* language 2022.11.19 | 85 | Saturday, November 19, 2022 | Approved | |
F* language 2022.11.07 | 109 | Tuesday, November 8, 2022 | Approved | |
F* language 2022.10.07 | 88 | Saturday, November 5, 2022 | Approved | |
F* language 2022.08.10 | 119 | Thursday, August 11, 2022 | Approved | |
F* language 2022.07.13 | 95 | Wednesday, July 13, 2022 | Approved | |
F* language 2022.05.06 | 126 | Saturday, May 7, 2022 | Approved | |
F* language 2022.04.23 | 98 | Sunday, April 24, 2022 | Approved | |
F* language 2022.04.14 | 105 | Sunday, April 17, 2022 | Approved | |
F* language 2022.04.02 | 111 | Sunday, April 3, 2022 | Approved | |
F* language 2022.03.24 | 128 | Sunday, March 27, 2022 | Approved | |
F* language 2022.03.19 | 111 | Sunday, March 20, 2022 | Approved | |
F* language 2022.03.12 | 102 | Sunday, March 13, 2022 | Approved | |
F* language 2022.03.05 | 99 | Sunday, March 6, 2022 | Approved | |
F* language 2022.03.01 | 106 | Tuesday, March 1, 2022 | Approved | |
F* language 2022.02.12 | 113 | Sunday, February 13, 2022 | Approved | |
F* language 2022.02.05 | 115 | Sunday, February 6, 2022 | Approved | |
F* language 2022.01.29 | 94 | Sunday, January 30, 2022 | Approved | |
F* language 2022.01.22 | 111 | Sunday, January 23, 2022 | Approved | |
F* language 2022.01.15 | 111 | Sunday, January 16, 2022 | Approved | |
F* language 2022.01.08 | 107 | Sunday, January 9, 2022 | Approved | |
F* language 2022.01.01 | 103 | Sunday, January 2, 2022 | Approved | |
F* language 2021.12.25 | 107 | Sunday, December 26, 2021 | Approved | |
F* language 2021.12.18 | 99 | Sunday, December 19, 2021 | Approved | |
F* language 2021.12.11 | 102 | Sunday, December 12, 2021 | Approved | |
F* language 2021.12.10 | 91 | Friday, December 10, 2021 | Approved | |
F* language 2021.11.30 | 96 | Sunday, December 5, 2021 | Approved | |
F* language 2021.11.27 | 92 | Thursday, December 2, 2021 | Approved | |
F* language 2021.11.13 | 107 | Sunday, November 14, 2021 | Approved | |
F* language 2021.11.06 | 95 | Sunday, November 7, 2021 | Approved | |
F* language 2021.10.30 | 114 | Sunday, October 31, 2021 | Approved | |
F* language 2021.10.23 | 110 | Sunday, October 24, 2021 | Approved | |
F* language 2021.10.16 | 94 | Sunday, October 17, 2021 | Approved | |
F* language 2021.09.30 | 112 | Sunday, October 3, 2021 | Approved | |
F* language 2021.09.25 | 98 | Sunday, September 26, 2021 | Approved | |
F* language 2021.09.18 | 105 | Sunday, September 19, 2021 | Approved | |
F* language 2021.09.11 | 122 | Sunday, September 12, 2021 | Approved | |
F* language 2021.09.04 | 102 | Sunday, September 5, 2021 | Approved | |
F* language 2021.08.27 | 116 | Monday, August 30, 2021 | Approved | |
F* language 2021.07.31 | 125 | Tuesday, August 17, 2021 | Approved | |
F* language 0.9.7.0-alpha1 | 282 | Thursday, June 27, 2019 | Exempted | |
F* language 0.9.6.001 | 625 | Wednesday, October 17, 2018 | Approved | |
F* language 0.9.6.0 | 222 | Tuesday, August 28, 2018 | Approved | |
F* language 0.9.5.0 | 503 | Tuesday, September 5, 2017 | Approved | |
F* language 0.9.4.0 | 477 | Wednesday, May 3, 2017 | Approved |
A large number of people contributed to this release: thanks to all!
Here are a few highlights:
Main new features
Meta-F*: A metaprogramming and tactic framework, as described in this report. Code samples are in examples/tactics, examples/native_tactics and the
FStar.Tactics
andFStar.Reflection
libraries. Many people contributed a lot to this work, especially Guido Martinez.Improved type inference with two-phase typechecking: We now build verification conditions for a program after a first phase of type inference. This improves inference of implicit arguments and reduces our trust in the type inference. Thanks to Aseem Rastogi!
Caching typechecked modules: F* emits ".checked" files, an on-disk representation of a typechecked module that can be read back later. This significantly reduces the time to load a module's dependences.
Many other improvements
A sampling of improvements across the entire tool chain:
Resolving several syntactic ambiguities in the parser
A correct pretty printer for surface terms, using
fstar --indent
A new dependence analysis to support incremental compilation for larger projects
Overhauling the higher order unification algorithm, both in the representation of meta-variables and in the handling of unfolding, leading to significant performance and robustness improvements (see https://github.com/FStarLang/FStar/wiki/Design-note:-Revising-the-unifier)
Automatic generation of interfaces for modules and tighter enforcement of abstraction boundaries (see https://github.com/FStarLang/FStar/wiki/Revised-checking-of-a-module's-interface)
Improvements to the SMT encoding, removing axioms that lead to performance problems and reducing brittleness related to optimizations in the encoding, notably shallow vs deep encodings
Improved type-based erasure for extraction
Several new and improved libraries, including a revised treatment of footprints for Low* programs, in
FStar.Modifies
And work by many people in Project Everest whose use of F* drove a lot of the work in this release.
Plus many other improvements and changes as described in https://github.com/FStarLang/FStar/blob/v0.9.6.0/CHANGES.md
This package has no dependencies.
Ground Rules:
- This discussion is only about F* language and the F* language package. If you have feedback for Chocolatey, please contact the Google Group.
- This discussion will carry over multiple versions. If you have a comment about a particular version, please note that in your comments.
- The maintainers of this Chocolatey Package will be notified about new comments that are posted to this Disqus thread, however, it is NOT a guarantee that you will get a response. If you do not hear back from the maintainers after posting a message below, please follow up by using the link on the left side of this page or follow this link to contact maintainers. If you still hear nothing back, please follow the package triage process.
- Tell us what you love about the package or F* language, or tell us what needs improvement.
- Share your experiences with the package, or extra configuration or gotchas that you've found.
- If you use a url, the comment will be flagged for moderation until you've been whitelisted. Disqus moderated comments are approved on a weekly schedule if not sooner. It could take between 1-5 days for your comment to show up.