Commit Graph

Select branches

Hide Pull Requests

main

#4

#4

#5

#6

Mono Color

• 79fe498f26 [FMFP] Summarize induction for lists janishutz 2026-03-03 13:38:07 +01:00
• 948bc1f567 [FMFP] Correctness janishutz 2026-03-02 17:01:01 +01:00
• 3fd16846b8 [AMR] Catch up with summary janishutz 2026-03-02 12:20:26 +01:00
• 18a6491ec1 [AMR] Summarize parts of intro janishutz 2026-03-01 17:45:18 +01:00
• f21e6a6300 [AMR] Start summary janishutz 2026-03-01 15:31:14 +01:00
• 6df1e376b1 [Electives] Restructure janishutz 2026-03-01 13:14:45 +01:00
• af1208bed4 [DMDB] Some more notes janishutz 2026-03-01 13:14:12 +01:00
• 0a8462e1b7 [PS] More fixes janishutz 2026-03-01 09:55:51 +01:00
• d02ddf44dc [PS] Fix more errors janishutz 2026-02-28 20:47:26 +01:00
• 0af2aeaa08 [PS] Fix error janishutz 2026-02-28 19:55:35 +01:00
• 00b0bdfb60 [DMDB] Some notes janishutz 2026-02-28 18:04:32 +01:00
• 6216dc0691 [FMFP] Somewhat caught up janishutz 2026-02-28 15:40:38 +01:00
• c079e88fe9 [FMFP] Mostly summarized formal reasoning janishutz 2026-02-28 15:21:27 +01:00
• 9d72814b56 [FMFP] Start summary janishutz 2026-02-27 17:11:45 +01:00
• 18734a18b6 [DMDB] Finish set up janishutz 2026-02-26 16:31:00 +01:00
• 3c74897809 [CN] Set up janishutz 2026-02-26 14:10:22 +01:00
• 02a96609a8 [FMFP] Set up janishutz 2026-02-26 14:10:19 +01:00
• 9f00357165 [DMDB] Set up janishutz 2026-02-26 14:10:14 +01:00
• 77f3af0246 [PS] Almost caught up janishutz 2026-02-25 19:46:07 +01:00
• 103aa6d6c2 [Sem3] Update import path for old helpers janishutz 2026-02-25 09:19:04 +01:00
• 10b06ac97c [Sem4] Update to new helpers janishutz 2026-02-25 09:17:34 +01:00
• 6440a3bbab [Electives] Add janishutz 2026-02-24 13:57:45 +01:00
• 2d48c0fd16 [PS] ch. 1 RobinB27 2026-02-23 14:56:27 +01:00
• 383d26adc6 [PS] Intro: Independence and finish janishutz 2026-02-23 07:55:56 +01:00
• 3b8d85523b [PS] Intro: Probably (lol) catch up janishutz 2026-02-22 16:14:49 +01:00
• cdb7d46f22 [PS] Intro: Examples, properties janishutz 2026-02-22 12:16:26 +01:00
• 08a1324efe [PS] Continue introduction janishutz 2026-02-21 19:54:49 +01:00
• ec39c30933 [PS] Start summarizing janishutz 2026-02-21 18:10:53 +01:00
• 4a550514fe [PS] Move to new helpers (WIP) janishutz 2026-02-19 19:49:51 +01:00
• 6b5c301301 [IML] readme.md RobinB27 2026-02-18 14:34:04 +01:00
• f73f8e335f [IML] setup RobinB27 2026-02-18 14:32:25 +01:00
• 3c84f36c3e [PS] basics RobinB27 2026-02-18 14:30:04 +01:00
• 5985ff216b [PS] Setup janishutz 2026-02-18 13:45:28 +01:00
• f341377757 [PS] setup RobinB27 2026-02-18 13:01:42 +01:00
• 84338a6df1 [Sem4] Set up janishutz 2026-02-18 07:53:21 +01:00
• 59e5e841a4 [Analysis] Fix error in Analysis 1 summary janishutz 2026-02-04 17:12:53 +01:00
• 5bdc67fd2d [README] Update janishutz 2026-02-04 17:11:17 +01:00
• f4baa76fc4 [Analysis] Parametrizations RobinB27 2026-02-04 08:55:06 +01:00
• 6de43e098b [Analysis] More examples RobinB27 2026-02-03 18:45:18 +01:00
• 8a12d3a196 [Analysis] Add title page janishutz 2026-02-03 14:10:32 +01:00
• f007762e50 [CD] Fix uploads janishutz 2026-02-03 14:02:38 +01:00
• 6510bdd8a0 [Analysis] Final tweaks janishutz 2026-02-03 12:06:59 +01:00
• 6c9118e996 [Analysis] More examples RobinB27 2026-02-03 11:46:07 +01:00
• e675570f2e [Analysis] More notes RobinB27 2026-02-02 17:12:27 +01:00
• 79814d0a78 [Analysis] Various fixes janishutz 2026-02-02 14:40:12 +01:00
• 028e21ad1d [CD] Fix analysis II auto upload janishutz 2026-02-02 11:31:30 +01:00
• 46e6004a6d [Analysis] More notes janishutz 2026-02-02 11:30:04 +01:00
• f8a1ec71e8 [Analysis] Add more notes janishutz 2026-02-02 09:09:48 +01:00
• 11d604880c [Analysis] Update diff eq section janishutz 2026-02-02 08:06:40 +01:00
• 6f362bb388 Fix Analysis II auto-upload trigger Janis Hutz 2026-02-02 06:48:00 +00:00
• 19ce8d3af8 [Analysis] Various fixes and optimizations janishutz 2026-02-01 15:31:56 +01:00
• 09b635ebf0 [Analysis] Various additions and fixes janishutz 2026-02-01 11:32:46 +01:00
• 4eedbb96a8 [Analysis] Add general notes janishutz 2026-02-01 09:59:14 +01:00
• 496475f66e [EProg] Improve summary janishutz 2026-01-31 15:22:37 +01:00
• d7fce554cd [Analysis] Notes and cleanup janishutz 2026-01-31 15:07:22 +01:00
• 9245068d97 [Analysis] Clean up, add some notes janishutz 2026-01-31 14:13:18 +01:00
• 2fd0ab1981 [TI] Clean up summary janishutz 2026-01-31 14:13:03 +01:00
• 457597ea53 [Analysis] Small fixes janishutz 2026-01-31 13:25:57 +01:00
• 091b1738a2 [Analysis] Add notes on task type janishutz 2026-01-30 16:40:21 +01:00
• 33423c4698 [Analysis] Add some notes janishutz 2026-01-30 16:00:54 +01:00
• c8dd329674 [SPCA] Floating point: Fix stupid explanation janishutz 2026-01-30 07:45:02 +01:00
• 54d01318d4 [Placeholder] rm -rf janishutz 2026-01-29 19:23:52 +01:00
• 1469e03ecb [SPCA] Guard, round and sticky bit computation tricks janishutz 2026-01-29 18:51:37 +01:00
• 237e2720e4 [Analysis] Update various sections janishutz 2026-01-29 18:25:56 +01:00
• 05ac7b7568 [SPCA] Add notes on rounding janishutz 2026-01-29 17:59:39 +01:00
• 9ea7d3029e [Analysis] Add more notes janishutz 2026-01-28 17:26:59 +01:00
• e8a3fcad09 [Analysis] Add more tips and tricks janishutz 2026-01-28 12:12:18 +01:00
• e281501750 [Analysis] More Linear Algebra RobinB27 2026-01-28 12:06:43 +01:00
• ebd8dedc40 [SPCA] Fix another typo janishutz 2026-01-28 10:47:07 +01:00
• ed1a187bfc [SPCA] Fix more typos janishutz 2026-01-28 08:55:58 +01:00
• 5eda12a69b [SPCA] fix formatting errors, add notes janishutz 2026-01-28 08:06:45 +01:00
• c42f8c65c6 [SPCA] fix spelling mistake janishutz 2026-01-27 17:44:14 +01:00
• 5dcb4b9141 [SPCA] Literals RobinB27 2026-01-27 17:13:56 +01:00
• 6b14b98145 [Analysis] minor fix RobinB27 2026-01-27 14:46:39 +01:00
• 36461c8082 [SPCA] Improve notes on denoting function side-effect free janishutz 2026-01-26 20:43:43 +01:00
• 02dca2ea18 [SPCA] Design fixes janishutz 2026-01-26 19:23:23 +01:00
• fe9dc3344d [SPCA] Fix typos janishutz 2026-01-26 17:07:49 +01:00
• 181ce77fe7 [Analysis] Fix Taylor Formulas RobinB27 2026-01-26 15:02:07 +01:00
• 0dfbd46684 [Analysis] Small notes RobinB27 2026-01-26 14:58:58 +01:00
• 2f2432ddd3 [SPCA] Add note on endianness janishutz 2026-01-26 07:15:25 +01:00
• b8dd353f09 [SPCA] Add note on comma operator janishutz 2026-01-25 15:46:35 +01:00
• a5f0aa40d2 [SPCA] Add more notes on conditional moves and jumps janishutz 2026-01-25 13:41:08 +01:00
• 0770c76ef3 [SPCA] Fixes a few errors janishutz 2026-01-25 08:11:16 +01:00
• eb6240c26e [SPCA] MSI section, minor changes RobinB27 2026-01-24 19:25:09 +01:00
• ac6c215adf [Analysis] Enable auto-upload janishutz 2026-01-24 15:31:21 +01:00
• 3c5e8cc1f9 [EProg] Make summary compile again janishutz 2026-01-24 15:27:55 +01:00
• 0a5a444c2c [SPCA] Integrate auto-upload janishutz 2026-01-24 15:22:12 +01:00
• 9ab8a012d4 [SPCA] Add title page janishutz 2026-01-24 15:20:02 +01:00
• 8514adadc6 [NumCS] Update PDF janishutz 2026-01-24 15:15:20 +01:00
• 8db53b80a7 Merge pull request #6 from bfeitknecht/patch-1 Janis Hutz 2026-01-24 14:12:22 +00:00
• ff86cef50c [SPCA] Virtual memory, Caches updated janishutz 2026-01-24 15:04:32 +01:00
• c394721942 Update semester3/numcs/parts/02_quadrature/00_introduction.tex Basil Feitknecht 2026-01-24 12:40:11 +01:00
• b4ca0ead95 Update semester3/numcs/parts/02_quadrature/00_introduction.tex Basil Feitknecht 2026-01-24 12:39:39 +01:00
• 28fb91c42d [SPCA] MESI diagram RobinB27 2026-01-23 19:01:50 +01:00
• 6648f2a188 [Analysis] Fixes janishutz 2026-01-23 16:16:59 +01:00
• fe01067f51 [Analysis] Add notes janishutz 2026-01-23 13:07:46 +01:00
• 6f2d107a52 [NumCS] Fix error in code janishutz 2026-01-23 12:41:49 +01:00
• 878cac1217 [SPCA] Additions to floating point janishutz 2026-01-23 11:57:27 +01:00
• 25b3381294 [SPCA] Fix various errors janishutz 2026-01-23 10:33:49 +01:00
• b86fd00a60 Update 05_stack.tex Janis Hutz 2026-01-23 06:25:31 +00:00