-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Runner: Prototype local GNAT compile diagnostics
help wantedExtra attention is neededExtra attention is neededrunnerGNAT, GNATprove, sandbox, or execution workGNAT, GNATprove, sandbox, or execution workStatus: Open.#8 In assafbar2/ada-quest;Mission: Add a C interop wrapper mission
good first issueGood for newcomersGood for newcomersmissionAda Quest mission contentAda Quest mission contentStatus: Open.#7 In assafbar2/ada-quest;Runner: Design safe hosted execution for untrusted Ada code
help wantedExtra attention is neededExtra attention is neededrunnerGNAT, GNATprove, sandbox, or execution workGNAT, GNATprove, sandbox, or execution workStatus: Open.#6 In assafbar2/ada-quest;Mission: Add a range subtype mission for sensor input
good first issueGood for newcomersGood for newcomersmissionAda Quest mission contentAda Quest mission contentStatus: Open.#1 In assafbar2/ada-quest;UI: Add Ada syntax highlighting to the editor
good first issueGood for newcomersGood for newcomersuiFrontend, accessibility, and interaction workFrontend, accessibility, and interaction workStatus: Open.#3 In assafbar2/ada-quest;Alire: Create a packet_guard starter project
alireAlire starter templates and package workflowAlire starter templates and package workflowhelp wantedExtra attention is neededExtra attention is neededStatus: Open.#2 In assafbar2/ada-quest;SPARK: Add a loop invariant mission
help wantedExtra attention is neededExtra attention is neededmissionAda Quest mission contentAda Quest mission contentsparkSPARK proof and contract workSPARK proof and contract workStatus: Open.#4 In assafbar2/ada-quest;Mission system: Move mission data from game.js into JSON
help wantedExtra attention is neededExtra attention is neededmissionAda Quest mission contentAda Quest mission contentuiFrontend, accessibility, and interaction workFrontend, accessibility, and interaction workStatus: Open.#5 In assafbar2/ada-quest;