diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-11-02 19:38:17 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-02 19:38:17 +0000 |
commit | 32cfca30754f13cd91b228712cd65d3115a3f355 (patch) | |
tree | 668b4b401df44e795f7a0786b72a09beac4b6443 /shell.nix | |
parent | 2456ba0e08f91538feeb1403beb7de142a054ebe (diff) | |
download | vericert-32cfca30754f13cd91b228712cd65d3115a3f355.tar.gz vericert-32cfca30754f13cd91b228712cd65d3115a3f355.zip |
WIP on RTLBlock semantics
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions