AlexanderKnueppel/ContractIDE
Voir sur GitHub- Étoiles
- 1
- Forks
- 0
- Issues débutants ouvertes
- 0
- Issues indexées
- 25
- Langage dominant
- Java
- Licence
- GPL-3.0
- Dernier push GitHub
- 30/10/2019
- Dernière indexation
- 13/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- good first issue
- Métriques de merge des PR
- Aucune PR mergée en 30 j
-
Change design of i/o ports Ouverteenhancement good first issue
AlexanderKnueppel/ContractIDE#2 · 4 commentaires · 0 réactions · 1 personne assignée ·
-
Get rid of awt and swing Ouvertegood first issue refactoring
AlexanderKnueppel/ContractIDE#7 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement
AlexanderKnueppel/ContractIDE#8 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
enhancement
AlexanderKnueppel/ContractIDE#9 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Additional Views Ouverteenhancement
AlexanderKnueppel/ContractIDE#10 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Layouting for loaded modules Ouvertegood first issue
AlexanderKnueppel/ContractIDE#20 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
bug good first issue
AlexanderKnueppel/ContractIDE#21 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Reorganize context menu Ouvertegood first issue
AlexanderKnueppel/ContractIDE#22 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlexanderKnueppel/ContractIDE#24 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Add platform descriptions Ouverte
AlexanderKnueppel/ContractIDE#28 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
AlexanderKnueppel/ContractIDE#29 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
AlexanderKnueppel/ContractIDE#31 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
Update Function for Objects Ouverte
AlexanderKnueppel/ContractIDE#35 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
AlexanderKnueppel/ContractIDE#36 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Persistent Change Domain Ouverte
AlexanderKnueppel/ContractIDE#37 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Mapping of Components Ouverte
AlexanderKnueppel/ContractIDE#38 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
AlexanderKnueppel/ContractIDE#39 · 1 commentaire · 0 réactions · 1 personne assignée ·
-
Instance without original Object Ouverte
AlexanderKnueppel/ContractIDE#40 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
A compound can import itself Ouverte
AlexanderKnueppel/ContractIDE#41 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlexanderKnueppel/ContractIDE#42 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
AlexanderKnueppel/ContractIDE#43 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Major Refactoring Ouverteenhancement refactoring
AlexanderKnueppel/ContractIDE#44 · 0 commentaires · 0 réactions · 2 personnes assignées ·
-
enhancement
AlexanderKnueppel/ContractIDE#45 · 1 commentaire · 0 réactions · 1 personne assignée ·
-
Using KeY for Verification Ouverteenhancement
AlexanderKnueppel/ContractIDE#46 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Expand the implementation of Z3 Ouverte
AlexanderKnueppel/ContractIDE#47 · 0 commentaires · 0 réactions · 0 personnes assignées ·