72 Commits

Author	SHA1	Message	Date
ucrhh	0fa40e7837	fix tests	2021-02-11 23:06:13 +01:00
Johanna Stuber	398d0b2e42	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-11 16:33:28 +01:00
Johanna Stuber	03bf906e92	add several equals() tests	2021-02-11 16:33:10 +01:00
ucrhh	cab3fcc4aa	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-11 15:35:47 +01:00
ucrhh	73802e50fb	partial LatexCreatorConstraintsTest	2021-02-11 15:35:37 +01:00
Johanna Stuber	ad99cc09b8	fix checkstyle	2021-02-11 15:17:51 +01:00
Johanna Stuber	8351a21f78	visitLet() test; for that add several equals()-methods; return constraints in right order in Tree::getConstraints()	2021-02-11 15:15:49 +01:00
ucrhh	f614869677	add ConstraintSetIndexFactoryTest	2021-02-11 11:15:42 +01:00
ucrhh	ad4581fffb	add LatexCreatorTermTest	2021-02-11 11:00:39 +01:00
ucrhh	1385aae34e	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-11 10:37:12 +01:00
ucrhh	2fd40aeefa	test LatexCreatorType	2021-02-11 10:36:46 +01:00
Johanna Stuber	367c3be0e1	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-02-11 10:12:30 +01:00
Johanna Stuber	7e2357f2f2	use LinkedHashMap for typeAssumptions so they appear sorted in the tree	2021-02-11 10:12:17 +01:00
ucrhh	e621c764be	test TreeNumberGenerator	2021-02-11 09:51:32 +01:00
Arne Keller	c1ce7a9181	Fix type parser bug	2021-02-10 15:01:03 +01:00
uogau	4b8563773a	ModelImpl test	2021-02-10 13:45:54 +01:00
uogau	84ebf99ecc	removed useless import	2021-02-08 13:45:35 +01:00
uogau	612edac87b	EmptyStep test	2021-02-08 13:40:09 +01:00
uogau	f46997d359	LetStepDefault test	2021-02-08 13:34:02 +01:00
uogau	08d19ffdc6	VarStepWithLet test	2021-02-08 13:17:46 +01:00
uogau	ad6d7342e5	VarStepDefault test	2021-02-08 13:15:29 +01:00
uogau	43ee786bf9	ConstStepDefault test	2021-02-08 13:03:21 +01:00
uogau	2906c8dce3	AppStepDefault test	2021-02-08 12:58:49 +01:00
uogau	067fc36866	AbsStepWithLet test	2021-02-08 12:50:59 +01:00
uogau	addbe90dcf	AbsStepDefault test	2021-02-08 12:47:52 +01:00
uogau	d4e9d3b566	StepFactoryWithLet test	2021-02-08 03:16:08 +01:00
uogau	2839bb6637	StepFactoryDefault test	2021-02-08 03:01:39 +01:00
Johanna Stuber	e0926d87b7	fix lambda parser test	2021-02-05 11:37:45 +01:00
Johanna Stuber	742f934788	user input types of form t[0-9]+ parse to TypeVariable, everything else to NamedType	2021-02-04 20:54:00 +01:00
Johanna Stuber	ee18a3cba1	Generate steps withLet in every sub-inference of let terms	2021-02-04 19:31:06 +01:00
Johanna Stuber	e4e4fca350	fix compiling errors after changing TypeAbstrarction's quantifiedVariables from list to set	2021-02-04 10:25:19 +01:00
Arne Keller	62d7c9f5e1	Fix parsing of (λx.x)λx.x	2021-02-03 16:09:58 +01:00
uogau	9e77c422f2	TypeAssumptionParser und ModelImpl angepasst	2021-02-03 13:40:56 +01:00
Johanna Stuber	e5d29822f7	Test for TypeInferenceResult::getType(); sort mgu by kind, then index; checkstyle	2021-02-03 07:50:52 +01:00
Moritz Dieing	ee52895579	Delete useless screenshot	2021-02-02 20:48:27 +01:00
Moritz Dieing	1b943bbb02	Simple integration tests and structure for screenshot test	2021-02-02 20:42:35 +01:00
Arne Keller	87eaad1d5a	Unification implementation	2021-02-02 10:29:45 +01:00
Arne Keller	10cd63abb4	Panning and zooming of inference tree	2021-02-01 16:19:13 +01:00
Arne Keller	9d7a16cc86	Limit area of key listeners	2021-02-01 15:16:29 +01:00
Arne Keller	2d92294736	LambdaTerm toString	2021-02-01 15:11:19 +01:00
Arne Keller	64312cd172	More parser error handling tests	2021-02-01 11:08:31 +01:00
Arne Keller	f8ac91cdd8	Type assumption parser implementation + tests	2021-02-01 10:50:44 +01:00
Johanna Stuber	d8f6baf615	Test for TypeInferenceResult::getMGU(), order MGU after indices, the kind	2021-01-31 14:21:13 +01:00
Johanna Stuber	f398c88aa0	Implement TypeInferenceResult	2021-01-31 12:15:10 +01:00
Johanna Stuber	7bf691a693	Checkstyle in tests	2021-01-31 11:03:06 +01:00
Johanna Stuber	835188466b	Tree test visit(appTerm)	2021-01-31 10:59:57 +01:00
Johanna Stuber	83b7815a47	Add assertion for constraints in TreeTest::VisitAbs()	2021-01-31 00:24:33 +01:00
Johanna Stuber	83f34eb00b	Tree test visit(absTerm)	2021-01-31 00:16:26 +01:00
Johanna Stuber	734bc02d9d	Tree test visit(varTerm), implement TypeAbstraction::instantiate()	2021-01-30 22:51:14 +01:00
Johanna Stuber	2120fc4a4a	Test for Tree::getFirstTypeVariable()	2021-01-30 14:54:47 +01:00