~kdsch/sampler

turn your microcontroller into a music sampler

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

~kdsch pushed to ~kdsch/sampler git

3 months ago

d341b7e posix: add app that uses pulseaudio

~kdsch pushed to ~kdsch/sampler git

3 months ago

ec120f0 posix: add app that uses pulseaudio

~kdsch pushed to ~kdsch/sampler git

3 months ago

0f9cb53 sequencer: add BMC harness for tick_index_update

~kdsch pushed to ~kdsch/sampler git

3 months ago

dea91b5 app: move format conversion into platform

~kdsch pushed to ~kdsch/sampler git

3 months ago

14fb31f bmc-harness: refactor

~kdsch pushed to ~kdsch/sampler git

3 months ago

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

~kdsch pushed to ~kdsch/sampler git

3 months ago

3f61eb9 README.md: add section for external documentation

~kdsch pushed to ~kdsch/sampler git

4 months ago

b23e43e sequencer: remove unused type

~kdsch pushed to ~kdsch/sampler git

4 months ago

8a4c103 sequencer: rename _tick2 to _tick

~kdsch pushed to ~kdsch/sampler git

4 months ago

86f7af1 app: add a function to set the transport state

~kdsch pushed to ~kdsch/sampler git

4 months ago

41f94b3 app: add a function to set the transport state

~kdsch pushed to ~kdsch/sampler git

4 months ago

5be67ed pure: add transport_state.h

~kdsch pushed to ~kdsch/sampler git

4 months ago

9bf68a7 pure/util: add some contract-ish assertions

~kdsch pushed to ~kdsch/sampler git

4 months ago

57c94f6 remove some unnecessary line breaks

~kdsch pushed to ~kdsch/sampler git

4 months ago
1 / 5