Owner

Ecdar

9 indexed repositories · View on GitHub

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

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

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

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

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

TypeScript · 2 stars
ECDAR

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

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

Kotlin · 0 stars
Ecdar-GUI-Native

Rust · 0 stars

Open All

[Feature] Auto pan with svg nodes Open

enhancement

Ecdar/Ecdar-GUI-Web#88 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Support the CSS relative color syntax Open

enhancement wontfix

Ecdar/Ecdar-GUI-Web#95 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Support custom user-imported fonts Open

enhancement

Ecdar/Ecdar-GUI-Web#96 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Make grid an option in the main view Open

enhancement

Ecdar/Ecdar-GUI-Web#98 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Context Menu should close if already open Open

improvement

Ecdar/Ecdar-GUI-Web#103 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 15, 2026
End-to-end testing of the writable console Open

improvement

Ecdar/Ecdar-GUI-Web#124 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Code editor Open

enhancement

Ecdar/Ecdar-GUI-Web#134 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Connect code to console Open

Ecdar/Ecdar-GUI-Web#135 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Create user flow for broken projects Open

Ecdar/Ecdar-GUI-Web#136 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Update old documentation to match new GUI Open

Ecdar/Ecdar-GUI-Web#141 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Don't use JS-based prompts Open

enhancement

Ecdar/Ecdar-GUI-Web#146 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Load theme in a blocking way to prevent FOUC Open

enhancement

Ecdar/Ecdar-GUI-Web#147 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Refactor automaton tests to follow style guide Open

test

Ecdar/Ecdar-GUI-Web#148 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Test project loading and saving Open

test

Ecdar/Ecdar-GUI-Web#149 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Settings View as a modal or new window Open

enhancement

Ecdar/Ecdar-GUI-Web#153 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Being able to export and import custom color schemes Open

enhancement

Ecdar/Ecdar-GUI-Web#157 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Proper testing of the public methods of GlobalCssSchemesLoader and GlobalFontLoader Open

enhancement test

Ecdar/Ecdar-GUI-Web#159 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Making EngineUI succeptible to change Open

enhancement

Ecdar/Ecdar-GUI-Web#163 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Unit tests for the public methods of GlobalCssSchemesLoader and GlobalFontLoader Open

enhancement test

Ecdar/Ecdar-GUI-Web#166 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Support for WOFF and WOFF2 files types in the GlobalFontLoader Open

enhancement

Ecdar/Ecdar-GUI-Web#167 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Pressing escape should warn the user of possible changes in Engine modal Open

enhancement

Ecdar/Ecdar-GUI-Web#172 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] globalstate engines should use localstorage / indexedDB Open

enhancement

Ecdar/Ecdar-GUI-Web#173 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Change editor library to one that does not open a ekstra runtime Open

enhancement

Ecdar/Ecdar-GUI-Web#175 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use Svelte runes instead of Svelte stores and reactive variables Open

enhancement

Ecdar/Ecdar-GUI-Web#176 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Easier example project access Open

enhancement

Ecdar/Ecdar-GUI-Web#178 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Queries should list engine options Open

enhancement

Ecdar/Ecdar-GUI-Web#179 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Input language specification Open

documentation

Ecdar/Ecdar-Common#2 · 3 comments · 3 reactions · 0 assignees · Indexed Sep 15, 2026
List of test types Open

Ecdar/Ecdar-Test#1 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Test comparison Open

Ecdar/Ecdar-Test#2 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Boolean Guards test cases Open

Ecdar/Ecdar-Test#3 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Theorem 6 requires that components share alphabets Open

Ecdar/Ecdar-Test#10 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Verdict in log file Open

Ecdar/Ecdar-Test#15 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Black and whitelist proofs Open

Ecdar/Ecdar-Test#23 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use async queries instead of blocking Open

Ecdar/Ecdar-Test#29 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Remove unnecessary diagonal constraints during guard printing Open

enhancement

Ecdar/j-Ecdar#51 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Fixing the runtime Open

enhancement

Ecdar/j-Ecdar#52 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
isImplementation does not check for input enabledness Open

bug

Ecdar/j-Ecdar#56 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Model simplifications Open

enhancement

Ecdar/j-Ecdar#61 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Pruning should not look at location names to determine which ones are inconsistant Open

bug

Ecdar/j-Ecdar#63 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Automaton does not check whether all locations are present in the edges Open

enhancement

Ecdar/j-Ecdar#66 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Automaton constructor Clocks and Boolean variables Open

enhancement

Ecdar/j-Ecdar#67 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Automaton constructor unreachable initial location Open

enhancement

Ecdar/j-Ecdar#68 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Automaton constructor does not check whether there is any path to a location Open

enhancement

Ecdar/j-Ecdar#69 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Aggregate exceptions when validating input models Open

enhancement

Ecdar/j-Ecdar#70 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Shorten lifetime of branches Open

documentation

Ecdar/j-Ecdar#75 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Define code style for j-Ecdar Open

documentation enhancement

Ecdar/j-Ecdar#76 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Log functions with lazily evaluated parameters Open

enhancement good first issue

Ecdar/j-Ecdar#77 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Custom exceptions for XMLParsing Open

enhancement good first issue

Ecdar/j-Ecdar#78 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Possibly incorrect tests Open

bug help wanted invalid question

Ecdar/j-Ecdar#79 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Rename the Guard class Open

enhancement good first issue

Ecdar/j-Ecdar#80 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

Ecdar

Showing the newest 100

Get new issues in your inbox