Skip to content

Issues: GaloisInc/VERSE-Toolchain

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

61 Open 53 Closed
61 Open 53 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

Collect user telemetry from CN tutorial CN Issues related to the CN tool documentation Improvements or additions to documentation hci Issues related to human-computer interaction
#138 opened Dec 18, 2024 by thatplguy
@samcowger
[FEATURE] Support switching CN comment syntaxes
#135 opened Dec 2, 2024 by samcowger
@samcowger
LSP: allow choice of solver
#133 opened Nov 19, 2024 by samcowger
@samcowger
Use Etna for evaluating VERSE PBT spec testing Issues relating to runtime specification testing.
#131 opened Nov 12, 2024 by thatplguy
[FEATURE] Collect user telemetry to support QE/EC metrics Galois Galois, Inc. hci Issues related to human-computer interaction
#125 opened Oct 18, 2024 by thatplguy
4 tasks
End of P1
7
[BUG] Extremely slow checking of apparently simple OpenSUT code CN Issues related to the CN tool
#124 opened Sep 25, 2024 by peterohanley
2 of 4 tasks
2
Public-facing web presence for VERSE project-logistics Issues related to contracts, finance, meetings, planning, etc.
#122 opened Aug 29, 2024 by thatplguy
@thatplguy
3
Choose a documentation platform
#119 opened Aug 19, 2024 by thatplguy
7 tasks
@thatplguy
Plan evaluation for BAA metrics
#118 opened Aug 19, 2024 by thatplguy
@thatplguy
[FEATURE] CN language reference CN Issues related to the CN tool documentation Improvements or additions to documentation Galois Galois, Inc.
#117 opened Aug 14, 2024 by thatplguy
3 tasks
@thatplguy
2
Record demo video CN Issues related to the CN tool Galois Galois, Inc. VDE Issues related to VERSE IDE
#116 opened Aug 12, 2024 by thatplguy
@thatplguy
1
[FEATURE] Small end-to-end demo for Matt Wilding CN Issues related to the CN tool Galois Galois, Inc. VDE Issues related to VERSE IDE
#115 opened Aug 8, 2024 by thatplguy
3 tasks
@thatplguy
CI (CD?): publish server binary periodically Galois Galois, Inc. VDE Issues related to VERSE IDE
#114 opened Aug 7, 2024 by samcowger
@samcowger
Share spec testing work items spec testing Issues relating to runtime specification testing. UCam University of Cambridge
#112 opened Aug 6, 2024 by thatplguy
@rbanerjee20
[FEATURE] Demo example of using CN to prevent memory error in real-world C code CN Issues related to the CN tool enhancement New feature or request Galois Galois, Inc.
#110 opened Jul 26, 2024 by podhrmic
3 tasks
Someday
@podhrmic
1
Set up infrastructure for monthly CVC5 data dump CN Issues related to the CN tool
#108 opened Jul 16, 2024 by thatplguy
3
[BUG] CN cannot be interrupted mid-proof bug Something isn't working CN Issues related to the CN tool
#104 opened Jun 19, 2024 by podhrmic MVP 2
2
[BUG] CN crashes if spec arg list does not match function bug Something isn't working CN Issues related to the CN tool
#102 opened Jun 18, 2024 by peterohanley
3 of 4 tasks
MVP 2
[BUG] CN crashes on a spec with a variably-sized array bug Something isn't working CN Issues related to the CN tool
#101 opened Jun 18, 2024 by peterohanley
2 of 4 tasks
1
[BUG] CN can't process do-while loops bug Something isn't working CN Issues related to the CN tool
#100 opened Jun 18, 2024 by peterohanley
2 of 4 tasks
4
Remove "assert" keyword from CN syntax in most places CN Issues related to the CN tool
#99 opened Jun 9, 2024 by bcpierce00
2
[FEATURE] Syntax sugar for CN CN Issues related to the CN tool enhancement New feature or request Galois Galois, Inc.
#98 opened Jun 7, 2024 by podhrmic MVP 2
3
[FEATURE] Coverage measurements from CN CN Issues related to the CN tool enhancement New feature or request
#93 opened May 30, 2024 by podhrmic
3 tasks
MVP 2
7
[FEATURE] Add OpenSUT to CN-examples repo CN Issues related to the CN tool documentation Improvements or additions to documentation Galois Galois, Inc.
#92 opened May 30, 2024 by podhrmic
1 task
MVP 2
[FEATURE] Create a CN style guide CN Issues related to the CN tool documentation Improvements or additions to documentation Galois Galois, Inc.
#90 opened May 21, 2024 by thatplguy MVP 2
@septract
2
ProTip! Add no:assignee to see everything that’s not assigned.