Owner

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 个 star
Reveaal
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

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

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

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

TypeScript · 2 个 star
ECDAR

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

0 个 star
Ecdar-Test
Common test framework for the Ecdar engines

Kotlin · 0 个 star
Ecdar-GUI-Native

Rust · 0 个 star

适合新手全部

未关闭全部

[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 一周以上新手友好度 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 一周以上新手友好度 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 一周以上新手友好度 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 一周以上新手友好度 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 一周以上新手友好度 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 一周以上新手友好度 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日创建

只显示最新的 100 条

这个页面只列出最近收录的部分。完整清单在高级筛选里，可以按语言、难度和预计耗时筛选。

前往高级筛选

Ecdar

只显示最新的 100 条

把新 issue 发到你的邮箱