オーナー

Ecdar

索引済みのリポジトリ 9 件 · GitHub で見る

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

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

Rust · スター 4 個
Ecdar-API
Project that defines the interface between a database and Reveaal

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

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

TypeScript · スター 2 個
ECDAR

Shell · スター 1 個
Ecdar-Common
Common ECDAR stuff used by different repositories.

スター 0 個
Ecdar-Test
Common test framework for the Ecdar engines

Kotlin · スター 0 個
Ecdar-GUI-Native

Rust · スター 0 個

初心者向けすべて

オープンすべて

[Feature] Queries should list engine options オープン

enhancement

難易度 3/5 1〜2日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#179 · 2023年12月15日に作成
[Feature] Easier example project access オープン

enhancement

難易度 3/5 1〜2日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#178 · コメント 1 件 · 2023年12月15日に作成
Use Svelte runes instead of Svelte stores and reactive variables オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 20/100

Ecdar/Ecdar-GUI-Web#176 · 2023年12月14日に作成
[Feature] Change editor library to one that does not open a ekstra runtime オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 25/100

Ecdar/Ecdar-GUI-Web#175 · 2023年12月14日に作成
[Feature] globalstate engines should use localstorage / indexedDB オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#173 · 2023年12月14日に作成
[Feature] Pressing escape should warn the user of possible changes in Engine modal オープン

enhancement

難易度 3/5 1〜2日初心者へのやさしさ 45/100

Ecdar/Ecdar-GUI-Web#172 · 2023年12月14日に作成
[Feature] Support for WOFF and WOFF2 files types in the GlobalFontLoader オープン

enhancement

難易度 1/5 1時間未満初心者へのやさしさ 78/100

Ecdar/Ecdar-GUI-Web#167 · 2023年12月13日に作成
Unit tests for the public methods of GlobalCssSchemesLoader and GlobalFontLoader オープン

enhancement test

難易度 3/5 1〜2日初心者へのやさしさ 38/100

Ecdar/Ecdar-GUI-Web#166 · 2023年12月13日に作成
Prepare for handover オープン

Ecdar/Ecdar-GUI-Native#12 · 担当者 1 名 · 2023年12月13日に作成
[Feature] Making EngineUI succeptible to change オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 45/100

Ecdar/Ecdar-GUI-Web#163 · 2023年12月13日に作成
Testing Reveaal service オープン

Ecdar/Ecdar-API#92 · 担当者 1 名 · 2023年12月8日に作成
Sessions are not deleted from database オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-API#83 · 2023年12月6日に作成
Emails are not verified オープン

難易度 4/5 3〜5日初心者へのやさしさ 20/100

Ecdar/Ecdar-API#82 · 2023年12月6日に作成
Project queries are never set to outdated オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-API#80 · 2023年12月6日に作成
Proper testing of the public methods of GlobalCssSchemesLoader and GlobalFontLoader オープン

enhancement test

難易度 4/5 3〜5日初心者へのやさしさ 30/100

Ecdar/Ecdar-GUI-Web#159 · 2023年12月6日に作成
[Feature] Being able to export and import custom color schemes オープン

enhancement

難易度 3/5 1〜2日初心者へのやさしさ 48/100

Ecdar/Ecdar-GUI-Web#157 · 2023年12月6日に作成
[Feature] Settings View as a modal or new window オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 30/100

Ecdar/Ecdar-GUI-Web#153 · 2023年12月4日に作成
Test project loading and saving オープン

test

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#149 · 2023年12月3日に作成
Refactor automaton tests to follow style guide オープン

test

難易度 3/5 1〜2日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#148 · 2023年12月3日に作成
Load theme in a blocking way to prevent FOUC オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#147 · 2023年12月1日に作成
Don't use JS-based prompts オープン

enhancement

難易度 5/5 1週間以上初心者へのやさしさ 25/100

Ecdar/Ecdar-GUI-Web#146 · 2023年12月1日に作成
Update old documentation to match new GUI オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#141 · 2023年11月30日に作成
Create user flow for broken projects オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

Ecdar/Ecdar-GUI-Web#136 · 2023年11月27日に作成
Connect code to console オープン

難易度 4/5 3〜5日初心者へのやさしさ 30/100

Ecdar/Ecdar-GUI-Web#135 · 2023年11月27日に作成
[Feature] Code editor オープン

enhancement

Ecdar/Ecdar-GUI-Web#134 · 担当者 1 名 · 2023年11月27日に作成
End-to-end testing of the writable console オープン

