smyalygames/checklist-tester
1
0
Fork 0
mirror of https://github.com/smyalygames/checklist-tester.git synced 2025-05-18 06:24:12 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 19aaeedf27 refactor(dissertation): cleanup VDM model main Anthony Berg 2024-05-22 15:53:33 +01:00
  • 443255342c feat(dissertation): add GitHub repository link in results Anthony Berg 2024-05-22 15:42:20 +01:00
  • df90a142ac
         ci: add GPLv3 license Anthony Berg 2024-05-22 15:36:20 +01:00
  • 6206e5d8e2 feat(dissertation): write background in full Anthony Berg 2024-05-22 15:34:08 +01:00
  • dacfb65949 feat(dissertation): add abstract Anthony Berg 2024-05-22 15:14:44 +01:00
  • faaa64b252 feat(dissertation): wrote pr in full Anthony Berg 2024-05-22 15:05:26 +01:00
  • fc33f38409 feat(dissertation): write conclusion in full Anthony Berg 2024-05-22 14:48:49 +01:00
  • 8743ae27f2 feat(dissertation): write most of results in full Anthony Berg 2024-05-22 14:14:55 +01:00
  • ada9e447b1 refactor(dissertation): move xpc pr to result Anthony Berg 2024-05-22 12:50:11 +01:00
  • 7b5409548d feat(dissertation): write scenarios in implementation in full Anthony Berg 2024-05-22 12:44:47 +01:00
  • 0f28ea0c9d feat(dissertation): write XPC plugin in full Anthony Berg 2024-05-22 12:39:16 +01:00
  • e3884791f6 feat(dissertation): write testing in implementation in full Anthony Berg 2024-05-22 12:13:23 +01:00
  • beca5f0a41 feat(dissertation): write xpc integration in full Anthony Berg 2024-05-22 11:59:13 +01:00
  • afd7c63bda feat(dissertation): write vdmj wrapper implementation in full Anthony Berg 2024-05-22 11:38:26 +01:00
  • 50dc289602 feat(dissertation): write storing data section in full Anthony Berg 2024-05-22 10:53:39 +01:00
  • 4547cb07f8 feat(dissertation): write compose multiplatform design in full Anthony Berg 2024-05-22 10:04:26 +01:00
  • 45193a88fa feat(dissertation): write checklist tester designing subsection in full Anthony Berg 2024-05-22 04:09:09 +01:00
  • 2153a57ce6 feat(dissertation): write formal model design in full Anthony Berg 2024-05-22 03:31:03 +01:00
  • cc95bb25b3 feat(dissertation): write components design in full Anthony Berg 2024-05-22 02:43:52 +01:00
  • 4a44ba7344 feat(dissertation): write formal methods background in full Anthony Berg 2024-05-22 01:29:40 +01:00
  • 78096bba2a feat(dissertation): wrote checklist background in full Anthony Berg 2024-05-22 01:17:54 +01:00
  • fad962456d feat(dissertation): wrote Introduction in full Anthony Berg 2024-05-21 18:51:49 +01:00
  • 2affc711c9 feat(dissertation): complete time spent section Anthony Berg 2024-05-21 16:06:36 +01:00
  • e70db8c342
         cleanup(dissertation): remove generated word count file Anthony Berg 2024-05-21 15:29:38 +01:00
  • 7bc96ba810 ci(dissertation): add .sum files to gitignore Anthony Berg 2024-05-21 15:27:40 +01:00
  • 01ef104622 feat(dissertation): add xpc implementation in compose Anthony Berg 2024-05-21 15:25:50 +01:00
  • 5d67a260a1 feat(dissertation): add formal methods section in background Anthony Berg 2024-05-20 19:17:10 +01:00
  • cb7a131f01 feat(dissertation): add definitions in checklist section in background Anthony 2024-05-20 15:50:11 +01:00
  • 120a7c2413 feat(dissertation): improve on checklist section in background Anthony Berg 2024-05-19 20:00:04 +01:00
  • c7bcecf552 fix(dissertation): clearer wording Anthony Berg 2024-05-19 19:21:39 +01:00
  • 828edb17cc feat(dissertation): add what next to conclusion Anthony 2024-05-18 12:25:55 +01:00
  • 3d8814fa28 feat(dissertation): add objectives met section in conclusion Anthony 2024-05-18 12:00:57 +01:00
  • 8e3241d701 feat(dissertation): add changes in conclusion Anthony 2024-05-18 11:47:42 +01:00
  • 186c087572 feat(dissertation): add planning and implementation to reflection Anthony 2024-05-17 18:25:30 +01:00
  • 5bac026e70 feat(dissertation): add final prototype section in results chapter Anthony 2024-05-17 17:39:44 +01:00
  • f0490aef7b fix(dissertation): test coverage statement for SQLite Anthony Berg 2024-05-16 00:32:12 +01:00
  • 71c9d4f9f8 feat(dissertation): add section for CD in XPC Anthony Berg 2024-05-16 00:13:53 +01:00
  • dcb04f13db feat(dissertation): add PR section for XPC Anthony Berg 2024-05-15 23:53:53 +01:00
  • 9d7bd401bc feat(dissertation): add testing sections Anthony Berg 2024-05-15 23:21:51 +01:00
  • 114a7e745d refactor(dissertation): change ref to autoref Anthony Berg 2024-05-15 22:22:59 +01:00
  • e729ac129f feat(dissertation): add VDMJ io flowchart Anthony Berg 2024-05-15 18:50:38 +01:00
  • 5e03b65a0b feat(dissertation): add vdmj explanation Anthony Berg 2024-05-15 18:08:39 +01:00
  • 5724fb91f3 feat(dissertation): add word count to title page Anthony Berg 2024-05-15 17:32:41 +01:00
  • 002f43132d feat(dissertation): add appendix for database schemas Anthony Berg 2024-05-14 14:18:12 +01:00
  • cc87884f40 feat(dissertation): add bullet points for Storing Data subsection Anthony Berg 2024-05-14 14:00:40 +01:00
  • 6c75fe3253 fix(dissertation): add short caption back to listing Anthony Berg 2024-05-14 12:15:46 +01:00
  • 931e48fe94 fix(dissertation): figure positions changed to H Anthony Berg 2024-05-14 12:09:10 +01:00
  • fe390689a6 feat(dissertation): change Figure to Listing for code Anthony Berg 2024-05-14 12:07:20 +01:00
  • bbb3635736 feat(dissertation): add reason to why modular code is important in compose Anthony Berg 2024-05-14 11:36:16 +01:00
  • dc590aa3e7 feat(dissertation): add ER diagram for Storing Data section Anthony Berg 2024-05-14 00:59:14 +01:00
  • 0e6f11b61c feat(dissertation): add code example for modular compose functions Anthony Berg 2024-05-13 22:02:07 +01:00
  • 1c0060d0bb feat(dissertation): add setup section for compose multiplatform Anthony Berg 2024-05-13 21:29:47 +01:00
  • 7f3248dbaf feat(dissertation): add section on creating a maven package for xpc Anthony Berg 2024-05-13 20:49:11 +01:00
  • fd60cb3988 feat(dissertation): expand on connector subsections and add simulator plugin section Anthony Berg 2024-05-13 18:29:45 +01:00
  • 680a3b9c25 feat(dissertation): add explanation about desigining in 3.3 Anthony Berg 2024-05-13 18:08:27 +01:00
  • 2880c99007 feat(dissertation): add acknowledgement Anthony Berg 2024-05-12 19:34:58 +01:00
  • 6aca91e2cb feat(dissertation): add formal model appendix Anthony Berg 2024-05-12 19:17:07 +01:00
  • 4e3c8d5ca7 feat(dissertation): add formal section and split up safety into subsections Anthony Berg 2024-05-12 18:24:37 +01:00
  • 5bb332238c fix(connector): VDMJ call on server Anthony 2024-05-09 10:43:26 +01:00
  • a7c0fc9d3d test(connector): add engine fire checklist steps Anthony Berg 2024-05-09 09:49:19 +01:00
  • 9fd9744f3a feat(connector): add xpc commands Anthony Berg 2024-05-09 09:48:51 +01:00
  • 02d5ed8c35 feat(connector): add VDMJ into Test Anthony Berg 2024-05-09 09:01:23 +01:00
  • d1b45a4d5a feat(connector): add parser for String to Aircraft Anthony Berg 2024-05-09 09:00:55 +01:00
  • 098124bc8c refactor(connector): made VDMJ into an object Anthony Berg 2024-05-09 09:00:32 +01:00
  • 85ca7b11f4 fix(connector): vdm type errors Anthony Berg 2024-05-09 07:59:25 +01:00
  • 3e31294b27 feat(connector): add pre-run command before tests Anthony Berg 2024-05-09 07:16:29 +01:00
  • d551c1b5c5 feat(connector): add getAircraftState function for VDMJTransaction Anthony Berg 2024-05-07 17:53:39 +01:00
  • 5a50114f04 feat(dissertation): add all section titles Anthony Berg 2024-05-07 14:43:20 +01:00
  • 7b581ad81e feat(dissertation): add section about Safety in Background Anthony Berg 2024-05-07 14:25:21 +01:00
  • 48db7b7020 fix(dissertation): typos in JVM Languages Anthony Berg 2024-05-07 13:35:19 +01:00
  • 07459e992d refactor(dissertation): move introuction to each separate sections Anthony Berg 2024-05-07 13:33:59 +01:00
  • 3d4657a88f feat(dissertation): add components in design chapter Anthony Berg 2024-05-07 13:25:33 +01:00
  • a6faa4dd12 feat(connector): update abstract layout of project Anthony Berg 2024-05-07 13:10:04 +01:00
  • fd61bd0197 feat(connector): add init for VDMJTransaction Anthony Berg 2024-05-07 12:50:59 +01:00
  • 51269484af feat(connector): add VDM type data class for ItemObject Anthony Berg 2024-05-07 12:14:32 +01:00
  • 34904c4bf8 feat(connector): add VDM type data class for ProcedureItem and enums for ItemType objects Anthony Berg 2024-05-07 00:57:02 +01:00
  • 21c597b3dc feat(connector): add VDM type data class for Switch Anthony Berg 2024-05-06 20:08:32 +01:00
  • 08da2d4506 feat(connector): add VDM data type for Aircraft Anthony Berg 2024-05-06 19:40:38 +01:00
  • c6a37b8ac6 feat(formal): add improvements suggested by Leo Anthony Berg 2024-05-06 18:29:49 +01:00
  • 0b0baa9a65 fix(formal): vdmignore ignore all other directories other than formal Anthony Berg 2024-05-06 18:29:15 +01:00
  • b0bd70475c feat(formal): add everything to vdmignore except formal directory Anthony Berg 2024-05-06 17:05:47 +01:00
  • 00dd67a896 revert(ci): last commit Anthony Berg 2024-05-05 18:50:21 +01:00
  • 072645bf6a feat(ci): make gradle github ci only run in files edited in connector/ Anthony Berg 2024-05-05 18:49:27 +01:00
  • 4e2f1ecdc1 fix(dissertation): typos in background stuff in introduction Anthony Berg 2024-05-05 18:43:30 +01:00
  • 4c0e9118b2 feat(dissertation): add aim in introduction Anthony Berg 2024-05-05 18:42:36 +01:00
  • d8d5301b4c feat(dissertation): improve wording on chosing languages Anthony Berg 2024-05-05 18:33:20 +01:00
  • 7673e90706 refactor(dissertation): move tech stack talk to background Anthony Berg 2024-05-05 18:07:32 +01:00
  • 89566935ce feat(dissertation): add objectives to introduction Anthony Berg 2024-05-05 18:00:51 +01:00
  • 4a63d2b327 build(connector): move implementation to libs.versions.toml Anthony Berg 2024-05-05 16:35:43 +01:00
  • 1b67f8605d build(connector): upgrade compose multiplatform deps Anthony Berg 2024-05-05 15:31:00 +01:00
  • 31eb20f7d1 fix(ci): add build-root-directory for gradle dep submission Anthony Berg 2024-05-05 15:03:44 +01:00
  • 1db372c2bc fix(connector): add gradle wrapper jar Anthony Berg 2024-05-05 15:00:38 +01:00
  • c0fcb32ca9
         ci(connector): add build and test for github ci Anthony Berg 2024-05-03 12:25:55 +01:00
  • 62e9267775 feat(connector): add logging with KotlinLogger and reload4j Anthony Berg 2024-05-03 01:13:16 +01:00
  • 9482ba3d97 feat(connector): add database logging for simulator test Anthony Berg 2024-05-02 18:01:35 +01:00
  • c615149624 fix(connector): id not being fetched from database after insert Anthony Berg 2024-05-02 17:59:40 +01:00
  • 2efc105ef2 fix(connector): made simConnection mutable to update SimStatus icon Anthony Berg 2024-05-02 17:58:31 +01:00
  • 3a0358ed9d fix(connector): prevent database table from being created on each launch Anthony Berg 2024-05-02 15:20:51 +01:00
  • 794f489cab feat(connector): add database transaction for testing Anthony Berg 2024-05-02 15:16:54 +01:00
  • 3a251893cd feat(connector): create sqldelight table for test result Anthony Berg 2024-05-02 14:24:39 +01:00