ae12de7 about: rephrase donation ask; remove sampler reference

~kdsch pushed to ~kdsch/kdsch.org git

f621b09 layouts: fix style of blockquote

~kdsch pushed to ~kdsch/kdsch.org git

0f237f5 README.md: fix wrong URL for GitLab CI status badge image

~kdsch pushed to ~kdsch/sampler git

d341b7e posix: add app that uses pulseaudio

~kdsch pushed to ~kdsch/sampler git

ec120f0 posix: add app that uses pulseaudio

~kdsch pushed to ~kdsch/sampler git

22f145f layouts: remove thing about submitting patches

~kdsch pushed to ~kdsch/kdsch.org git

0f9cb53 sequencer: add BMC harness for tick_index_update

~kdsch pushed to ~kdsch/sampler git

dea91b5 app: move format conversion into platform

~kdsch pushed to ~kdsch/sampler git

bef31c6 add CBMC × (LTO - assertions) post

~kdsch pushed to ~kdsch/kdsch.org git

14fb31f bmc-harness: refactor

~kdsch pushed to ~kdsch/sampler git

60dec11 README.md: use diffblue's CBMC documentation link

~kdsch pushed to ~kdsch/sampler git

2134075 layouts: use a grid for the post list

~kdsch pushed to ~kdsch/kdsch.org git

3f61eb9 README.md: add section for external documentation

~kdsch pushed to ~kdsch/sampler git

b23e43e sequencer: remove unused type

~kdsch pushed to ~kdsch/sampler git

8a4c103 sequencer: rename _tick2 to _tick

~kdsch pushed to ~kdsch/sampler git