AlexanderKnueppel/ContractIDE
Xem trên GitHub- Star
- 1
- Fork
- 0
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 25
- Ngôn ngữ chính
- Java
- Giấy phép
- GPL-3.0
- Lần push lên GitHub gần nhất
- 30/10/2019
- Lập chỉ mục gần nhất
- 13/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- good first issue
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
-
Change design of i/o ports Đang mởenhancement good first issue
AlexanderKnueppel/ContractIDE#2 · 4 bình luận · 0 reaction · 1 người được giao ·
-
Get rid of awt and swing Đang mởgood first issue refactoring
AlexanderKnueppel/ContractIDE#7 · 0 bình luận · 0 reaction · 0 người được giao ·
-
enhancement
AlexanderKnueppel/ContractIDE#8 · 0 bình luận · 0 reaction · 1 người được giao ·
-
enhancement
AlexanderKnueppel/ContractIDE#9 · 0 bình luận · 0 reaction · 1 người được giao ·
-
Additional Views Đang mởenhancement
AlexanderKnueppel/ContractIDE#10 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Layouting for loaded modules Đang mởgood first issue
AlexanderKnueppel/ContractIDE#20 · 0 bình luận · 0 reaction · 1 người được giao ·
-
bug good first issue
AlexanderKnueppel/ContractIDE#21 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Reorganize context menu Đang mởgood first issue
AlexanderKnueppel/ContractIDE#22 · 0 bình luận · 0 reaction · 0 người được giao ·
-
AlexanderKnueppel/ContractIDE#24 · 0 bình luận · 0 reaction · 1 người được giao ·
-
Add platform descriptions Đang mở
AlexanderKnueppel/ContractIDE#28 · 0 bình luận · 0 reaction · 1 người được giao ·
-
AlexanderKnueppel/ContractIDE#29 · 0 bình luận · 0 reaction · 1 người được giao ·
-
AlexanderKnueppel/ContractIDE#31 · 0 bình luận · 0 reaction · 1 người được giao ·
-
Update Function for Objects Đang mở
AlexanderKnueppel/ContractIDE#35 · 0 bình luận · 0 reaction · 1 người được giao ·
-
AlexanderKnueppel/ContractIDE#36 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Persistent Change Domain Đang mở
AlexanderKnueppel/ContractIDE#37 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Mapping of Components Đang mở
AlexanderKnueppel/ContractIDE#38 · 0 bình luận · 0 reaction · 1 người được giao ·
-
AlexanderKnueppel/ContractIDE#39 · 1 bình luận · 0 reaction · 1 người được giao ·
-
Instance without original Object Đang mở
AlexanderKnueppel/ContractIDE#40 · 0 bình luận · 0 reaction · 0 người được giao ·
-
A compound can import itself Đang mở
AlexanderKnueppel/ContractIDE#41 · 0 bình luận · 0 reaction · 0 người được giao ·
-
AlexanderKnueppel/ContractIDE#42 · 0 bình luận · 0 reaction · 0 người được giao ·
-
AlexanderKnueppel/ContractIDE#43 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Major Refactoring Đang mởenhancement refactoring
AlexanderKnueppel/ContractIDE#44 · 0 bình luận · 0 reaction · 2 người được giao ·
-
enhancement
AlexanderKnueppel/ContractIDE#45 · 1 bình luận · 0 reaction · 1 người được giao ·
-
Using KeY for Verification Đang mởenhancement
AlexanderKnueppel/ContractIDE#46 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Expand the implementation of Z3 Đang mở
AlexanderKnueppel/ContractIDE#47 · 0 bình luận · 0 reaction · 0 người được giao ·