fstarlang/fstar-mode.el issues and pull requests

#100 - Add syntax highlighting for [class] and [instance]

Pull Request - State: closed - Opened by jaybosamiya almost 6 years ago - 1 comment

#100 - Add syntax highlighting for [class] and [instance]

Pull Request - State: closed - Opened by jaybosamiya almost 6 years ago - 1 comment

#99 - advancing is missing a bunch of new top-level constructs

Issue - State: closed - Opened by msprotz almost 6 years ago - 2 comments

#99 - advancing is missing a bunch of new top-level constructs

Issue - State: closed - Opened by msprotz almost 6 years ago - 2 comments

#98 - Using F* remotely, over TRAMP

Issue - State: closed - Opened by jaybosamiya about 6 years ago - 5 comments

#98 - Using F* remotely, over TRAMP

Issue - State: closed - Opened by jaybosamiya about 6 years ago - 5 comments

#97 - Definition lookup works only once

Issue - State: closed - Opened by wintersteiger about 6 years ago

#97 - Definition lookup works only once

Issue - State: closed - Opened by wintersteiger about 6 years ago

#96 - tactics: Display goal labels

Pull Request - State: closed - Opened by mtzguido about 6 years ago - 4 comments

#96 - tactics: Display goal labels

Pull Request - State: closed - Opened by mtzguido about 6 years ago - 4 comments

#95 - Definition lookup via TAGS

Issue - State: closed - Opened by wintersteiger about 6 years ago - 8 comments

#95 - Definition lookup via TAGS

Issue - State: closed - Opened by wintersteiger about 6 years ago - 8 comments

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

Issue - State: open - Opened by mtzguido over 6 years ago - 4 comments

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

Issue - State: open - Opened by mtzguido over 6 years ago - 4 comments

#93 - fstar-debug-invocation and include paths

Issue - State: closed - Opened by mtzguido over 6 years ago - 6 comments

#93 - fstar-debug-invocation and include paths

Issue - State: closed - Opened by mtzguido over 6 years ago - 6 comments

#92 - Failure to report proper error location

Issue - State: closed - Opened by beurdouche over 6 years ago - 6 comments
Labels: invalid

#92 - Failure to report proper error location

Issue - State: closed - Opened by beurdouche over 6 years ago - 6 comments
Labels: invalid

#91 - Highlight assume/admit?

Issue - State: closed - Opened by parno over 6 years ago - 15 comments
Labels: enhancement

#91 - Highlight assume/admit?

Issue - State: closed - Opened by parno over 6 years ago - 15 comments
Labels: enhancement

#90 - decreases clauses

Issue - State: closed - Opened by wintersteiger over 6 years ago - 2 comments

#90 - decreases clauses

Issue - State: closed - Opened by wintersteiger over 6 years ago - 2 comments

#89 - Uncommenting is possible while F* is busy

Issue - State: closed - Opened by jaybosamiya over 6 years ago - 3 comments

#89 - Uncommenting is possible while F* is busy

Issue - State: closed - Opened by jaybosamiya over 6 years ago - 3 comments

#88 - Individual line comments disrupt interactive mode

Issue - State: closed - Opened by parno over 6 years ago - 13 comments

#88 - Individual line comments disrupt interactive mode

Issue - State: closed - Opened by parno over 6 years ago - 13 comments

#87 - Missing python script from ELPA installation

Issue - State: closed - Opened by jeb2239 over 6 years ago - 4 comments

#87 - Missing python script from ELPA installation

Issue - State: closed - Opened by jeb2239 over 6 years ago - 4 comments

#86 - Update README.md

Pull Request - State: closed - Opened by msprotz over 6 years ago - 1 comment

#86 - Update README.md

Pull Request - State: closed - Opened by msprotz over 6 years ago - 1 comment

#85 - Bringing back (* Coq style *) comments

Issue - State: closed - Opened by catalin-hritcu over 6 years ago - 8 comments

#85 - Bringing back (* Coq style *) comments

Issue - State: closed - Opened by catalin-hritcu over 6 years ago - 8 comments

