FStarLang/FStar

2 Issues closed by 2 people

• Closed #1705 Outputing F* to Z3 encoding process Apr 3, 2019
• Closed #866 Sys_error("Invalid argument") -- bin contains msvcp100.dll, but fstar.exe depends on msvcp110.dll Apr 2, 2019

4 Issues created by 4 people

• Opened #1708 Issues with proofs Apr 4, 2019
• Opened #1707 Extraction to C with additional libraries Apr 4, 2019
• Opened #1706 Lower case module name error is unactionable Apr 3, 2019
• Opened #1704 Ill-kinded type error reported when assertion inside function definition fails inside stateful code Apr 1, 2019

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• 1 new comment Open #1657 Failure("Failed to find dependences of /home/jonathan/Code/hacl-star/lib/Lib.IntVector.fst") Apr 3, 2019
• 1 new comment Open #1687 QI profiling Apr 1, 2019