This repository was archived by the owner on Dec 14, 2025. It is now read-only.

All issues

Error message about Error locations

#17

· varosi opened

on Aug 31, 2018

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

#16

· varosi opened

on Aug 31, 2018

--ide support

#15

· cpitclaudel opened

on Apr 19, 2017

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

#14

· A-Manning opened

on Sep 13, 2016

"Uncaught TypeError: Cannot read property 'isDestroyed' of undefined"

#13

· poizan42 opened

on Jan 3, 2016

Very unfriendly error messages turn off new users

#12

· catalin-hritcu opened

on Aug 22, 2015

support for fsi/fsti

#11

· fournet opened

on Aug 20, 2015

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

#10

· markulf opened

on Aug 20, 2015

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

#9

· markulf opened

on Aug 20, 2015

Refusing to check more than one module at a time incrementally

#6

· catalin-hritcu opened

on May 24, 2015

Customizing colors

#4

· catalin-hritcu opened

on May 22, 2015

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

#1

· catalin-hritcu opened

on May 14, 2015