fstarlang/fstar-interactive issues and pull requests

#18 - Bump lodash from 2.4.2 to 4.17.19

Pull Request - State: open - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#17 - Error message about Error locations

Issue - State: open - Opened by varosi about 6 years ago

#16 - On Atom 1.30 x64 I got deprecation on that plug-in

Issue - State: open - Opened by varosi about 6 years ago

#15 - --ide support

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

#14 - Uncaught Error: ENOENT: no such file or directory, lstat 'C:\FStarProjects\atom-fstar-build.json'

Issue - State: open - Opened by A-Manning about 8 years ago - 2 comments

#13 - "Uncaught TypeError: Cannot read property 'isDestroyed' of undefined"

Issue - State: open - Opened by poizan42 almost 9 years ago - 3 comments

#12 - Very unfriendly error messages turn off new users

Issue - State: open - Opened by catalin-hritcu about 9 years ago - 2 comments

#11 - support for fsi/fsti

Issue - State: open - Opened by fournet about 9 years ago - 2 comments

#10 - atom-fstar-build.json needs --verify_module <Module checked> flag.

Issue - State: open - Opened by markulf about 9 years ago - 2 comments

#9 - Error messages report relative (with respect to previously checked part of the file) line numbers

Issue - State: open - Opened by markulf about 9 years ago - 1 comment
Labels: bug

#8 - Ctrl+Shift+G does something completely different for me, not jumping to next error

Issue - State: closed - Opened by catalin-hritcu over 9 years ago

#7 - unrecognized option '--in'

Issue - State: closed - Opened by srenatus over 9 years ago - 2 comments

#6 - Refusing to check more than one module at a time incrementally

Issue - State: open - Opened by catalin-hritcu over 9 years ago

#5 - Uncaught TypeError: Cannot read property 'onDidChangeCursorPosition' of undefined

Issue - State: closed - Opened by catalin-hritcu over 9 years ago - 13 comments

#4 - Customizing colors

Issue - State: open - Opened by catalin-hritcu over 9 years ago - 2 comments
Labels: enhancement

#3 - Check next

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

#2 - Uncaught TypeError: Cannot read property 'shift' of undefined

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

#1 - Better error messages when interactive can't find fstar.exe

Issue - State: open - Opened by catalin-hritcu over 9 years ago - 19 comments
Labels: enhancement

Ecosyste.ms: Issues

GitHub / fstarlang/fstar-interactive issues and pull requests