Proprietario

Ecdar

9 repository indicizzati · Vedi su GitHub

j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.

Java · 4 stelle
Reveaal
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

Rust · 4 stelle
Ecdar-API
Project that defines the interface between a database and Reveaal

Rust · 4 stelle
Ecdar-GUI
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)

Java · 3 stelle
Ecdar-GUI-Web
A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)

TypeScript · 2 stelle
ECDAR

Shell · 1 stella
Ecdar-Common
Common ECDAR stuff used by different repositories.

0 stelle
Ecdar-Test
Common test framework for the Ecdar engines

Kotlin · 0 stelle
Ecdar-GUI-Native

Rust · 0 stelle

Adatte ai principianti Tutto

Aperta Tutte

[Feature] Queries should list engine options Aperta

enhancement

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#179 · Aperta il 15/12/2023
[Feature] Easier example project access Aperta

enhancement

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#178 · 1 commento · Aperta il 15/12/2023
Use Svelte runes instead of Svelte stores and reactive variables Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

Ecdar/Ecdar-GUI-Web#176 · Aperta il 14/12/2023
[Feature] Change editor library to one that does not open a ekstra runtime Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

Ecdar/Ecdar-GUI-Web#175 · Aperta il 14/12/2023
[Feature] globalstate engines should use localstorage / indexedDB Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#173 · Aperta il 14/12/2023
[Feature] Pressing escape should warn the user of possible changes in Engine modal Aperta

enhancement

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

Ecdar/Ecdar-GUI-Web#172 · Aperta il 14/12/2023
[Feature] Support for WOFF and WOFF2 files types in the GlobalFontLoader Aperta

enhancement

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100

Ecdar/Ecdar-GUI-Web#167 · Aperta il 13/12/2023
Unit tests for the public methods of GlobalCssSchemesLoader and GlobalFontLoader Aperta

enhancement test

Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100

Ecdar/Ecdar-GUI-Web#166 · Aperta il 13/12/2023
Prepare for handover Aperta

Ecdar/Ecdar-GUI-Native#12 · 1 assegnatario · Aperta il 13/12/2023
[Feature] Making EngineUI succeptible to change Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

Ecdar/Ecdar-GUI-Web#163 · Aperta il 13/12/2023
Testing Reveaal service Aperta

Ecdar/Ecdar-API#92 · 1 assegnatario · Aperta il 8/12/2023
Sessions are not deleted from database Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-API#83 · Aperta il 6/12/2023
Emails are not verified Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100

Ecdar/Ecdar-API#82 · Aperta il 6/12/2023
Project queries are never set to outdated Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-API#80 · Aperta il 6/12/2023
Proper testing of the public methods of GlobalCssSchemesLoader and GlobalFontLoader Aperta

enhancement test

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

Ecdar/Ecdar-GUI-Web#159 · Aperta il 6/12/2023
[Feature] Being able to export and import custom color schemes Aperta

enhancement

Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

Ecdar/Ecdar-GUI-Web#157 · Aperta il 6/12/2023
[Feature] Settings View as a modal or new window Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

Ecdar/Ecdar-GUI-Web#153 · Aperta il 4/12/2023
Test project loading and saving Aperta

test

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#149 · Aperta il 3/12/2023
Refactor automaton tests to follow style guide Aperta

test

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#148 · Aperta il 3/12/2023
Load theme in a blocking way to prevent FOUC Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#147 · Aperta il 1/12/2023
Don't use JS-based prompts Aperta

enhancement

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

Ecdar/Ecdar-GUI-Web#146 · Aperta il 1/12/2023
Update old documentation to match new GUI Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#141 · Aperta il 30/11/2023
Create user flow for broken projects Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

Ecdar/Ecdar-GUI-Web#136 · Aperta il 27/11/2023
Connect code to console Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

Ecdar/Ecdar-GUI-Web#135 · Aperta il 27/11/2023
[Feature] Code editor Aperta

enhancement

