Week 40 - 2023

Week 40 - 2023¶

Done¶

• Released puro 1.3.8
• Puro: Fixed arm64 mac builds
• Puro: Fixed flutter version json symlink bug
• Compiled courgette
• Lots of Z3 documentation

TODO¶

7z a -t7z -m0=BCJ2 -m1=LZMA:d27:fb128 -m2=LZMA:d22:fb128:mf=bt2 -m3=LZMA:d22:fb128:mf=bt2 -mb0:1 -mb0s1:2 -mb0s2:3