eth-janishutz/eth-summaries
1
0
Fork 0
mirror of https://github.com/janishutz/eth-summaries.git synced 2026-09-10 19:15:25 +02:00
Code Issues Packages Projects Releases Wiki Activity
756 Commits 1 Branch 0 Tags
5240f4f75ce25384de63a2ac4691e220db229600
Commit Graph
756 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
janishutz 5240f4f75c [PS] More detailed descriptions 2026-08-18 16:59:42 +02:00
RobinB27 3b649e327e [IML] PCA, kernels 2026-08-18 16:22:05 +02:00
janishutz 1ef3d5b1c9 [PS] Many small fixes 2026-08-18 12:02:00 +02:00
janishutz 74437211cb [DMDB] Fix small errors in quick overview 2026-08-17 10:05:34 +02:00
janishutz 6fbb1910a8 [DMDB] Improved concurrency control section 2026-08-16 15:06:07 +02:00
janishutz 1dd74d63a5 [DMDB] Quick overview corrections 2026-08-16 14:25:16 +02:00
janishutz 9809b27e89 [DMDB] Note on sql 2026-08-16 12:14:29 +02:00
janishutz e220b0b992 [DMDB] improve links for SQL section 2026-08-16 11:47:16 +02:00
janishutz c02d53828f [DMDB] Improved quick overview 
Fixes sectioning, better variables in query processing section,
checklist linking
 2026-08-16 10:45:47 +02:00
janishutz a594a305d1 [DMDB] Much more intution on NF and FD 2026-08-16 09:17:06 +02:00
janishutz 3907316926 [DMDB] Fix error, add short remark on projections 2026-08-15 17:03:56 +02:00
janishutz 5de6b376ae [DMDB] Fix error on CS history 2026-08-15 15:52:18 +02:00
janishutz dd807b8cbd [DMDB] Fix error 2026-08-15 14:45:27 +02:00
janishutz 53aac4473f [DMDB] Improved introduction 2026-08-15 14:42:31 +02:00
janishutz 8734e8d264 [DMDB] Link relevant sections in checklist 2026-08-15 14:39:02 +02:00
janishutz 72378555eb [DMDB] Fix more errors 2026-08-15 14:24:25 +02:00
janishutz 1759b7898c [DMDB] Fix issue 2026-08-15 12:18:07 +02:00
janishutz aca626feaf [DMDB] Fix a few issues, more intuition on normal forms 2026-08-15 10:28:37 +02:00
janishutz a71c3467a8 [DMDB] Quick remark on final page 2026-08-14 20:22:00 +02:00
janishutz b6c0086766 [DMDB] Fix typo in dmdb summary 2026-08-13 13:37:17 +02:00
janishutz 90c543553f [LICENSE] Move to share-alike license 2026-08-12 13:24:47 +02:00
janishutz e38bc2a695 [PS] Add some remarks 2026-08-11 08:53:08 +02:00
janishutz 204dc0bdf2 [AMR] Add abbreviation to ICP 2026-08-10 08:50:02 +02:00
janishutz 320f512fad [AMR] Layout fix 2026-08-09 14:31:44 +02:00
janishutz 3de83b61dc [AMR] Small remarks 2026-08-09 14:26:36 +02:00
RobinB27 df428322e8 [IML] SGD 2026-08-09 13:55:11 +02:00
janishutz 06df67934c [AMR] Add feedback loops 2026-08-09 11:02:31 +02:00
janishutz a8b3bd7b20 [AMR] Fix errors pointed out to me 2026-08-09 08:30:17 +02:00
janishutz cc5f111813 [AMR] Finished update 2026-08-08 15:55:22 +02:00
janishutz c1bdbc64bf [AMR] updated first 4.5 sections 2026-08-08 12:31:01 +02:00
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 d6ecbc2caa [CORE] chore: update readme 2026-08-06 08:21:53 +02:00
janishutz feb8575972 [DMDB] Some remarks for SQL 2026-08-06 08:21:46 +02:00
janishutz 101d024733 [DMDB] Compile latest version 2026-08-05 15:33:43 +02:00
janishutz d35fd77a63 [DMDB] Add more notes to checklist, trigger upload 2026-08-05 15:33:02 +02:00
janishutz dd3878da19 [CORE] chore: fix CI 2026-08-05 15:31:46 +02:00
janishutz 1729924069 [DMDB] Short remark on checklist, to trigger upload 2026-08-05 15:30:19 +02:00
janishutz 383a5397db [CORE] chore: fix workflows (string instead of path for path argument... brilliant 2026-08-05 15:29:08 +02:00
janishutz c8615a6136 [FMFP] Add note on promela exam relevance 2026-08-05 15:28:13 +02:00
janishutz fd6cede3c0 [DMDB] Learnings from practice exams, plus some more tips and tricks 2026-08-05 15:23:45 +02:00
janishutz 07a88db72e [CORE] chore: fix dmdb upload workflow 2026-08-05 11:04:30 +02:00
janishutz c604b2c100 [CORE] chore: improve helpers script 2026-08-05 11:02:54 +02:00
janishutz 7052f184ba [ALL] chore: update to new helpers import scheme 2026-08-05 10:54:20 +02:00
janishutz a1849b4312 [CORE] chore: prepare for new helpers import scheme 2026-08-05 10:50:54 +02:00
janishutz 454e617b4f [CORE] chore: fix auto-upload of FMFP and DMDB 2026-08-05 10:25:02 +02:00
janishutz 5b34c4f9e4 [DMDB] Add explanation to hash index complexity 2026-08-05 10:22:46 +02:00
janishutz 944c8e8da4 [CORE] chore: add auto-upload of FMFP and DMDB summaries 2026-08-04 15:51:05 +02:00
janishutz 2e78edd47a [FMFP] Fix error from comments 2026-08-04 15:44:37 +02:00
janishutz 3fef2e772b [PS] Add tips and tricks for various concepts 2026-08-04 15:38:02 +02:00