Ecosyste.ms: Issues

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

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

#50 - Supporting #info requests

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

#50 - Supporting #info requests

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

#49 - Minor syntax highlighting issues

Issue - State: closed - Opened by beurdouche over 7 years ago - 8 comments

#49 - Minor syntax highlighting issues

Issue - State: closed - Opened by beurdouche over 7 years ago - 8 comments

#48 - Auto-fill in comments

Issue - State: closed - Opened by kkohbrok almost 8 years ago - 8 comments
Labels: enhancement

#48 - Auto-fill in comments

Issue - State: closed - Opened by kkohbrok almost 8 years ago - 8 comments
Labels: enhancement

#47 - fstar-mode.el release matching F* release

Issue - State: closed - Opened by catalin-hritcu almost 8 years ago - 9 comments
Labels: enhancement

#47 - fstar-mode.el release matching F* release

Issue - State: closed - Opened by catalin-hritcu almost 8 years ago - 9 comments
Labels: enhancement

#46 - fstar-mode opens new buffer upon errors

Issue - State: closed - Opened by kkohbrok almost 8 years ago - 26 comments

#46 - fstar-mode opens new buffer upon errors

Issue - State: closed - Opened by kkohbrok almost 8 years ago - 26 comments

#45 - fstar-mode error message attributes error to exernal module

Issue - State: closed - Opened by kkohbrok almost 8 years ago - 3 comments

#45 - fstar-mode error message attributes error to exernal module

Issue - State: closed - Opened by kkohbrok almost 8 years ago - 3 comments

#44 - Preliminary integration of the syntax for explicit universe application

Pull Request - State: closed - Opened by kyoDralliam almost 8 years ago - 2 comments

#44 - Preliminary integration of the syntax for explicit universe application

Pull Request - State: closed - Opened by kyoDralliam almost 8 years ago - 2 comments

#42 - Undesirable comments with (//

Issue - State: closed - Opened by kyoDralliam almost 8 years ago - 8 comments

#42 - Undesirable comments with (//

Issue - State: closed - Opened by kyoDralliam almost 8 years ago - 8 comments

#41 - Pass the current filename to F*

Pull Request - State: closed - Opened by msprotz almost 8 years ago - 3 comments

#41 - Pass the current filename to F*

Pull Request - State: closed - Opened by msprotz almost 8 years ago - 3 comments

#40 - cygwin vs. windows line endings when parsing version

Issue - State: closed - Opened by nikswamy almost 8 years ago - 1 comment

#40 - cygwin vs. windows line endings when parsing version

Issue - State: closed - Opened by nikswamy almost 8 years ago - 1 comment

#39 - Last chunk verified reverted when saving buffer

Issue - State: closed - Opened by s-zanella almost 8 years ago - 6 comments

#39 - Last chunk verified reverted when saving buffer

Issue - State: closed - Opened by s-zanella almost 8 years ago - 6 comments

#38 - Line number issues

Issue - State: closed - Opened by cpitclaudel almost 8 years ago - 1 comment

#38 - Line number issues

Issue - State: closed - Opened by cpitclaudel almost 8 years ago - 1 comment

#37 - support for switching in and out of lax mode checking from emacs

Pull Request - State: closed - Opened by aseemr almost 8 years ago - 6 comments

#37 - support for switching in and out of lax mode checking from emacs

Pull Request - State: closed - Opened by aseemr almost 8 years ago - 6 comments

#36 - switching to absolute positions in the current buffer

Pull Request - State: closed - Opened by nikswamy about 8 years ago - 2 comments

#36 - switching to absolute positions in the current buffer

Pull Request - State: closed - Opened by nikswamy about 8 years ago - 2 comments

#35 - Difficulty installing from source

Issue - State: closed - Opened by nikswamy about 8 years ago - 5 comments

#35 - Difficulty installing from source

Issue - State: closed - Opened by nikswamy about 8 years ago - 5 comments

#34 - Installing fstar-mode does not seem to work with Emacs 25.0.95

Issue - State: closed - Opened by beurdouche over 8 years ago - 22 comments

#34 - Installing fstar-mode does not seem to work with Emacs 25.0.95

Issue - State: closed - Opened by beurdouche over 8 years ago - 22 comments

#33 - feature request: #done-kill

Issue - State: closed - Opened by msprotz over 8 years ago - 4 comments

#33 - feature request: #done-kill

Issue - State: closed - Opened by msprotz over 8 years ago - 4 comments

#32 - Significance of identifier colors

Issue - State: closed - Opened by nikswamy over 8 years ago - 8 comments
Labels: question

#32 - Significance of identifier colors

Issue - State: closed - Opened by nikswamy over 8 years ago - 8 comments
Labels: question

#31 - Clean up dependencies

