diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 09:23:24 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-25 09:23:24 +0000 |
commit | facb9cd3cc3af18ac9061dab5af59fa1858cae28 (patch) | |
tree | 63f338668d9458cac5a4d40980bee8c72a0edf6c /draft.org | |
parent | 293dc6742022713d5275e9edbb876c168d272039 (diff) | |
download | latte21_hlstpc-facb9cd3cc3af18ac9061dab5af59fa1858cae28.tar.gz latte21_hlstpc-facb9cd3cc3af18ac9061dab5af59fa1858cae28.zip |
Add more changes
Diffstat (limited to 'draft.org')
-rw-r--r-- | draft.org | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -24,3 +24,6 @@ * Guarantees and trusted code * Performance of such a tool + +- ramp up more about the future. +- formally verifying other algorithms |