Search results

I don't use Windows, but interactive still returns Busy for me

Status: Open.

#22 In FStarLang/VimFStar;

· WhiteBlackGoose opened on Feb 7, 2023

module syntax line not correctly ended

Status: Open.

#19 In FStarLang/VimFStar;

· xzinkus opened on Dec 2, 2019

Syntax highlighting is wrong for comments

Status: Open.

#17 In FStarLang/VimFStar;

· tyilo opened on May 8, 2018

--ide support?

Status: Open.

#16 In FStarLang/VimFStar;

· cpitclaudel opened on Apr 19, 2017

Opening a FStar file raises an exception

Status: Open.

#15 In FStarLang/VimFStar;

· anithag opened on Jul 29, 2016

Don't start the fstar process unless user starts interactive verification

Status: Open.

#14 In FStarLang/VimFStar;

· msprotz opened on Mar 16, 2016