#84 - Ability to use "fstar --indent"

Issue - State: open - Opened by jaybosamiya over 6 years ago - 6 comments

#84 - Ability to use "fstar --indent"

Issue - State: open - Opened by jaybosamiya over 6 years ago - 6 comments

#83 - Printing tactics position info

Issue - State: closed - Opened by mtzguido over 6 years ago - 14 comments

#83 - Printing tactics position info

Issue - State: closed - Opened by mtzguido over 6 years ago - 14 comments

#82 - Can only evaluate once?

Issue - State: closed - Opened by catalin-hritcu over 6 years ago - 5 comments

#82 - Can only evaluate once?

Issue - State: closed - Opened by catalin-hritcu over 6 years ago - 5 comments

#81 - JSON decoding warnings

Issue - State: open - Opened by nikswamy over 6 years ago - 22 comments

#81 - JSON decoding warnings

Issue - State: open - Opened by nikswamy over 6 years ago - 22 comments

#80 - #79, Lexical argument shadows the dynamic variable

Pull Request - State: closed - Opened by andreas-roehler about 7 years ago - 6 comments

#80 - #79, Lexical argument shadows the dynamic variable

Pull Request - State: closed - Opened by andreas-roehler about 7 years ago - 6 comments

#79 - Lexical argument shadows the dynamic variable

Issue - State: closed - Opened by andreas-roehler about 7 years ago - 3 comments

#79 - Lexical argument shadows the dynamic variable

Issue - State: closed - Opened by andreas-roehler about 7 years ago - 3 comments

#78 - Pasting causes indentation

Issue - State: closed - Opened by kkohbrok about 7 years ago - 11 comments

#78 - Pasting causes indentation

Issue - State: closed - Opened by kkohbrok about 7 years ago - 11 comments

#77 - add install instructions for Spacemacs

Pull Request - State: closed - Opened by ildyria about 7 years ago - 2 comments

#77 - add install instructions for Spacemacs

Pull Request - State: closed - Opened by ildyria about 7 years ago - 2 comments

#76 - Option to disable all of formatting (like subscript)

Issue - State: closed - Opened by ia0 about 7 years ago - 6 comments

#76 - Option to disable all of formatting (like subscript)

Issue - State: closed - Opened by ia0 about 7 years ago - 6 comments

#75 - Escape the goal/witness strings when printing

Pull Request - State: closed - Opened by tchajed about 7 years ago - 1 comment

#75 - Escape the goal/witness strings when printing

Pull Request - State: closed - Opened by tchajed about 7 years ago - 1 comment

#74 - Printing the goal fails if it has percent signs

Issue - State: closed - Opened by tchajed about 7 years ago - 3 comments

#74 - Printing the goal fails if it has percent signs

Issue - State: closed - Opened by tchajed about 7 years ago - 3 comments

#73 - Synth tactics are run during eager lax checking

Issue - State: closed - Opened by tchajed about 7 years ago - 2 comments

#73 - Synth tactics are run during eager lax checking

Issue - State: closed - Opened by tchajed about 7 years ago - 2 comments

#72 - Collapsing computationally irrelevant code

Issue - State: open - Opened by jkzinzindohoue over 7 years ago - 1 comment

#72 - Collapsing computationally irrelevant code

Issue - State: open - Opened by jkzinzindohoue over 7 years ago - 1 comment

#71 - Highlighting from SMT solver responses obscures precise error feedback

Issue - State: closed - Opened by tchajed over 7 years ago - 2 comments

#71 - Highlighting from SMT solver responses obscures precise error feedback

Issue - State: closed - Opened by tchajed over 7 years ago - 2 comments

#70 - Errors from lack of dbus on macOS

Issue - State: closed - Opened by tchajed over 7 years ago - 5 comments

#70 - Errors from lack of dbus on macOS

Issue - State: closed - Opened by tchajed over 7 years ago - 5 comments

#69 - C-c C-c does not immediately stop processing

Issue - State: closed - Opened by tchajed over 7 years ago - 20 comments

