-
Notifications
You must be signed in to change notification settings - Fork 7
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Normalization of
pts_tomakes an assertion fail (steel)steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#214 In FStarLang/steel;Trouble with SMT fallback and tactic left uninstantiated variable
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#215 In FStarLang/steel;Strange interaction between framing, preconditions, and conditionals
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#216 In FStarLang/steel;Mismatch in the post slprop type in the case of weakening
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#225 In FStarLang/steel;Steel work items
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#224 In FStarLang/steel;Better support for sladmit
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#223 In FStarLang/steel;Unification failure in framing
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#222 In FStarLang/steel;Better support for pure slprops in framing
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#221 In FStarLang/steel;Difficulties with refinement subtyping in Steel
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#220 In FStarLang/steel;Verification using selectors occasionally requires a call to SteelSel.get
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#219 In FStarLang/steel;Effects SteelSel and SteelSelF (or PURE and SteelSel(F)) cannot be composed
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#218 In FStarLang/steel;CheckNoUVars Failure in Steel
steelIssues related to the Steel separation logic effect and tactic in F*Issues related to the Steel separation logic effect and tactic in F*Status: Open.#217 In FStarLang/steel;