Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / fstarlang/steel issues and pull requests

#191 - rename FStarC.Compiler -> FStarC

Pull Request - State: closed - Opened by mtzguido 22 days ago

#190 - ci: schedule nightly job too

Pull Request - State: closed - Opened by mtzguido 28 days ago

#189 - No FSTAR_HOME

Pull Request - State: closed - Opened by mtzguido 29 days ago

#188 - New Github actions CI

Pull Request - State: closed - Opened by mtzguido 30 days ago - 1 comment

#187 - plugin: use fstar.pluginlib

Pull Request - State: closed - Opened by mtzguido about 1 month ago

#186 - Makefiles: introduce locate_fstar.mk, avoid use of which

Pull Request - State: closed - Opened by mtzguido about 1 month ago

#185 - mk: Fix --already_cached '*', which fails in Windows

Pull Request - State: closed - Opened by mtzguido about 2 months ago

#184 - Removing the snapshot and staging the build

Pull Request - State: closed - Opened by mtzguido 4 months ago - 3 comments

#144 - Ghost, Unobservable, Atomic

Issue - State: closed - Opened by nikswamy about 1 year ago

#100 - Sequential and parallel QuickSort in Pulse

Pull Request - State: closed - Opened by tdardinier over 1 year ago - 2 comments

#100 - Sequential and parallel QuickSort in Pulse

Pull Request - State: closed - Opened by tdardinier over 1 year ago - 2 comments

#99 - Remove uses of elseq t l = erased (lseq t l)

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#99 - Remove uses of elseq t l = erased (lseq t l)

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#98 - Misc changes

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#98 - Misc changes

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#97 - Crash when last two implicit arguments have dependency

Issue - State: closed - Opened by mtzguido over 1 year ago
Labels: pulse

#97 - Crash when last two implicit arguments have dependency

Issue - State: closed - Opened by mtzguido over 1 year ago
Labels: pulse

#96 - Allow some subtyping for the return type of Pulse functions

Issue - State: closed - Opened by tahina-pro over 1 year ago - 1 comment
Labels: pulse

#96 - Allow some subtyping for the return type of Pulse functions

Issue - State: closed - Opened by tahina-pro over 1 year ago - 1 comment
Labels: pulse

#95 - Preserve postconditions of lemma calls in tail position

Issue - State: open - Opened by tahina-pro over 1 year ago
Labels: pulse

#95 - Preserve postconditions of lemma calls in tail position

Issue - State: open - Opened by tahina-pro over 1 year ago
Labels: pulse

#94 - Wrong bind effect inference in ghost functions

Issue - State: open - Opened by tahina-pro over 1 year ago
Labels: pulse

#94 - Wrong bind effect inference in ghost functions

Issue - State: open - Opened by tahina-pro over 1 year ago
Labels: pulse

#93 - Pulse by example

Pull Request - State: closed - Opened by meganfrisella over 1 year ago
Labels: pulse

#93 - Pulse by example

Pull Request - State: closed - Opened by meganfrisella over 1 year ago
Labels: pulse

#92 - Treat ghost refs as non-informative

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#92 - Treat ghost refs as non-informative

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#91 - Adding invariants to Steel.ST.Util.Implies (aka stick) and exposing it in Pulse

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 2 comments
Labels: pulse, steel

#91 - Adding invariants to Steel.ST.Util.Implies (aka stick) and exposing it in Pulse

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 2 comments
Labels: pulse, steel

#90 - Nit: remove trailing `emp` from `list_as_vprop`

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 1 comment
Labels: pulse

#90 - Nit: remove trailing `emp` from `list_as_vprop`

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 1 comment
Labels: pulse

#89 - Pretty printing errors

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 5 comments

#89 - Pretty printing errors

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 5 comments

#88 - Making desugaring errors more localized

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#88 - Making desugaring errors more localized

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#87 - Fix build after errors PR

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#87 - Fix build after errors PR

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#86 - Fresh invariant

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#86 - Fresh invariant

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#85 - Generalizing rewrite and a new rewrite each

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#85 - Generalizing rewrite and a new rewrite each

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#84 - Snap for F* change

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#84 - Snap for F* change

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#82 - snap, fix for F* patch

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#82 - snap, fix for F* patch

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#81 - Pulse: elaborate annotations before check_universe

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#81 - Pulse: elaborate annotations before check_universe

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#80 - Pulse: keep the range on syntax errors

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#80 - Pulse: keep the range on syntax errors

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#79 - Update parser after F* change

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#79 - Update parser after F* change

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#78 - Pulse: References: exposing uniform pts_to_injective_eq, share, gather

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 2 comments

#78 - Pulse: References: exposing uniform pts_to_injective_eq, share, gather

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 2 comments

#77 - Refining types with equalities interacts badly with lack of inductive subtyping

Issue - State: closed - Opened by mtzguido over 1 year ago
Labels: pulse

#77 - Refining types with equalities interacts badly with lack of inductive subtyping