Pull Request - State: closed - Opened by syohex almost 9 years ago - 1 comment

#31 - Clean up dependencies

Pull Request - State: closed - Opened by syohex almost 9 years ago - 1 comment

#29 - Trouble using emacs-w32 from cywgin (emacs-24.5.2)

Issue - State: closed - Opened by nikswamy almost 9 years ago - 22 comments

#29 - Trouble using emacs-w32 from cywgin (emacs-24.5.2)

Issue - State: closed - Opened by nikswamy almost 9 years ago - 22 comments

#28 - Transitive dependencies support

Issue - State: closed - Opened by catalin-hritcu almost 9 years ago - 1 comment
Labels: enhancement

#28 - Transitive dependencies support

Issue - State: closed - Opened by catalin-hritcu almost 9 years ago - 1 comment
Labels: enhancement

#27 - Warnings on updating fstar-mode

Issue - State: closed - Opened by nikswamy about 9 years ago - 3 comments

#27 - Warnings on updating fstar-mode

Issue - State: closed - Opened by nikswamy about 9 years ago - 3 comments

#26 - Use table instead of code block

Pull Request - State: closed - Opened by syohex about 9 years ago - 1 comment

#26 - Use table instead of code block

Pull Request - State: closed - Opened by syohex about 9 years ago - 1 comment

#25 - Command to kill F* process in all buffers?

Issue - State: closed - Opened by nikswamy about 9 years ago - 2 comments

#25 - Command to kill F* process in all buffers?

Issue - State: closed - Opened by nikswamy about 9 years ago - 2 comments

#24 - v vs. ∨

Issue - State: closed - Opened by msprotz about 9 years ago - 3 comments

#24 - v vs. ∨

Issue - State: closed - Opened by msprotz about 9 years ago - 3 comments

#23 - Found a repro case for sending F* into a bad state

Issue - State: closed - Opened by msprotz about 9 years ago - 3 comments

#22 - Symbol for :: (cons)?

Issue - State: closed - Opened by msprotz about 9 years ago - 4 comments

#21 - Error messages not always propagated from F* to Emacs

Issue - State: closed - Opened by beurdouche about 9 years ago - 6 comments

#20 - Name "FStar.All.ML" not found

Issue - State: closed - Opened by beurdouche about 9 years ago - 8 comments

#19 - F* sent into a weird state

Issue - State: closed - Opened by msprotz about 9 years ago - 6 comments

#18 - Disabling specific character substitutions

Issue - State: closed - Opened by hoheinzollern about 9 years ago - 3 comments

#17 - Don't strip (*--build-config ... *) comments!

Issue - State: closed - Opened by s-zanella about 9 years ago - 6 comments
Labels: bug

#16 - Ignore block delimiter inside comments

Issue - State: closed - Opened by s-zanella about 9 years ago - 4 comments
Labels: enhancement

#15 - Line-wrapping in comments

Issue - State: closed - Opened by msprotz about 9 years ago - 2 comments

#14 - Reprogram RET to re-indent as much as the previous line

Issue - State: closed - Opened by msprotz about 9 years ago - 3 comments

#13 - Different errors between interactive mode and batch mode

Issue - State: closed - Opened by msprotz about 9 years ago - 3 comments

#12 - Error not parsed: expected a module

Issue - State: closed - Opened by msprotz about 9 years ago - 1 comment

#11 - Add .fsti extension to auto-mode-alist

Issue - State: closed - Opened by s-zanella about 9 years ago - 12 comments

#10 - Forcing specific fonts for certain symbols

Issue - State: closed - Opened by nikswamy about 9 years ago - 3 comments

#9 - Prettify logical not

Pull Request - State: closed - Opened by s-zanella about 9 years ago - 1 comment

#8 - Support for single line comments

Issue - State: closed - Opened by beurdouche about 9 years ago - 9 comments
Labels: invalid

#7 - Rendering || as \/, && as /\ is questionable

Issue - State: closed - Opened by nikswamy about 9 years ago - 2 comments

#6 - Subscripts?

Issue - State: closed - Opened by nikswamy about 9 years ago - 6 comments
Labels: enhancement

#5 - Use cl-lib macro instead of cl.el

Pull Request - State: closed - Opened by syohex about 9 years ago - 1 comment

#4 - Typo in variable name in error messages

Issue - State: closed - Opened by s-zanella about 9 years ago - 1 comment

#3 - Alpha-testers wanted for interactive support

Issue - State: closed - Opened by cpitclaudel about 9 years ago - 45 comments
Labels: enhancement, help wanted

#2 - File mode specification error: (void-function fstar-setup-prettify)

Issue - State: closed - Opened by thsutton about 9 years ago - 5 comments

#1 - Unicode package to install?

Issue - State: closed - Opened by nikswamy about 9 years ago - 2 comments