254 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	fd60cb3988	feat(dissertation): expand on connector subsections and add simulator plugin section	2024-05-13 18:29:45 +01:00
Anthony Berg	680a3b9c25	feat(dissertation): add explanation about desigining in 3.3	2024-05-13 18:08:27 +01:00
Anthony Berg	2880c99007	feat(dissertation): add acknowledgement	2024-05-12 19:34:58 +01:00
Anthony Berg	6aca91e2cb	feat(dissertation): add formal model appendix	2024-05-12 19:17:07 +01:00
Anthony Berg	4e3c8d5ca7	feat(dissertation): add formal section and split up safety into subsections	2024-05-12 18:24:37 +01:00
Anthony	5bb332238c	fix(connector): VDMJ call on server	2024-05-09 10:43:26 +01:00
Anthony Berg	a7c0fc9d3d	test(connector): add engine fire checklist steps	2024-05-09 09:49:19 +01:00
Anthony Berg	9fd9744f3a	feat(connector): add xpc commands	2024-05-09 09:48:51 +01:00
Anthony Berg	02d5ed8c35	feat(connector): add VDMJ into Test	2024-05-09 09:01:23 +01:00
Anthony Berg	d1b45a4d5a	feat(connector): add parser for String to Aircraft	2024-05-09 09:00:55 +01:00
Anthony Berg	098124bc8c	refactor(connector): made VDMJ into an object	2024-05-09 09:00:32 +01:00
Anthony Berg	85ca7b11f4	fix(connector): vdm type errors	2024-05-09 07:59:25 +01:00
Anthony Berg	3e31294b27	feat(connector): add pre-run command before tests	2024-05-09 07:16:29 +01:00
Anthony Berg	d551c1b5c5	feat(connector): add getAircraftState function for VDMJTransaction	2024-05-07 17:53:39 +01:00
Anthony Berg	5a50114f04	feat(dissertation): add all section titles	2024-05-07 14:43:20 +01:00
Anthony Berg	7b581ad81e	feat(dissertation): add section about Safety in Background	2024-05-07 14:25:21 +01:00
Anthony Berg	48db7b7020	fix(dissertation): typos in JVM Languages	2024-05-07 13:35:19 +01:00
Anthony Berg	07459e992d	refactor(dissertation): move introuction to each separate sections	2024-05-07 13:33:59 +01:00
Anthony Berg	3d4657a88f	feat(dissertation): add components in design chapter	2024-05-07 13:25:33 +01:00
Anthony Berg	a6faa4dd12	feat(connector): update abstract layout of project	2024-05-07 13:10:04 +01:00
Anthony Berg	fd61bd0197	feat(connector): add init for VDMJTransaction	2024-05-07 12:50:59 +01:00
Anthony Berg	51269484af	feat(connector): add VDM type data class for ItemObject	2024-05-07 12:14:32 +01:00
Anthony Berg	34904c4bf8	feat(connector): add VDM type data class for ProcedureItem and enums for ItemType objects	2024-05-07 00:57:02 +01:00
Anthony Berg	21c597b3dc	feat(connector): add VDM type data class for Switch	2024-05-06 20:08:32 +01:00
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