Issue - State: closed - Opened by mtzguido over 1 year ago
Labels: pulse

#76 - Trouble with dependent tuples

Issue - State: open - Opened by meganfrisella over 1 year ago
Labels: pulse

#76 - Trouble with dependent tuples

Issue - State: open - Opened by meganfrisella over 1 year ago
Labels: pulse

#75 - Mature versions of DPE implementation, hash table lib, and array lib in Pulse

Pull Request - State: closed - Opened by meganfrisella over 1 year ago - 1 comment

#75 - Mature versions of DPE implementation, hash table lib, and array lib in Pulse

Pull Request - State: closed - Opened by meganfrisella over 1 year ago - 1 comment

#74 - Followup fix to https://github.com/FStarLang/karamel/pull/364

Pull Request - State: closed - Opened by msprotz over 1 year ago

#74 - Followup fix to https://github.com/FStarLang/karamel/pull/364

Pull Request - State: closed - Opened by msprotz over 1 year ago

#73 - examples: fix path for OPAM package

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#73 - examples: fix path for OPAM package

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#72 - Support universe polymorphism

Issue - State: open - Opened by mtzguido over 1 year ago - 2 comments
Labels: pulse

#72 - Support universe polymorphism

Issue - State: open - Opened by mtzguido over 1 year ago - 2 comments
Labels: pulse

#71 - Support let binding annotations

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 1 comment

#71 - Support let binding annotations

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 1 comment

#70 - Support for ghost binds and ghost applications in Pulse

Pull Request - State: closed - Opened by aseemr over 1 year ago - 1 comment

#70 - Support for ghost binds and ghost applications in Pulse

Pull Request - State: closed - Opened by aseemr over 1 year ago - 1 comment

#69 - Confusing behavior when the last pulse block is not ended properly

Issue - State: closed - Opened by aseemr over 1 year ago - 1 comment
Labels: pulse

#69 - Confusing behavior when the last pulse block is not ended properly

Issue - State: closed - Opened by aseemr over 1 year ago - 1 comment
Labels: pulse

#68 - Bad error localization

Issue - State: open - Opened by tdardinier over 1 year ago
Labels: pulse

#68 - Bad error localization

Issue - State: open - Opened by tdardinier over 1 year ago
Labels: pulse

#67 - Prepare for FStarLang/FStar#3001

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#67 - Prepare for FStarLang/FStar#3001

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#66 - Use substitutions rather than open (close c x) e

Issue - State: open - Opened by aseemr over 1 year ago
Labels: pulse

#66 - Use substitutions rather than open (close c x) e

Issue - State: open - Opened by aseemr over 1 year ago
Labels: pulse

#65 - Query aggregation

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 2 comments

#65 - Query aggregation

Pull Request - State: closed - Opened by mtzguido over 1 year ago - 2 comments

#64 - A tweak to the matching step in the prover

Pull Request - State: closed - Opened by aseemr over 1 year ago

#64 - A tweak to the matching step in the prover

Pull Request - State: closed - Opened by aseemr over 1 year ago

#63 - Fixes for F* PR #3004

Pull Request - State: closed - Opened by aseemr over 1 year ago

#63 - Fixes for F* PR #3004

Pull Request - State: closed - Opened by aseemr over 1 year ago

#62 - Impossible! (Tm_match)

Issue - State: closed - Opened by nikswamy over 1 year ago - 1 comment
Labels: pulse

#62 - Impossible! (Tm_match)

Issue - State: closed - Opened by nikswamy over 1 year ago - 1 comment
Labels: pulse

#61 - Fix build

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#61 - Fix build

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#60 - Refactoring the Pulse library

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#60 - Refactoring the Pulse library

Pull Request - State: closed - Opened by nikswamy over 1 year ago

#59 - Steel: use @@@unused for arguments of locks and invariants

Pull Request - State: closed - Opened by mtzguido over 1 year ago
Labels: steel

#59 - Steel: use @@@unused for arguments of locks and invariants

Pull Request - State: closed - Opened by mtzguido over 1 year ago
Labels: steel

#58 - Typing preconditions in F* reflection typing judgment

Issue - State: open - Opened by aseemr over 1 year ago
Labels: pulse

#58 - Typing preconditions in F* reflection typing judgment

Issue - State: open - Opened by aseemr over 1 year ago
Labels: pulse

#57 - Failing smt queries

Issue - State: closed - Opened by aseemr over 1 year ago - 1 comment
Labels: pulse

#57 - Failing smt queries

Issue - State: closed - Opened by aseemr over 1 year ago - 1 comment
Labels: pulse

#56 - examples/pulse/Makefile: include current directory too

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#56 - examples/pulse/Makefile: include current directory too

Pull Request - State: closed - Opened by mtzguido over 1 year ago

#55 - snap for FStarLang/FStar#3001

Pull Request - State: closed - Opened by mtzguido over 1 year ago