Proprietario
AlexanderKnueppel
4 repository indicizzati · Vedi su GitHub
-
Java · 2 stelle
-
Java · 1 stella
-
Java · 1 stella
-
Java · 1 stella
-
Load codebase recursive Apertabug
AlexanderKnueppel/MethodCallTreatment#1 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Tree: Bubblesort Apertaenhancement
AlexanderKnueppel/MethodCallTreatment#2 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Errormessages Apertaenhancement
AlexanderKnueppel/MethodCallTreatment#3 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Checkmark for specification Apertaenhancement
AlexanderKnueppel/MethodCallTreatment#6 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Modify methods Apertaenhancement
AlexanderKnueppel/MethodCallTreatment#7 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Change design of i/o ports Apertaenhancement good first issue
AlexanderKnueppel/ContractIDE#2 · 4 commenti · 0 reazioni · 1 assegnatario ·
-
Get rid of awt and swing Apertagood first issue refactoring
AlexanderKnueppel/ContractIDE#7 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
enhancement
AlexanderKnueppel/ContractIDE#8 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
enhancement
AlexanderKnueppel/ContractIDE#9 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Additional Views Apertaenhancement
AlexanderKnueppel/ContractIDE#10 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Layouting for loaded modules Apertagood first issue
AlexanderKnueppel/ContractIDE#20 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
bug good first issue
AlexanderKnueppel/ContractIDE#21 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Reorganize context menu Apertagood first issue
AlexanderKnueppel/ContractIDE#22 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/ContractIDE#24 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Add platform descriptions Aperta
AlexanderKnueppel/ContractIDE#28 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
AlexanderKnueppel/ContractIDE#29 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
AlexanderKnueppel/ContractIDE#31 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Update Function for Objects Aperta
AlexanderKnueppel/ContractIDE#35 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
AlexanderKnueppel/ContractIDE#36 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Persistent Change Domain Aperta
AlexanderKnueppel/ContractIDE#37 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Mapping of Components Aperta
AlexanderKnueppel/ContractIDE#38 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
AlexanderKnueppel/ContractIDE#39 · 1 commento · 0 reazioni · 1 assegnatario ·
-
AlexanderKnueppel/ContractIDE#40 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
A compound can import itself Aperta
AlexanderKnueppel/ContractIDE#41 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/ContractIDE#42 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/ContractIDE#43 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Major Refactoring Apertaenhancement refactoring
AlexanderKnueppel/ContractIDE#44 · 0 commenti · 0 reazioni · 2 assegnatari ·
-
enhancement
AlexanderKnueppel/ContractIDE#45 · 1 commento · 0 reazioni · 1 assegnatario ·
-
Using KeY for Verification Apertaenhancement
AlexanderKnueppel/ContractIDE#46 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/ContractIDE#47 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Refactor Project Apertarefactoring
AlexanderKnueppel/Guido#1 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/Guido#6 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/Guido#7 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Create main prover program Aperta
AlexanderKnueppel/Guido#8 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Create evaluation plugin Aperta
AlexanderKnueppel/Guido#9 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Create tests Aperta
AlexanderKnueppel/Guido#10 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Evaluating hypotheses Aperta
AlexanderKnueppel/Guido#12 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
How explore new hypotheses? Aperta
AlexanderKnueppel/Guido#13 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/Guido#14 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Dynamic VerificationSystems Aperta
AlexanderKnueppel/Guido#15 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Update KeYmaera Bridge Apertabug
AlexanderKnueppel/Skeditor#3 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
enhancement
AlexanderKnueppel/Skeditor#4 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue
AlexanderKnueppel/Skeditor#5 · 1 commento · 0 reazioni · 1 assegnatario ·
-
good first issue
AlexanderKnueppel/Skeditor#6 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Alternative for Tooltip Apertaenhancement
AlexanderKnueppel/Skeditor#7 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/Skeditor#8 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Add Types for Variables Apertaenhancement
AlexanderKnueppel/Skeditor#9 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/Skeditor#10 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/Skeditor#11 · 1 commento · 0 reazioni · 0 assegnatari ·
-
AlexanderKnueppel/Skeditor#12 · 0 commenti · 0 reazioni · 0 assegnatari ·