Giters
FStarLang
/
fstar-mode.el
Emacs support for F*
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
68
Watchers:
37
Issues:
103
Forks:
17
FStarLang/fstar-mode.el Issues
fstar literate setup problems on Ubuntu 22.04 and emacs 28
Updated
a year ago
Comments count
4
c-c c-v verify should ask to save the current file
Updated
a year ago
Comments count
5
elaborate trace mode
Updated
a year ago
Comments count
2
c-c c-r reload better description
Updated
a year ago
Comments count
3
Open not always working
Closed
a year ago
Comments count
1
Not all errors going to *Flycheck errors*
Updated
a year ago
F* over TRAMP crashes
Updated
2 years ago
Comments count
17
Highlight sladmit
Closed
3 years ago
Weird display of the highlighted blocks
Updated
3 years ago
Comments count
1
fslit seems to no longer work very well
Updated
4 years ago
Comments count
6
can't include file in subdirectory with fslit
Closed
4 years ago
Comments count
4
`nil` confusion
Closed
4 years ago
Comments count
2
Cleanup of compiler hacking subp-prover args in fstar-mode.el
Updated
5 years ago
Comments count
6
fstar-debug-invocation and include paths
Closed
5 years ago
Comments count
6
fstar-mode over docker-tramp
Closed
5 years ago
Comments count
5
advancing is missing a bunch of new top-level constructs
Closed
5 years ago
Comments count
2
Definition lookup via TAGS
Closed
5 years ago
Comments count
8
Missing python script from ELPA installation
Closed
5 years ago
Comments count
4
Too much RAM and CPU usage when printing semi-large goals
Updated
5 years ago
Comments count
4
Code that typechecks normally from the command line can crash fstar-mode
Closed
5 years ago
Comments count
1
fstar-jump-to-definition on a module should jump to the fsti if it exists
Updated
5 years ago
Comments count
1
Definition lookup works only once
Closed
5 years ago
No company completion
Closed
5 years ago
Comments count
4
Using F* remotely, over TRAMP
Closed
6 years ago
Comments count
5
Failure to report proper error location
Closed
6 years ago
Comments count
6
Individual line comments disrupt interactive mode
Closed
6 years ago
Comments count
13
Highlight assume/admit?
Closed
6 years ago
Comments count
15
Uncommenting is possible while F* is busy
Closed
6 years ago
Comments count
3
JSON decoding warnings
Updated
6 years ago
Comments count
22
decreases clauses
Closed
6 years ago
Comments count
2
Ability to use "fstar --indent"
Updated
6 years ago
Comments count
6
C-c C-c does not immediately stop processing
Closed
6 years ago
Comments count
20
Feature request: highlight cheating commands
Closed
6 years ago
Comments count
1
Autocompletion is too eager after in and with
Closed
6 years ago
Comments count
11
Bringing back (* Coq style *) comments
Closed
6 years ago
Comments count
8
Printing tactics position info
Closed
6 years ago
Comments count
14
Highlighting from SMT solver responses obscures precise error feedback
Closed
6 years ago
Comments count
2
Pasting causes indentation
Closed
6 years ago
Comments count
11
On macOS F* output requires interaction with Emacs to be processed
Closed
6 years ago
Comments count
2
Can only evaluate once?
Closed
6 years ago
Comments count
5
Lexical argument shadows the dynamic variable
Closed
7 years ago
Comments count
3
Option to disable all of formatting (like subscript)
Closed
7 years ago
Comments count
6
Synth tactics are run during eager lax checking
Closed
7 years ago
Comments count
2
Printing the goal fails if it has percent signs
Closed
7 years ago
Comments count
3
Collapsing computationally irrelevant code
Updated
7 years ago
Comments count
1
Errors from lack of dbus on macOS
Closed
7 years ago
Comments count
5
Advancing does not recognize [@"substitute"] qualifier
Updated
7 years ago
Comments count
1
Failure("Not an imp") when defining mutually recursive types with refinement and `List.Tot.map`
Closed
7 years ago
Comments count
2
Advancing skips over definitions with qualifiers on a separate line
Closed
7 years ago
Comments count
1
F* mode considerable slow down on large files commented using //
Closed
7 years ago
Comments count
6
Previous
Next