Search results

It would be good to bind a Z3 with the everest script

Status: Open.

#116 In project-everest/everest;

· briangmilnes opened on Sep 6, 2024

everest karamel requires opam uucp

Status: Open.

#113 In project-everest/everest;

· briangmilnes opened on Aug 1, 2024

Is it possible to create a verified JSON parser?

Status: Open.

#110 In project-everest/everest;

· mkravchik opened on May 15, 2024

everest check - needs z3, node.js and dotnet check on Ubuntu

Status: Open.

#106 In project-everest/everest;

· briangmilnes opened on Dec 23, 2023

Duplicate modules, unqualified module names

Status: Open.

#104 In project-everest/everest;

· gebner opened on Nov 3, 2023

Karamel build breaking on windows, perhaps .. processing?

Status: Open.

#102 In project-everest/everest;

· briangmilnes opened on Aug 9, 2023

2 web pages, one breaks the other everest script setup

Status: Open.

#100 In project-everest/everest;

· briangmilnes opened on Aug 7, 2023

Performance monitoring of the Everest build

Status: Open.

#92 In project-everest/everest;

· msprotz opened on Nov 16, 2022

Verify all downloaded files

Status: Open.

#82 In project-everest/everest;

· DemiMarie opened on Mar 22, 2021

Build Fstar fails when using ./everest make.

Status: Open.

#81 In project-everest/everest;

· kgardas opened on Mar 3, 2021

Port to FreeBSD

Status: Open.

#80 In project-everest/everest;

· web-sst opened on Feb 15, 2021

misc bugs

Status: Open.

#78 In project-everest/everest;

· msprotz opened on Jan 11, 2021