kaptan

167 Commits 2 Branches 0 Tags

3 Commits

Include renames

Author	SHA1	Message	Date
Onur Özkan	62b18d5b2e	build: replace argument dispatch and retain source-bound verification Replace argument recovery with direct build targets. Run host, target, board, coverage, Miri and selected Kani checks while retaining source identities, logs and artifacts, including failed attempts. Keep the PID proof diagnostic exception explicit and match its exact identity alongside passing contract assertions and covers. Validation: final-source verification matrix, assembled workflow tests and documentation build.	2026-11-07 18:12:11 +03:00
Onur Özkan	7dc3ccb619	build: add directory-oriented make workflows Host SITL smoke / Deterministic Gazebo command path (push) Has been cancelled Details	2026-08-30 07:05:01 +03:00
Onur Özkan	404e466fc2	docs: centralize Markdown developer manual	2026-08-09 14:24:03 +03:00

Author

SHA1

Message

Date

Onur Özkan

62b18d5b2e

build: replace argument dispatch and retain source-bound verification

Replace argument recovery with direct build targets. Run host, target,
board, coverage, Miri and selected Kani checks while retaining source
identities, logs and artifacts, including failed attempts.

Keep the PID proof diagnostic exception explicit and match its exact
identity alongside passing contract assertions and covers.

Validation: final-source verification matrix, assembled workflow tests
and documentation build.

2026-11-07 18:12:11 +03:00

Onur Özkan

7dc3ccb619

build: add directory-oriented make workflows

Host SITL smoke / Deterministic Gazebo command path (push) Has been cancelled

Details

2026-08-30 07:05:01 +03:00

Onur Özkan

404e466fc2

docs: centralize Markdown developer manual

2026-08-09 14:24:03 +03:00