diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 14:57:07 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 14:57:07 +0000 |
commit | c897f9ab9c515501f88199003bd3e696bf7b9692 (patch) | |
tree | 48286a7ce62a40c82f5d7d30a5b4a968d2b32c18 /src/hls/AssocMap.v | |
parent | 79c4d9cf28d3aba8c6d5659fbff68283ec41436e (diff) | |
download | vericert-c897f9ab9c515501f88199003bd3e696bf7b9692.tar.gz vericert-c897f9ab9c515501f88199003bd3e696bf7b9692.zip |
Update copyright notice
Diffstat (limited to 'src/hls/AssocMap.v')
-rw-r--r-- | src/hls/AssocMap.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hls/AssocMap.v b/src/hls/AssocMap.v index 10bd8eb..ee39e8e 100644 --- a/src/hls/AssocMap.v +++ b/src/hls/AssocMap.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz <yann@yannherklotz.com> + * Copyright (C) 2020-2022 Yann Herklotz <yann@yannherklotz.com> * 2020 James Pollard <j@mes.dev> * * This program is free software: you can redistribute it and/or modify |