improvement

難易度 4/5 3〜5日初心者へのやさしさ 25/100

Ecdar/Ecdar-GUI-Web#124 · 2023年11月21日に作成
[Feature] Context Menu should close if already open オープン

improvement

Ecdar/Ecdar-GUI-Web#103 · 担当者 2 名 · 2023年11月10日に作成
[Feature] Make grid an option in the main view オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 25/100

Ecdar/Ecdar-GUI-Web#98 · 2023年11月8日に作成
[Feature] Support custom user-imported fonts オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#96 · 2023年11月6日に作成
[Feature] Support the CSS relative color syntax オープン

enhancement wontfix

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#95 · 2023年11月6日に作成
[Feature] Auto pan with svg nodes オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#88 · 2023年10月26日に作成
[BUG] `panzoomchange` event is not understood in Svelte オープン

bug

難易度 3/5 1〜2日初心者へのやさしさ 45/100

Ecdar/Ecdar-GUI-Web#85 · 2023年10月26日に作成
[Feature] Frontend for Engine configuration オープン

enhancement

Ecdar/Ecdar-GUI-Web#81 · 担当者 2 名 · 2023年10月26日に作成
[Feature] Create class for Engines オープン

enhancement

Ecdar/Ecdar-GUI-Web#80 · 担当者 1 名 · 2023年10月26日に作成
Create engine-created systems list which will display the engine-created Systems/Components オープン

難易度 4/5 3〜5日初心者へのやさしさ 30/100

Ecdar/Ecdar-GUI-Web#70 · 2023年10月23日に作成
Make System/Components section work with the data structure オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

Ecdar/Ecdar-GUI-Web#68 · 2023年10月23日に作成
Backend tools section オープン

Ecdar/Ecdar-GUI-Web#66 · 担当者 1 名 · 2023年10月23日に作成
Frontend tools section オープン

enhancement

Ecdar/Ecdar-GUI-Web#65 · 担当者 1 名 · 2023年10月23日に作成
Engine Console オープン

難易度 4/5 3〜5日初心者へのやさしさ 32/100

Ecdar/Ecdar-GUI-Web#63 · 2023年10月23日に作成
[BUG] Rightclick menu not working in Firefox オープン

bug wontfix

難易度 3/5 1〜2日初心者へのやさしさ 32/100

Ecdar/Ecdar-GUI-Web#57 · コメント 2 件 · 2023年10月20日に作成
[Feature] EngineTab オープン

enhancement

難易度 4/5 3〜5日初心者へのやさしさ 30/100

Ecdar/Ecdar-GUI-Web#53 · 2023年10月19日に作成
[Feature] Export automata as SVG オープン

enhancement

難易度 3/5 1〜2日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI-Web#49 · 2023年10月12日に作成
[BUG] Wierd resizing when nav 1 and nav 3 resize into each other オープン

bug

難易度 3/5 1〜2日初心者へのやさしさ 25/100

Ecdar/Ecdar-GUI-Web#38 · コメント 2 件 · 2023年9月28日に作成
[Feature] Components drawing capabilties オープン

enhancement

Ecdar/Ecdar-GUI-Web#25 · 担当者 3 名 · 2023年9月25日に作成
Document design for top nav-bar オープン

enhancement

Ecdar/Ecdar-GUI-Web#20 · 担当者 1 名 · 2023年9月21日に作成
Tools Section オープン

Ecdar/Ecdar-GUI-Web#7 · 担当者 2 名 · 2023年9月18日に作成
Side bars オープン

難易度 5/5 1週間以上初心者へのやさしさ 20/100

Ecdar/Ecdar-GUI-Web#6 · コメント 1 件 · 2023年9月18日に作成
[Feature] Top Nav-bar オープン

good first issue

Ecdar/Ecdar-GUI-Web#2 · コメント 1 件 · 担当者 2 名 · 2023年9月15日に作成
[Feature] Trace Log Sorting オープン

enhancement good first issue

難易度 3/5 1〜2日初心者へのやさしさ 52/100

Ecdar/Ecdar-GUI#162 · 2023年7月5日に作成
[Feature] Handling of Special Location Types オープン

enhancement simulation

難易度 4/5 3〜5日初心者へのやさしさ 35/100

Ecdar/Ecdar-GUI#161 · 2023年6月29日に作成

Ecdar

最新の 100 件のみ表示しています

新しい issue をメールで受け取る