15 Commits

Include renames

Author	SHA1	Message	Date
janishutz	7cdba7dca9	[FMFP] Final remarks and fixes	2026-08-06 15:10:54 +02:00
janishutz	dad7286f10	[FMFP] Notes (uncompiled) for axiomatic semantics + LTL	2026-08-06 13:49:51 +02:00
janishutz	c8615a6136	[FMFP] Add note on promela exam relevance	2026-08-05 15:28:13 +02:00
janishutz	1503299b4c	[FMFP] remarks on tasks from exam, title page	2026-07-28 13:41:56 +02:00
janishutz	516a85a8b5	[FMFP] Notes on tasks, checklist	2026-07-28 09:19:56 +02:00
janishutz	3fe6b41d8b	[FMFP] Notes	2026-07-27 17:11:14 +02:00
janishutz	5c56561acc	[FMFP] Notes on tasks	2026-07-22 12:26:21 +02:00
janishutz	0b98da10eb	[FMFP] Remark on axiomatic semantics	2026-07-21 10:39:52 +02:00
janishutz	51da8be172	[FMFP] Add small remark on modelling	2026-07-20 17:19:30 +02:00
janishutz	452e259792	[FMFP] Notes for examp prep	2026-07-17 10:59:54 +02:00
janishutz	ff9258fb22	[FMFP] Notes on LTL	2026-07-15 10:52:50 +02:00
janishutz	bc1cc816f1	[FMFP] Mostly finish exercises section	2026-07-14 14:44:07 +02:00
janishutz	4ca561ce49	[FMFP] Exam notes for FP almost complete	2026-07-13 13:07:12 +02:00
janishutz	f36189fac9	[FMFP] Notes on exercises from exams	2026-07-12 16:15:17 +02:00
janishutz	a719132e7d	[FMFP] Prepare section on exercises	2026-07-12 08:51:32 +02:00