Name	Name	Last commit message	Last commit date
Latest commit History 4 Commits
.metadata	.metadata
META-INF	META-INF
lib	lib
spectra-logs	spectra-logs
src/de/buw/se/gendev/lab2	src/de/buw/se/gendev/lab2
test/de/buw/se/gendev/lab2	test/de/buw/se/gendev/lab2
.classpath	.classpath
.gitignore	.gitignore
.project	.project
DwyerPatterns.spectra	DwyerPatterns.spectra
Printer.spectra	Printer.spectra
README.md	README.md
Spec.spectra	Spec.spectra
Spec_Unreal.spectra	Spec_Unreal.spectra
Spec_log_06.07.2023_15_23_09.txt	Spec_log_06.07.2023_15_23_09.txt
Spec_log_06.07.2023_15_24_20.txt	Spec_log_06.07.2023_15_24_20.txt
Spec_log_06.07.2023_15_28_12.txt	Spec_log_06.07.2023_15_28_12.txt
Spec_log_06.07.2023_15_30_50.txt	Spec_log_06.07.2023_15_30_50.txt
Spec_log_06.07.2023_15_42_51.txt	Spec_log_06.07.2023_15_42_51.txt
Spec_log_06.07.2023_15_43_07.txt	Spec_log_06.07.2023_15_43_07.txt
Spec_log_06.07.2023_15_43_42.txt	Spec_log_06.07.2023_15_43_42.txt
Spec_log_06.07.2023_15_45_17.txt	Spec_log_06.07.2023_15_45_17.txt
Spec_log_06.07.2023_15_46_16.txt	Spec_log_06.07.2023_15_46_16.txt
Spec_log_06.07.2023_16_02_34.txt	Spec_log_06.07.2023_16_02_34.txt
Spec_log_06.07.2023_16_03_59.txt	Spec_log_06.07.2023_16_03_59.txt
Spec_log_06.07.2023_16_07_40.txt	Spec_log_06.07.2023_16_07_40.txt
Spec_log_06.07.2023_16_15_20.txt	Spec_log_06.07.2023_16_15_20.txt
Spec_log_06.07.2023_16_17_14.txt	Spec_log_06.07.2023_16_17_14.txt
Spec_log_06.07.2023_16_19_00.txt	Spec_log_06.07.2023_16_19_00.txt
Spec_log_06.07.2023_16_20_03.txt	Spec_log_06.07.2023_16_20_03.txt
Spec_log_06.07.2023_16_23_56.txt	Spec_log_06.07.2023_16_23_56.txt
Spec_log_06.07.2023_16_49_23.txt	Spec_log_06.07.2023_16_49_23.txt
Spec_log_06.07.2023_16_51_39.txt	Spec_log_06.07.2023_16_51_39.txt
Spec_log_06.07.2023_17_18_00.txt	Spec_log_06.07.2023_17_18_00.txt
build.properties	build.properties
cudd.dll	cudd.dll
libcudd.so	libcudd.so

Name

Last commit message

Last commit date

4 Commits

.metadata

META-INF

lib

spectra-logs