diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-21 10:46:33 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-21 10:46:33 +0100 |
commit | fa753bc716fca895434357ff12b454869c87c11d (patch) | |
tree | 00ab7f6d0033f4a9574ce64ba6b8e8cf0e7551c2 | |
parent | 619ee53a96d94a3f4764f5ae788d9270c1bd8c60 (diff) | |
download | oopsla21_fvhls-fa753bc716fca895434357ff12b454869c87c11d.tar.gz oopsla21_fvhls-fa753bc716fca895434357ff12b454869c87c11d.zip |
Remove Functional Verification conceptoopsla21-final
-rw-r--r-- | main.tex | 5 | ||||
-rw-r--r-- | submitted.txt | 1 |
2 files changed, 1 insertions, 5 deletions
@@ -138,11 +138,6 @@ <concept_significance>500</concept_significance> </concept> <concept> - <concept_id>10010583.10010717.10010721</concept_id> - <concept_desc>Hardware~Functional verification</concept_desc> - <concept_significance>300</concept_significance> - </concept> - <concept> <concept_id>10011007.10011074.10011099.10011692</concept_id> <concept_desc>Software and its engineering~Formal software verification</concept_desc> <concept_significance>500</concept_significance> diff --git a/submitted.txt b/submitted.txt new file mode 100644 index 0000000..62f16d1 --- /dev/null +++ b/submitted.txt @@ -0,0 +1 @@ +4386184c78d5a0d2c473904b2fc5c898a9c63527c97fe19fd05363dd7d585025 main.pdf |