Skip to content

Issues: project-everest/everest

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 43 Closed
21 Open 43 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

It would be good to bind a Z3 with the everest script
#116 opened Sep 6, 2024 by briangmilnes
everest karamel requires opam uucp
#113 opened Aug 1, 2024 by briangmilnes
Is it possible to create a verified JSON parser?
#110 opened May 15, 2024 by mkravchik
everest check - needs z3, node.js and dotnet check on Ubuntu
#106 opened Dec 23, 2023 by briangmilnes
Duplicate modules, unqualified module names
#104 opened Nov 3, 2023 by gebner
Karamel build breaking on windows, perhaps .. processing?
#102 opened Aug 9, 2023 by briangmilnes
2
2 web pages, one breaks the other everest script setup
#100 opened Aug 7, 2023 by briangmilnes
3
Performance monitoring of the Everest build
#92 opened Nov 16, 2022 by msprotz
8
Verify all downloaded files
#82 opened Mar 22, 2021 by DemiMarie
Build Fstar fails when using ./everest make.
#81 opened Mar 3, 2021 by kgardas
1
Port to FreeBSD
#80 opened Feb 15, 2021 by web-sst
6
misc bugs
#78 opened Jan 11, 2021 by msprotz
1
No wasm package
#73 opened Jun 18, 2020 by wintersteiger
6
hacl-star test: Illegal instruction
#66 opened Jan 16, 2020 by cassiersg
1
Makefiles reference incorrect Make installation on Mac question
#62 opened Nov 22, 2019 by rahelFain
9
The snapshot of HACL* is built as part of the verify phase
#47 opened Sep 19, 2017 by msprotz
@beurdouche
2
everest check: probe for inttypes.h in the Windows SDK
#36 opened Apr 28, 2017 by BarryBo
@msprotz
Don't use git reset --hard HEAD
#34 opened Apr 13, 2017 by msprotz
@msprotz
check that the PIC OPAM switch is used for Linux
#9 opened Dec 10, 2016 by msprotz
Guard against the pitfalls found in Darren's setup
#8 opened Dec 9, 2016 by msprotz
1
Use the script to setup a working environment for the developer, too enhancement
#6 opened Dec 6, 2016 by msprotz
1
ProTip! no:milestone will show everything without a milestone.