Add case studies for PNG, GIF, and MP3 - #848

Merged

joszamama merged 25 commits into

mainfrom

Aug 4, 2026

Commits on Feb 20, 2026

New: have PNG and GIF specs from ChatGPT
andreas-zeller
committed
fa98dce
New: clean up after patching
andreas-zeller
committed
16ccf22
Doc update
andreas-zeller
committed
8bc0910

Commits on Feb 21, 2026

Make sure `make clean-docs` also clears the jupyter cache
andreas-zeller
committed
64d0398
New: much more detailed prompt, improving `.fan` files considerably
andreas-zeller
committed
94f4c5e
Update with more detailed prompt
andreas-zeller
committed
deffaea
Minor refinements for readability
andreas-zeller
committed
ebab028
Updated PNG docs
andreas-zeller
committed
36395e3
Doc update
andreas-zeller
committed
831a62d
Updated GIF with new, extended prompt
andreas-zeller
committed
117848a

Commits on Feb 22, 2026

More .fan files (not working yet)
andreas-zeller
committed
7025148

Commits on Feb 23, 2026

Added 1.1 version warning
andreas-zeller
committed
e402038

Commits on Feb 25, 2026

Fix #821
andreas-zeller
committed
75c7d22

Commits on Mar 2, 2026

New case studies: MP3, GIF. PNG
andreas-zeller
committed
47d64ae
Add MP3 example
andreas-zeller
committed
e11807e

Commits on Aug 2, 2026

More cross-refs; more rules
andreas-zeller
committed
ce6c13b
More imperative section titles
andreas-zeller
committed
09a8c27
Minor fixes
andreas-zeller
committed
1ad9ba3
More minor fixes
andreas-zeller
committed
843959c

Commits on Aug 3, 2026

Merge branch 'main' into docs
andreas-zeller
authored
56d767b
Addressed @riesentoaster's concerns
andreas-zeller
committed
161f475
Fix GIF parsing test: keep the generated grammar gif89a.fan refines
joszamama
committed
45b730d
Merge remote-tracking branch 'origin/main' into docs
joszamama
committed
0527a46
Remove docs/wav.fan
joszamama
committed
0471711
Style.md: small corrections, and fix the gif.fan header
joszamama
committed
d1eb206