228 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Anthony Berg	08da2d4506	feat(connector): add VDM data type for Aircraft	2024-05-06 19:40:38 +01:00
Anthony Berg	c6a37b8ac6	feat(formal): add improvements suggested by Leo	2024-05-06 18:29:49 +01:00
Anthony Berg	0b0baa9a65	fix(formal): vdmignore ignore all other directories other than formal	2024-05-06 18:29:15 +01:00
Anthony Berg	b0bd70475c	feat(formal): add everything to vdmignore except formal directory	2024-05-06 17:05:47 +01:00
Anthony Berg	00dd67a896	revert(ci): last commit	2024-05-05 18:50:21 +01:00
Anthony Berg	072645bf6a	feat(ci): make gradle github ci only run in files edited in connector/	2024-05-05 18:49:27 +01:00
Anthony Berg	4e2f1ecdc1	fix(dissertation): typos in background stuff in introduction	2024-05-05 18:43:30 +01:00
Anthony Berg	4c0e9118b2	feat(dissertation): add aim in introduction	2024-05-05 18:42:36 +01:00
Anthony Berg	d8d5301b4c	feat(dissertation): improve wording on chosing languages	2024-05-05 18:33:20 +01:00
Anthony Berg	7673e90706	refactor(dissertation): move tech stack talk to background	2024-05-05 18:07:32 +01:00
Anthony Berg	89566935ce	feat(dissertation): add objectives to introduction	2024-05-05 18:00:51 +01:00
Anthony Berg	4a63d2b327	build(connector): move implementation to libs.versions.toml	2024-05-05 16:35:43 +01:00
Anthony Berg	1b67f8605d	build(connector): upgrade compose multiplatform deps	2024-05-05 15:31:00 +01:00
Anthony Berg	31eb20f7d1	fix(ci): add build-root-directory for gradle dep submission	2024-05-05 15:03:44 +01:00
Anthony Berg	1db372c2bc	fix(connector): add gradle wrapper jar	2024-05-05 15:00:38 +01:00
Anthony Berg	c0fcb32ca9	ci(connector): add build and test for github ci	2024-05-03 12:25:55 +01:00
Anthony Berg	62e9267775	feat(connector): add logging with KotlinLogger and reload4j	2024-05-03 01:13:16 +01:00
Anthony Berg	9482ba3d97	feat(connector): add database logging for simulator test	2024-05-02 18:01:35 +01:00
Anthony Berg	c615149624	fix(connector): id not being fetched from database after insert	2024-05-02 17:59:40 +01:00
Anthony Berg	2efc105ef2	fix(connector): made simConnection mutable to update SimStatus icon	2024-05-02 17:58:31 +01:00
Anthony Berg	3a0358ed9d	fix(connector): prevent database table from being created on each launch	2024-05-02 15:20:51 +01:00
Anthony Berg	794f489cab	feat(connector): add database transaction for testing	2024-05-02 15:16:54 +01:00
Anthony Berg	3a251893cd	feat(connector): create sqldelight table for test result	2024-05-02 14:24:39 +01:00
Anthony Berg	5f456bb898	feat(connector): track initial state in test runs	2024-05-02 12:49:25 +01:00
Anthony	452756e3d3	feat(connector): add tests and run via XPC	2024-05-01 17:49:10 +01:00
Anthony	515c06e46a	refactor(connector): rename composable function to correct casing	2024-05-01 17:48:41 +01:00
Anthony	585f1794dc	refactor(connector): move xpc to xpc package	2024-05-01 15:32:02 +01:00
Anthony	77ecc4dc5a	feat(connector): add TestRun screen	2024-05-01 15:29:51 +01:00
Anthony	c5e20d6363	feat(connector): add ScreenModel for SimulatorTest	2024-05-01 12:54:30 +01:00
Anthony	878b4f6a0c	refactor(connector): remove unnecessary use of tab in SimulatorTest	2024-05-01 12:22:40 +01:00
Anthony	e99a1be54a	refactor(connector): change casing for Composable functions	2024-05-01 12:21:27 +01:00
Anthony	92b14d872f	feat(connector): add tab navigation to SimulatorTest	2024-05-01 12:13:41 +01:00
Anthony Berg	02ab50f9ad	refactor(connector): move SimulatorTests to its own package	2024-05-01 09:37:20 +01:00
Anthony Berg	225378dfb9	feat(connector): add DropdownMenu to each procedure	2024-04-30 13:06:45 +01:00
Anthony Berg	cd0f16828c	feat(connector): remove gesture control on NavigationDrawer	2024-04-30 12:45:35 +01:00
Anthony	fe92d6a6e9	Merge remote-tracking branch 'origin/main'	2024-04-27 09:55:57 +01:00
Anthony	9324870e39	feat(poster): add final exported posters	2024-04-27 09:54:20 +01:00
Anthony Berg	1f53de5af5	feat(connector): delete an action in action screen	2024-04-27 00:42:08 +01:00
Anthony Berg	f498c8c0c0	feat(connector): implement save for Action	2024-04-27 00:18:02 +01:00
Anthony Berg	07b3cfdb26	feat(connector): add ActionsScreenModel to get actions from database	2024-04-26 18:15:09 +01:00
Anthony	8d8c140b35	feat(connector): add Action database transactions	2024-04-26 14:45:39 +01:00
Anthony	6f149d3910	feat(connector): add dynamic form when creating action	2024-04-26 14:04:38 +01:00
Anthony	f6080c4a1b	feat(connector): create Action data entity	2024-04-26 13:16:34 +01:00
Anthony	801f54cb59	build(connector): update sqldelight plugin to 2.0.2	2024-04-26 12:23:12 +01:00
Anthony	2ef958c22e	ci: add recursive folders for idea in .gitignore	2024-04-26 11:27:10 +01:00
Anthony	928a0859ea	refactor(poster): rename functions to correct casing	2024-04-26 10:38:02 +01:00
Anthony	860040b0fd	feat(poster): add final poster design	2024-04-26 10:32:44 +01:00
Anthony Berg	87350ff1ec	feat(connector): add layout for action screen	2024-04-25 18:18:51 +01:00
Anthony Berg	ad70ec5add	Merge remote-tracking branch 'origin/main'	2024-04-25 13:14:14 +01:00
Anthony Berg	d8efe32b87	feat(connector): move actions to separate screen	2024-04-25 13:13:39 +01:00