#69 - C-c C-c does not immediately stop processing

Issue - State: closed - Opened by tchajed over 7 years ago - 20 comments

#68 - On macOS F* output requires interaction with Emacs to be processed

Issue - State: closed - Opened by tchajed over 7 years ago - 2 comments

#68 - On macOS F* output requires interaction with Emacs to be processed

Issue - State: closed - Opened by tchajed over 7 years ago - 2 comments

#67 - Autocompletion is too eager after in and with

Issue - State: closed - Opened by tchajed over 7 years ago - 11 comments

#67 - Autocompletion is too eager after in and with

Issue - State: closed - Opened by tchajed over 7 years ago - 11 comments

#66 - Feature request: highlight cheating commands

Issue - State: closed - Opened by tchajed over 7 years ago - 1 comment

#66 - Feature request: highlight cheating commands

Issue - State: closed - Opened by tchajed over 7 years ago - 1 comment

#65 - Failure("Not an imp") when defining mutually recursive types with refinement and `List.Tot.map`

Issue - State: closed - Opened by tahina-pro over 7 years ago - 2 comments
Labels: bug

#65 - Failure("Not an imp") when defining mutually recursive types with refinement and `List.Tot.map`

Issue - State: closed - Opened by tahina-pro over 7 years ago - 2 comments
Labels: bug

#64 - Advancing does not recognize [@"substitute"] qualifier

Issue - State: open - Opened by tchajed over 7 years ago - 1 comment

#64 - Advancing does not recognize [@"substitute"] qualifier

Issue - State: open - Opened by tchajed over 7 years ago - 1 comment

#63 - Advancing skips over definitions with qualifiers on a separate line

Issue - State: closed - Opened by tchajed over 7 years ago - 1 comment

#63 - Advancing skips over definitions with qualifiers on a separate line

Issue - State: closed - Opened by tchajed over 7 years ago - 1 comment

#62 - F* mode considerable slow down on large files commented using //

Issue - State: closed - Opened by beurdouche over 7 years ago - 6 comments
Labels: performance

#62 - F* mode considerable slow down on large files commented using //

Issue - State: closed - Opened by beurdouche over 7 years ago - 6 comments
Labels: performance

#61 - Adding newline reverts processed block

Issue - State: closed - Opened by tchajed over 7 years ago - 9 comments

#61 - Adding newline reverts processed block

Issue - State: closed - Opened by tchajed over 7 years ago - 9 comments

#60 - Auto-populate match expressions

Issue - State: closed - Opened by parno over 7 years ago - 3 comments

#60 - Auto-populate match expressions

Issue - State: closed - Opened by parno over 7 years ago - 3 comments

#59 - "Main" vs. "related" error locations

Issue - State: closed - Opened by nikswamy over 7 years ago - 4 comments

#59 - "Main" vs. "related" error locations

Issue - State: closed - Opened by nikswamy over 7 years ago - 4 comments

#58 - Automatic case splits

Issue - State: open - Opened by cpitclaudel over 7 years ago

#58 - Automatic case splits

Issue - State: open - Opened by cpitclaudel over 7 years ago

#57 - feature request: go to location when "F*: subprocess exited".

Issue - State: closed - Opened by fournet over 7 years ago - 1 comment

#57 - feature request: go to location when "F*: subprocess exited".

Issue - State: closed - Opened by fournet over 7 years ago - 1 comment

#56 - Feature requests from 2014-04-17 discussion

Issue - State: closed - Opened by cpitclaudel over 7 years ago - 11 comments

#56 - Feature requests from 2014-04-17 discussion

Issue - State: closed - Opened by cpitclaudel over 7 years ago - 11 comments

#55 - Can't find mutually recursive function in interactive mode

Issue - State: closed - Opened by catalin-hritcu over 7 years ago - 2 comments

#55 - Can't find mutually recursive function in interactive mode

Issue - State: closed - Opened by catalin-hritcu over 7 years ago - 2 comments

GitHub / fstarlang/fstar-mode.el issues and pull requests