19 Commits

Author	SHA1	Message	Date
Anthony Berg	19aaeedf27	refactor(dissertation): cleanup VDM model	2024-05-22 15:53:33 +01:00
Anthony Berg	c6a37b8ac6	feat(formal): add improvements suggested by Leo	2024-05-06 18:29:49 +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	64da931add	refactor(formal): change the way that the Aircraft, Item, Checklist types work	2024-03-12 19:47:16 +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 Berg	f7ec9023ff	feat(formal): start formal modelling	2024-02-12 22:54:54 +00:00