27d5684782
rename to thermostat
59ad66ace4
remove nix files (will be implemented in nix-scripts) and README (outdated)
stm32: remove fetchcargo.nix
stm32: remove fetchcargo.nix
91c27d2499
nix/fetchcargo: fix touch
05f85dba77
nix/fetchcargo: fix touch
8ab5a8dafc
nix/fetchcargo: stub a src/main.rs for the -cargo src
ddebb88c70
nix/channel-rust-nightly.toml: update to 2019-05-09 from 2019-04-18
d7c7d70632
nix: update sha256
check that FPGA bitstreams meet timing