17 Commits

Author	SHA1	Message	Date
Anthony Berg	78096bba2a	feat(dissertation): wrote checklist background in full	2024-05-22 01:17:54 +01:00
Anthony Berg	5d67a260a1	feat(dissertation): add formal methods section in background	2024-05-20 19:17:10 +01:00
Anthony Berg	120a7c2413	feat(dissertation): improve on checklist section in background	2024-05-19 20:00:04 +01:00
Anthony Berg	dcb04f13db	feat(dissertation): add PR section for XPC	2024-05-15 23:53:53 +01:00
Anthony Berg	5e03b65a0b	feat(dissertation): add vdmj explanation	2024-05-15 18:08:39 +01:00
Anthony Berg	cc87884f40	feat(dissertation): add bullet points for Storing Data subsection	2024-05-14 14:00:40 +01:00
Anthony Berg	1c0060d0bb	feat(dissertation): add setup section for compose multiplatform	2024-05-13 21:29:47 +01:00
Anthony Berg	7f3248dbaf	feat(dissertation): add section on creating a maven package for xpc	2024-05-13 20:49:11 +01:00
Anthony Berg	680a3b9c25	feat(dissertation): add explanation about desigining in 3.3	2024-05-13 18:08:27 +01:00
Anthony Berg	7b581ad81e	feat(dissertation): add section about Safety in Background	2024-05-07 14:25:21 +01:00
Anthony Berg	d8d5301b4c	feat(dissertation): improve wording on chosing languages	2024-05-05 18:33:20 +01:00
Anthony Berg	337c2aeca9	refactor(dissertation): update online reference titles to html title	2024-04-22 10:30:51 +01:00
Anthony Berg	6d570e520e	feat(dissertation): add flight simulator plugin subsection in decisions	2024-04-21 16:06:21 +01:00
Anthony Berg	b1ce17d6f5	feat(dissertation): add checklist tester subsection for decisions section	2024-04-21 15:47:04 +01:00
Anthony Berg	8e4c9200a4	feat(dissertation): add formal model design decision	2024-04-21 14:52:51 +01:00
Anthony	bd01c128b0	feat(dissertation): yank introduction bullet points from project proposal	2024-03-13 10:08:32 +00:00
Anthony	8786a9308f	feat(dissertation): create structure for dissertation document	2024-03-12 16:37:39 +00:00