106 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Anthony	e02ed0f33b	feat(connector): add list of procedures	2024-04-02 03:45:24 +02:00
Anthony	4d6662a0cc	refactor(connector): rename overline content to aircraft rather than procedure type	2024-04-02 03:40:42 +02:00
Anthony	5e99a7acd8	fix(connector): drop down menu in separate function resulted in it being broken	2024-04-02 03:40:14 +02:00
Anthony	9f63beb50e	feat(connector): create screen to create procedures	2024-04-02 03:30:36 +02:00
Anthony	51b762140a	feat(connector): create No Procedures screen	2024-04-02 03:30:19 +02:00
Anthony	4efb47ab67	refactor(connector): move Procedures into a separate package	2024-04-02 01:12:22 +02:00
Anthony	7546b361e3	feat(connector): made list items clickable in ListProjects	2024-04-02 01:00:30 +02:00
Anthony	5256ea64a6	feat(connector): add list of all projects screen	2024-04-02 00:32:07 +02:00
Anthony	f014aee71b	feat(connector): add back button on CreateProject screen	2024-04-01 23:28:46 +02:00
Anthony	25ef7081f3	feat(connector): add window icon	2024-04-01 22:54:47 +02:00
Anthony	f284669539	feat(connector): add proper window title	2024-04-01 22:41:19 +02:00
Anthony	faf7754770	feat(connector): add screen to create project	2024-04-01 22:35:32 +02:00
Anthony	2afa31b40c	feat(connector): move tabs into separate package and add local screen for projects	2024-04-01 17:45:47 +02:00
Anthony	d953053974	feat(connector): add welcome screen	2024-04-01 17:11:50 +02:00
Anthony	d76a2f2556	feat(connector): add simulator status in top bar	2024-04-01 15:45:31 +02:00
Anthony	ddb6c94d5e	feat(connector): add Navigation	2024-04-01 13:24:13 +02:00
Anthony	32c9be2eee	feat(connector): allow for composable objects to coexist with nav drawer	2024-04-01 04:54:05 +02:00
Anthony	8f8ae61325	feat(connector): add navigation drawer and scaffold	2024-04-01 04:38:03 +02:00
Anthony	df8137a029	feat(connector): add title bar and custom material color theme	2024-04-01 00:23:13 +02:00
Anthony	0f4e4f4877	build(connector): add material3 support	2024-04-01 00:21:23 +02:00
Anthony	89451ba849	build(connector): add Compose and split desktop app and server	2024-03-30 18:43:11 +01:00
Anthony	609c8393ae	feat(connector): start VDMJ connection	2024-03-30 17:48:44 +01:00
Anthony	507c4b5f6d	feat(connector): add basic Kotlin project	2024-03-29 14:58:42 +01:00
Anthony	7b9729f93e	ci: add .gitignore for Java and JetBrains	2024-03-29 14:57:17 +01:00
Anthony	9911305bab	feat(formal): add completing procedures with aircraft return	2024-03-28 18:33:49 +01:00
Leo Freitas	ba295063ca	comment(formal) = added qc comments	2024-03-28 16:29:05 +00:00
Leo Freitas	a3138e7102	comment(formal) = added various //@LF comments	2024-03-28 16:25:58 +00:00
Anthony	1044f9d252	feat(formal): add type for item and procedure item	2024-03-15 11:42:21 +00:00
Anthony	bd01c128b0	feat(dissertation): yank introduction bullet points from project proposal	2024-03-13 10:08:32 +00:00
Anthony	64da931add	refactor(formal): change the way that the Aircraft, Item, Checklist types work	2024-03-12 19:47:16 +00:00
Anthony	8329385cfd	feat(dissertation): add preface and subfiles	2024-03-12 17:52:48 +00:00
Anthony	8786a9308f	feat(dissertation): create structure for dissertation document	2024-03-12 16:37:39 +00:00
Anthony	273e53738d	fix(formal): add checks if item already in position	2024-03-12 15:02:29 +00:00
Anthony Berg	efd5588085	feat(formal): start logic for completing items in checklist in aircraft	2024-03-10 01:20:37 +00:00
Anthony Berg	53ee06cfd6	feat(formal): add completing items in procedure	2024-03-07 17:07:42 +00:00
Anthony Berg	546aac34d0	fix(formal): stack underflow for index_of_item	2024-03-07 16:35:49 +00:00
Anthony Berg	60a788ce83	feat(formal): add function to move switches	2024-03-07 16:32:19 +00:00
Anthony Berg	5cc785b9e2	feat(formal): add search for index of item in aircraft	2024-03-07 15:52:03 +00:00
Anthony	e904ecb8df	feat(formal): add checking functions for procedures	2024-02-27 17:25:22 +00:00
Anthony	1354906b57	feat(formal): add checklist procedure values	2024-02-27 17:09:39 +00:00
Anthony	9f1ea3691e	feat(formal): add values for before start checklist	2024-02-27 14:42:15 +00:00
Anthony	bc70a4c7a5	feat(formal): add types for aircraft and checklist	2024-02-27 12:41:04 +00:00
Anthony	ad0c70db56	feat(formal): start modelling aircraft	2024-02-26 15:55:25 +00:00
Anthony	d2080a9784	refactor(proposal): add new page to make page split look nicer	2024-02-23 15:02:56 +00:00
Anthony	55ff1db8d9	feat(proposal): add vdm reference	2024-02-23 14:54:24 +00:00
Anthony	e55475f0ce	fix(proposal): wording in objective	2024-02-23 14:38:58 +00:00
Anthony	b289af327a	fix(proposal): wording in key background	2024-02-23 14:37:10 +00:00
Anthony	5d235a327c	feat(proposal): add reference for context	2024-02-23 14:33:24 +00:00
Anthony	42069e1af8	feat(proposal): improve wording for ethics	2024-02-23 14:20:08 +00:00
Anthony	31b0ed780a	feat(proposal): improve reasoning in key background sources	2024-02-23 13:53:55 +00:00