549 Commits

Author	SHA1	Message	Date
Arne Keller	002f402691	Integration tests: run asserts last	2021-03-12 11:07:26 +01:00
Johanna Stuber	ebd6abb461	optimize texts	2021-03-11 16:44:09 +01:00
Johanna Stuber	648594bca3	add hr to footer, optimize styling	2021-03-11 16:22:20 +01:00
ucrhh	5197f9be93	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-03-11 15:11:39 +01:00
ucrhh	f409e1e060	some styling	2021-03-11 15:11:22 +01:00
Arne Keller	6b84aa5402	New example button in help dialog	2021-03-11 15:07:38 +01:00
ucrhh	0c2836a27f	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-03-11 14:55:36 +01:00
ucrhh	73376c0667	make LaTeX code usable in normal environment	2021-03-11 14:55:21 +01:00
Arne Keller	0e468b5611	New example button text	2021-03-11 14:44:25 +01:00
Arne Keller	d8b547177a	Display expected tokens on ParseError	2021-03-11 14:30:48 +01:00
uogau	9767002ad1	Merge remote-tracking branch 'origin/master'	2021-03-11 13:34:59 +01:00
uogau	53243f7f43	Added hint to type assumptions	2021-03-11 13:34:41 +01:00
Arne Keller	098be7a75e	Encode input correctly	2021-03-11 13:29:33 +01:00
uogau	26caed074d	Type and LetTerm are now abstract classes again	2021-03-11 13:11:33 +01:00
Moritz Dieing	4e56c69833	Update Drawer in HelpDialog	2021-03-11 10:36:00 +01:00
Arne Keller	3c0347492a	Consistent latex export	2021-03-11 08:32:19 +01:00
ucrhh	1ee86c5c32	fix checkstyle	2021-03-11 00:41:08 +01:00
ucrhh	1d53bdfe75	first implementation of unification export	2021-03-11 00:37:36 +01:00
ucrhh	d6a99cc869	make shortcut look in help dialog consistent	2021-03-10 23:29:40 +01:00
Moritz Dieing	9ee9025d92	Remove unused import	2021-03-10 20:47:45 +01:00
Moritz Dieing	d1eccc7ec5	Fix mistake	2021-03-10 20:46:13 +01:00
Moritz Dieing	1f1db955d3	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-03-10 20:41:50 +01:00
Moritz Dieing	2d6b33190c	Handle empty type assumptions	2021-03-10 20:41:40 +01:00
Johanna Stuber	15359675ed	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-03-10 19:39:04 +01:00
Johanna Stuber	47aa006655	highlight new constraints in unification	2021-03-10 19:38:51 +01:00
Arne Keller	ce01676a42	Convert frontend scripts to TypeScript	2021-03-10 18:39:41 +01:00
Arne Keller	a43dad53a6	Optimize frontend calls	2021-03-10 18:04:32 +01:00
Arne Keller	5a1aaa8408	Fix NPE in TypeInferenceView	2021-03-10 17:09:20 +01:00
Arne Keller	3a0ee669d4	Cleanup	2021-03-10 16:49:35 +01:00
Arne Keller	7396fc2158	Result javadocs	2021-03-10 16:20:25 +01:00
Arne Keller	4c0eb78300	Limit memory usage of LatexCreatorType	2021-03-10 16:07:52 +01:00
uogau	ee1847358d	TypeAssumptions close button now only works when type assumptions are correct	2021-03-10 14:58:33 +01:00
Arne Keller	86496440ed	WIP: convert drawer to normal element	2021-03-10 10:40:21 +01:00
uogau	232a5e21af	Fixed some SonarLint complaints in Model	2021-03-09 23:00:08 +01:00
Arne Keller	5c49e03ba0	Focus input automatically	2021-03-09 14:34:15 +01:00
Arne Keller	a4224f4263	Codestyle TypeAssumptionParser	2021-03-09 14:32:27 +01:00
Arne Keller	9c8897d436	Re-focus input bar on syntax error	2021-03-08 20:47:39 +01:00
Arne Keller	cd5213a929	Code style misc. classes	2021-03-08 20:38:26 +01:00
Arne Keller	081e3e188b	Fix touch interaction with proof tree	2021-03-08 12:42:32 +01:00
Arne Keller	1b642e84f9	Code style in util and parser	2021-03-08 11:40:05 +01:00
Arne Keller	8d6782793e	URL-encode spaces in share link	2021-03-08 11:04:30 +01:00
Arne Keller	3f07a6d234	Fuzzing setup + documentation	2021-03-08 10:53:59 +01:00
uogau	edd7d89e9c	fixed checkstyle	2021-03-08 01:39:19 +01:00
uogau	dc4aaeda0a	set share dialog text fields to read only	2021-03-08 01:36:43 +01:00
Johanna Stuber	77e565426a	Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc	2021-03-07 22:20:38 +01:00
Johanna Stuber	5b86874e0c	new line after each 10 constraints	2021-03-07 22:20:18 +01:00
Arne Keller	ac932a6e0c	Fix page title not updating	2021-03-07 21:31:50 +01:00
Arne Keller	c5d146a137	Move styling into CSS	2021-03-07 20:24:57 +01:00
Moritz Dieing	815b1f0bd9	Fix pipeline	2021-03-07 17:20:08 +01:00
Moritz Dieing	92c694b847	Improved type assumptions	2021-03-07 17:09:19 +01:00