Ecdar/Ecdar-GUI-Web#134 · 1 assegnatario · Aperta il 27/11/2023
End-to-end testing of the writable console Aperta

improvement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

Ecdar/Ecdar-GUI-Web#124 · Aperta il 21/11/2023
[Feature] Context Menu should close if already open Aperta

improvement

Ecdar/Ecdar-GUI-Web#103 · 2 assegnatari · Aperta il 10/11/2023
[Feature] Make grid an option in the main view Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

Ecdar/Ecdar-GUI-Web#98 · Aperta il 8/11/2023
[Feature] Support custom user-imported fonts Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#96 · Aperta il 6/11/2023
[Feature] Support the CSS relative color syntax Aperta

enhancement wontfix

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#95 · Aperta il 6/11/2023
[Feature] Auto pan with svg nodes Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#88 · Aperta il 26/10/2023
[BUG] `panzoomchange` event is not understood in Svelte Aperta

bug

Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

Ecdar/Ecdar-GUI-Web#85 · Aperta il 26/10/2023
[Feature] Frontend for Engine configuration Aperta

enhancement

Ecdar/Ecdar-GUI-Web#81 · 2 assegnatari · Aperta il 26/10/2023
[Feature] Create class for Engines Aperta

enhancement

Ecdar/Ecdar-GUI-Web#80 · 1 assegnatario · Aperta il 26/10/2023
Create engine-created systems list which will display the engine-created Systems/Components Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

Ecdar/Ecdar-GUI-Web#70 · Aperta il 23/10/2023
Make System/Components section work with the data structure Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

Ecdar/Ecdar-GUI-Web#68 · Aperta il 23/10/2023
Backend tools section Aperta

Ecdar/Ecdar-GUI-Web#66 · 1 assegnatario · Aperta il 23/10/2023
Frontend tools section Aperta

enhancement

Ecdar/Ecdar-GUI-Web#65 · 1 assegnatario · Aperta il 23/10/2023
Engine Console Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 32/100

Ecdar/Ecdar-GUI-Web#63 · Aperta il 23/10/2023
[BUG] Rightclick menu not working in Firefox Aperta

bug wontfix

Difficoltà 3/5 1-2 giorni Idoneità per principianti 32/100

Ecdar/Ecdar-GUI-Web#57 · 2 commenti · Aperta il 20/10/2023
[Feature] EngineTab Aperta

enhancement

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

Ecdar/Ecdar-GUI-Web#53 · Aperta il 19/10/2023
[Feature] Export automata as SVG Aperta

enhancement

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI-Web#49 · Aperta il 12/10/2023
[BUG] Wierd resizing when nav 1 and nav 3 resize into each other Aperta

bug

Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

Ecdar/Ecdar-GUI-Web#38 · 2 commenti · Aperta il 28/9/2023
[Feature] Components drawing capabilties Aperta

enhancement

Ecdar/Ecdar-GUI-Web#25 · 3 assegnatari · Aperta il 25/9/2023
Document design for top nav-bar Aperta

enhancement

Ecdar/Ecdar-GUI-Web#20 · 1 assegnatario · Aperta il 21/9/2023
Tools Section Aperta

Ecdar/Ecdar-GUI-Web#7 · 2 assegnatari · Aperta il 18/9/2023
Side bars Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

Ecdar/Ecdar-GUI-Web#6 · 1 commento · Aperta il 18/9/2023
[Feature] Top Nav-bar Aperta

good first issue

Ecdar/Ecdar-GUI-Web#2 · 1 commento · 2 assegnatari · Aperta il 15/9/2023
[Feature] Trace Log Sorting Aperta

enhancement good first issue

Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

Ecdar/Ecdar-GUI#162 · Aperta il 5/7/2023
[Feature] Handling of Special Location Types Aperta

enhancement simulation

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

Ecdar/Ecdar-GUI#161 · Aperta il 29/6/2023

Vengono mostrati i 100 più recenti

Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.

Apri il filtro avanzato

Ecdar

Vengono mostrati i 100 più recenti

Ricevi le nuove issue nella tua casella