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

144 open issues indexed

Update `README.md` Open

documentation enhancement

Ecdar/ECDAR#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Build dedicated ecdar.app for macOS Open

Ecdar/ECDAR#7 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Simulation functions Open

multi-project

Ecdar/Ecdar-GUI#25 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
White flickering covering text in query pane. Open

bug

Ecdar/Ecdar-GUI#48 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Deletion of tags Open

enhancement good first issue

Ecdar/Ecdar-GUI#68 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Performance issues Open

bug enhancement multi-project

Ecdar/Ecdar-GUI#75 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Show the GRPC error message when a query fails Open

enhancement multi-project

Ecdar/Ecdar-GUI#98 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
The dropdown in reachability function, in the simulation view, is bigger than the text box Open

simulation

Ecdar/Ecdar-GUI#113 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
In Simulation view, edges sometimes are layered such that they are above guards Open

simulation

Ecdar/Ecdar-GUI#114 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Trace log is ordered wrong, as the newest trace is at the bottom. Open

simulation

Ecdar/Ecdar-GUI#115 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
In simulation view, <= must be changed to to ≤ and >= to ≥ Open

simulation

Ecdar/Ecdar-GUI#116 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Beautify selfloop Open

enhancement good first issue

Ecdar/Ecdar-GUI#117 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Remove the delay field, and relocate the reset button. Open

simulation

Ecdar/Ecdar-GUI#118 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
A different way to represent the trace log Open

simulation

Ecdar/Ecdar-GUI#119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
The right-side panel is not used for anything Open

simulation

Ecdar/Ecdar-GUI#120 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Make a new scene and stage for simulation view Open

enhancement simulation

Ecdar/Ecdar-GUI#121 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Scaling in simulator Open

simulation

Ecdar/Ecdar-GUI#122 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Convert diagonal clock constraints in simulation when possible Open

simulation

Ecdar/Ecdar-GUI#123 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Make something to indicate that a reachability check is running. Open

enhancement simulation

Ecdar/Ecdar-GUI#124 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Error messages cannot be copied Open

enhancement good first issue

Ecdar/Ecdar-GUI#132 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Component retention across projects Open

bug

Ecdar/Ecdar-GUI#141 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Engine connections leak Open

bug good first issue

Ecdar/Ecdar-GUI#142 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Default engine always used for loaded queries Open

bug good first issue

Ecdar/Ecdar-GUI#146 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add Logging Open

enhancement good first issue

Ecdar/Ecdar-GUI#148 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Only close affected connections on Engine change Open

bug enhancement

Ecdar/Ecdar-GUI#149 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] `Save Temporary Component` button Open

enhancement good first issue

Ecdar/Ecdar-GUI#154 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Reachability Queries Open

enhancement good first issue simulation

Ecdar/Ecdar-GUI#156 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[BUG] Failing Simulation Tests Open

bug simulation

Ecdar/Ecdar-GUI#157 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[BUG] Clock Constraints Conjunctions not Handled Open

bug simulation

Ecdar/Ecdar-GUI#158 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] System Editor Open

enhancement question

Ecdar/Ecdar-GUI#159 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Decision Factory Open

enhancement good first issue Refactoring

Ecdar/Ecdar-GUI#160 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Handling of Special Location Types Open

enhancement simulation

Ecdar/Ecdar-GUI#161 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Trace Log Sorting Open

enhancement good first issue

Ecdar/Ecdar-GUI#162 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Top Nav-bar Open

good first issue

Ecdar/Ecdar-GUI-Web#2 · 1 comment · 0 reactions · 2 assignees · Indexed Sep 15, 2026
Side bars Open

Ecdar/Ecdar-GUI-Web#6 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Tools Section Open

Ecdar/Ecdar-GUI-Web#7 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 15, 2026
Document design for top nav-bar Open

enhancement

Ecdar/Ecdar-GUI-Web#20 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
[Feature] Components drawing capabilties Open

enhancement

Ecdar/Ecdar-GUI-Web#25 · 0 comments · 0 reactions · 3 assignees · Indexed Sep 15, 2026
[BUG] Wierd resizing when nav 1 and nav 3 resize into each other Open

bug

Ecdar/Ecdar-GUI-Web#38 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Export automata as SVG Open

enhancement

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

enhancement

Ecdar/Ecdar-GUI-Web#53 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[BUG] Rightclick menu not working in Firefox Open

bug wontfix

Ecdar/Ecdar-GUI-Web#57 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Engine Console Open

Ecdar/Ecdar-GUI-Web#63 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Frontend tools section Open

enhancement

Ecdar/Ecdar-GUI-Web#65 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Backend tools section Open

Ecdar/Ecdar-GUI-Web#66 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Make System/Components section work with the data structure Open

Ecdar/Ecdar-GUI-Web#68 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Create engine-created systems list which will display the engine-created Systems/Components Open

Ecdar/Ecdar-GUI-Web#70 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Feature] Create class for Engines Open

enhancement

Ecdar/Ecdar-GUI-Web#80 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
[Feature] Frontend for Engine configuration Open

enhancement

Ecdar/Ecdar-GUI-Web#81 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 15, 2026
[BUG] `panzoomchange` event is not understood in Svelte Open

bug

Ecdar/Ecdar-GUI-Web#85 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

Ecdar

Get new issues in your inbox