Search results

elaborate trace mode

Status: Open.

#134 In FStarLang/fstar-mode.el;

· briangmilnes opened on Mar 23, 2023

c-c c-r reload better description

Status: Open.

#133 In FStarLang/fstar-mode.el;

· briangmilnes opened on Mar 22, 2023

Not all errors going to *Flycheck errors*

Status: Open.

#131 In FStarLang/fstar-mode.el;

· briangmilnes opened on Mar 21, 2023

fstar literate setup problems on Ubuntu 22.04 and emacs 28

Status: Open.

#130 In FStarLang/fstar-mode.el;

· briangmilnes opened on Mar 21, 2023

c-c c-v verify should ask to save the current file

Status: Open.

#129 In FStarLang/fstar-mode.el;

· briangmilnes opened on Mar 18, 2023

Weird display of the highlighted blocks

Status: Open.

#124 In FStarLang/fstar-mode.el;

· beurdouche opened on Mar 20, 2021

fslit seems to no longer work very well

Status: Open.

#117 In FStarLang/fstar-mode.el;

· msprotz opened on Mar 13, 2020

Cleanup of compiler hacking subp-prover args in fstar-mode.el

Status: Open.

#113 In FStarLang/fstar-mode.el;

· aseemr opened on Aug 19, 2019

fstar-jump-to-definition on a module should jump to the fsti if it exists

enhancement

Status: Open.

#107 In FStarLang/fstar-mode.el;

· jaybosamiya opened on May 23, 2019

F* over TRAMP crashes

Status: Open.

#102 In FStarLang/fstar-mode.el;

· R1kM opened on Feb 15, 2019

Too much RAM and CPU usage when printing semi-large goals

Status: Open.

#94 In FStarLang/fstar-mode.el;

· mtzguido opened on Aug 15, 2018

Ability to use "fstar --indent"

Status: Open.

#84 In FStarLang/fstar-mode.el;

· jaybosamiya opened on Mar 22, 2018