From 533bca9426ee3166433b29e84c8f942f7409981b Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 10 Aug 2023 12:29:11 +0100 Subject: Annonimize submission --- src/Compiler.v | 2 +- src/HLSOpts.v | 2 +- src/Simulator.v | 2 +- src/common/DecEq.v | 2 +- src/common/IntegerExtra.v | 4 ++-- src/common/Maps.v | 4 ++-- src/common/Monad.v | 2 +- src/common/NonEmpty.v | 2 +- src/common/Optionmonad.v | 2 +- src/common/Show.v | 2 +- src/common/Statemonad.v | 2 +- src/common/Vericertlib.v | 4 ++-- src/common/ZExtra.v | 4 ++-- src/extraction/Extraction.v | 2 +- src/hls/Abstr.v | 2 +- src/hls/Array.v | 2 +- src/hls/AssocMap.v | 4 ++-- src/hls/ClockRegisters.v | 2 +- src/hls/CondElim.v | 2 +- src/hls/CondElimproof.v | 2 +- src/hls/DHTL.v | 4 ++-- src/hls/DMemorygen.v | 2 +- src/hls/DVeriloggen.v | 2 +- src/hls/DVeriloggenproof.v | 2 +- src/hls/DeadBlocks.v | 2 +- src/hls/FunctionalUnits.v | 2 +- src/hls/Gible.v | 2 +- src/hls/GiblePar.v | 2 +- src/hls/GiblePargen.v | 2 +- src/hls/GiblePargenproof.v | 2 +- src/hls/GiblePargenproofBackward.v | 2 +- src/hls/GiblePargenproofCommon.v | 2 +- src/hls/GiblePargenproofEquiv.v | 2 +- src/hls/GiblePargenproofForward.v | 2 +- src/hls/GibleSeq.v | 2 +- src/hls/GibleSeqgen.v | 2 +- src/hls/GibleSeqgenproof.v | 2 +- src/hls/HTL.v | 4 ++-- src/hls/HTLBlockgen.v | 2 +- src/hls/HTLPargen.v | 2 +- src/hls/HTLgen.v | 4 ++-- src/hls/HTLgenspec.v | 4 ++-- src/hls/HashTree.v | 2 +- src/hls/IfConversion.v | 2 +- src/hls/IfConversionOracle.ml | 2 +- src/hls/IfConversionproof.v | 2 +- src/hls/Partition.ml | 2 +- src/hls/Pipeline.v | 2 +- src/hls/PipelineOp.v | 2 +- src/hls/PrintDHTL.ml | 2 +- src/hls/PrintHTL.ml | 2 +- src/hls/PrintVerilog.ml | 4 ++-- src/hls/PrintVerilog.mli | 2 +- src/hls/RTLParFU.v | 2 +- src/hls/RTLParFUgen.v | 2 +- src/hls/Schedule.ml | 2 +- src/hls/ValueInt.v | 2 +- src/hls/ValueVal.v | 2 +- src/hls/Verilog.v | 4 ++-- src/hls/Veriloggen.v | 2 +- src/hls/Veriloggenproof.v | 2 +- 61 files changed, 72 insertions(+), 72 deletions(-) (limited to 'src') diff --git a/src/Compiler.v b/src/Compiler.v index deb7da2..6b509bb 100644 --- a/src/Compiler.v +++ b/src/Compiler.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2019-2022 Yann Herklotz + Copyright (C) 2019-2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/HLSOpts.v b/src/HLSOpts.v index efa7ed0..2b9cd13 100644 --- a/src/HLSOpts.v +++ b/src/HLSOpts.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz + * Copyright (C) 2019-2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/Simulator.v b/src/Simulator.v index 3df0c7f..ea43e93 100644 --- a/src/Simulator.v +++ b/src/Simulator.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/DecEq.v b/src/common/DecEq.v index 5f85e9b..02749a6 100644 --- a/src/common/DecEq.v +++ b/src/common/DecEq.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2020-2022 Yann Herklotz + Copyright (C) 2020-2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/common/IntegerExtra.v b/src/common/IntegerExtra.v index e56bda0..09bc9a6 100644 --- a/src/common/IntegerExtra.v +++ b/src/common/IntegerExtra.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2021 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020-2021 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/Maps.v b/src/common/Maps.v index cb9dc2c..3c4588c 100644 --- a/src/common/Maps.v +++ b/src/common/Maps.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/Monad.v b/src/common/Monad.v index 41a57e9..5e9b41e 100644 --- a/src/common/Monad.v +++ b/src/common/Monad.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/NonEmpty.v b/src/common/NonEmpty.v index 01456d0..e149048 100644 --- a/src/common/NonEmpty.v +++ b/src/common/NonEmpty.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2021-2022 Yann Herklotz + * Copyright (C) 2021-2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/Optionmonad.v b/src/common/Optionmonad.v index 8112eb9..974d49d 100644 --- a/src/common/Optionmonad.v +++ b/src/common/Optionmonad.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2022 Yann Herklotz + * Copyright (C) 2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/Show.v b/src/common/Show.v index 20c07e7..3e9a3dc 100644 --- a/src/common/Show.v +++ b/src/common/Show.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz + * Copyright (C) 2019-2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/Statemonad.v b/src/common/Statemonad.v index c667fd9..d50f961 100644 --- a/src/common/Statemonad.v +++ b/src/common/Statemonad.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/Vericertlib.v b/src/common/Vericertlib.v index da046f3..888366a 100644 --- a/src/common/Vericertlib.v +++ b/src/common/Vericertlib.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2021 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2019-2021 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/common/ZExtra.v b/src/common/ZExtra.v index 3a27cc6..7482f85 100644 --- a/src/common/ZExtra.v +++ b/src/common/ZExtra.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/extraction/Extraction.v b/src/extraction/Extraction.v index 0a83f02..a18e48f 100644 --- a/src/extraction/Extraction.v +++ b/src/extraction/Extraction.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz + * Copyright (C) 2019-2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Abstr.v b/src/hls/Abstr.v index f201914..bbfba72 100644 --- a/src/hls/Abstr.v +++ b/src/hls/Abstr.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2021-2023 Yann Herklotz + * Copyright (C) 2021-2023 ___ ___ * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Array.v b/src/hls/Array.v index 8b7d262..2b23c50 100644 --- a/src/hls/Array.v +++ b/src/hls/Array.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 James Pollard + * Copyright (C) 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/AssocMap.v b/src/hls/AssocMap.v index 4941b0e..eaf8484 100644 --- a/src/hls/AssocMap.v +++ b/src/hls/AssocMap.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2022 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020-2022 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/ClockRegisters.v b/src/hls/ClockRegisters.v index fee89fb..fba0027 100644 --- a/src/hls/ClockRegisters.v +++ b/src/hls/ClockRegisters.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/CondElim.v b/src/hls/CondElim.v index 9f51053..234f99b 100644 --- a/src/hls/CondElim.v +++ b/src/hls/CondElim.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2022 Yann Herklotz + * Copyright (C) 2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/CondElimproof.v b/src/hls/CondElimproof.v index 7e6e035..75d08f6 100644 --- a/src/hls/CondElimproof.v +++ b/src/hls/CondElimproof.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2022 Yann Herklotz + Copyright (C) 2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/hls/DHTL.v b/src/hls/DHTL.v index 6be82ae..639a98f 100644 --- a/src/hls/DHTL.v +++ b/src/hls/DHTL.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2023 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020-2023 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/DMemorygen.v b/src/hls/DMemorygen.v index d6c4fe8..0a3f63b 100644 --- a/src/hls/DMemorygen.v +++ b/src/hls/DMemorygen.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2021 Yann Herklotz + * Copyright (C) 2021 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/DVeriloggen.v b/src/hls/DVeriloggen.v index 6b47dd0..bf8197e 100644 --- a/src/hls/DVeriloggen.v +++ b/src/hls/DVeriloggen.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/DVeriloggenproof.v b/src/hls/DVeriloggenproof.v index 197d9a6..a2e953a 100644 --- a/src/hls/DVeriloggenproof.v +++ b/src/hls/DVeriloggenproof.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/DeadBlocks.v b/src/hls/DeadBlocks.v index 644ed1f..4b5388b 100644 --- a/src/hls/DeadBlocks.v +++ b/src/hls/DeadBlocks.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2022 Yann Herklotz + * Copyright (C) 2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/FunctionalUnits.v b/src/hls/FunctionalUnits.v index e94b8e8..a87ea50 100644 --- a/src/hls/FunctionalUnits.v +++ b/src/hls/FunctionalUnits.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2021 Yann Herklotz + * Copyright (C) 2021 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Gible.v b/src/hls/Gible.v index b8feb37..1623e5c 100644 --- a/src/hls/Gible.v +++ b/src/hls/Gible.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2019-2022 Yann Herklotz + Copyright (C) 2019-2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/hls/GiblePar.v b/src/hls/GiblePar.v index 69afc27..678525e 100644 --- a/src/hls/GiblePar.v +++ b/src/hls/GiblePar.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2022 Yann Herklotz + * Copyright (C) 2020-2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GiblePargen.v b/src/hls/GiblePargen.v index e3cfcda..f429c6e 100644 --- a/src/hls/GiblePargen.v +++ b/src/hls/GiblePargen.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2022 Yann Herklotz + * Copyright (C) 2020-2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GiblePargenproof.v b/src/hls/GiblePargenproof.v index 95f0bb1..a4092a3 100644 --- a/src/hls/GiblePargenproof.v +++ b/src/hls/GiblePargenproof.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2023 Yann Herklotz + * Copyright (C) 2020-2023 ___ ___ * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GiblePargenproofBackward.v b/src/hls/GiblePargenproofBackward.v index 43e97a6..4a1cd4a 100644 --- a/src/hls/GiblePargenproofBackward.v +++ b/src/hls/GiblePargenproofBackward.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GiblePargenproofCommon.v b/src/hls/GiblePargenproofCommon.v index 73bfa42..7563c9d 100644 --- a/src/hls/GiblePargenproofCommon.v +++ b/src/hls/GiblePargenproofCommon.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GiblePargenproofEquiv.v b/src/hls/GiblePargenproofEquiv.v index 6995bf5..dfae67d 100644 --- a/src/hls/GiblePargenproofEquiv.v +++ b/src/hls/GiblePargenproofEquiv.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GiblePargenproofForward.v b/src/hls/GiblePargenproofForward.v index 48fe922..add5c48 100644 --- a/src/hls/GiblePargenproofForward.v +++ b/src/hls/GiblePargenproofForward.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GibleSeq.v b/src/hls/GibleSeq.v index 61a77e7..b4ab6fb 100644 --- a/src/hls/GibleSeq.v +++ b/src/hls/GibleSeq.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2022 Yann Herklotz + * Copyright (C) 2020-2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/GibleSeqgen.v b/src/hls/GibleSeqgen.v index 127ee53..d1ae6bf 100644 --- a/src/hls/GibleSeqgen.v +++ b/src/hls/GibleSeqgen.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2020-2022 Yann Herklotz + Copyright (C) 2020-2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/hls/GibleSeqgenproof.v b/src/hls/GibleSeqgenproof.v index 1d1d4b7..799cfb8 100644 --- a/src/hls/GibleSeqgenproof.v +++ b/src/hls/GibleSeqgenproof.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2020-2022 Yann Herklotz + Copyright (C) 2020-2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/hls/HTL.v b/src/hls/HTL.v index 8cebbfd..c6799ec 100644 --- a/src/hls/HTL.v +++ b/src/hls/HTL.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/HTLBlockgen.v b/src/hls/HTLBlockgen.v index 5f40962..2bab011 100644 --- a/src/hls/HTLBlockgen.v +++ b/src/hls/HTLBlockgen.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/HTLPargen.v b/src/hls/HTLPargen.v index e493989..b231948 100644 --- a/src/hls/HTLPargen.v +++ b/src/hls/HTLPargen.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/HTLgen.v b/src/hls/HTLgen.v index 41a1798..cfbac97 100644 --- a/src/hls/HTLgen.v +++ b/src/hls/HTLgen.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/HTLgenspec.v b/src/hls/HTLgenspec.v index 5b179e1..d26948d 100644 --- a/src/hls/HTLgenspec.v +++ b/src/hls/HTLgenspec.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2020 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/HashTree.v b/src/hls/HashTree.v index a088a54..ba3bbf1 100644 --- a/src/hls/HashTree.v +++ b/src/hls/HashTree.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2021-2022 Yann Herklotz + * Copyright (C) 2021-2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/IfConversion.v b/src/hls/IfConversion.v index ecafc13..9c641e5 100644 --- a/src/hls/IfConversion.v +++ b/src/hls/IfConversion.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2021-2022 Yann Herklotz + Copyright (C) 2021-2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/hls/IfConversionOracle.ml b/src/hls/IfConversionOracle.ml index e9a1563..d2451b7 100644 --- a/src/hls/IfConversionOracle.ml +++ b/src/hls/IfConversionOracle.ml @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2023 Yann Herklotz + * Copyright (C) 2023 ___ ___ * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/IfConversionproof.v b/src/hls/IfConversionproof.v index eedb318..ad9c2bd 100644 --- a/src/hls/IfConversionproof.v +++ b/src/hls/IfConversionproof.v @@ -1,7 +1,7 @@ (*| .. Vericert: Verified high-level synthesis. - Copyright (C) 2022 Yann Herklotz + Copyright (C) 2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/src/hls/Partition.ml b/src/hls/Partition.ml index 07b1be9..63d1731 100644 --- a/src/hls/Partition.ml +++ b/src/hls/Partition.ml @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2022 Yann Herklotz + * Copyright (C) 2020-2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Pipeline.v b/src/hls/Pipeline.v index 67ab1f5..f1829ff 100644 --- a/src/hls/Pipeline.v +++ b/src/hls/Pipeline.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2021 Yann Herklotz + * Copyright (C) 2020-2021 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/PipelineOp.v b/src/hls/PipelineOp.v index 76634a6..289e962 100644 --- a/src/hls/PipelineOp.v +++ b/src/hls/PipelineOp.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2021 Yann Herklotz + * Copyright (C) 2021 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/PrintDHTL.ml b/src/hls/PrintDHTL.ml index e7a1aaf..2c3b79f 100644 --- a/src/hls/PrintDHTL.ml +++ b/src/hls/PrintDHTL.ml @@ -1,6 +1,6 @@ (* -*- mode: tuareg -*- * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz + * Copyright (C) 2019-2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/PrintHTL.ml b/src/hls/PrintHTL.ml index 5963be0..b84a731 100644 --- a/src/hls/PrintHTL.ml +++ b/src/hls/PrintHTL.ml @@ -1,6 +1,6 @@ (* -*- mode: tuareg -*- * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz + * Copyright (C) 2019-2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/PrintVerilog.ml b/src/hls/PrintVerilog.ml index 2e0f0e1..343d890 100644 --- a/src/hls/PrintVerilog.ml +++ b/src/hls/PrintVerilog.ml @@ -1,7 +1,7 @@ (* -*- mode: tuareg -*- * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2019-2020 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/PrintVerilog.mli b/src/hls/PrintVerilog.mli index 6a15ee9..ae28219 100644 --- a/src/hls/PrintVerilog.mli +++ b/src/hls/PrintVerilog.mli @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz + * Copyright (C) 2019-2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/RTLParFU.v b/src/hls/RTLParFU.v index f97ed95..fcc5679 100644 --- a/src/hls/RTLParFU.v +++ b/src/hls/RTLParFU.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2021 Yann Herklotz + * Copyright (C) 2020-2021 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/RTLParFUgen.v b/src/hls/RTLParFUgen.v index f1b3ba6..8b01b90 100644 --- a/src/hls/RTLParFUgen.v +++ b/src/hls/RTLParFUgen.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2021 Yann Herklotz + * Copyright (C) 2021 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Schedule.ml b/src/hls/Schedule.ml index 248d0f8..4938a88 100644 --- a/src/hls/Schedule.ml +++ b/src/hls/Schedule.ml @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020-2022 Yann Herklotz + * Copyright (C) 2020-2022 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/ValueInt.v b/src/hls/ValueInt.v index 06b5630..c994f3f 100644 --- a/src/hls/ValueInt.v +++ b/src/hls/ValueInt.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/ValueVal.v b/src/hls/ValueVal.v index 96e0b1c..6564705 100644 --- a/src/hls/ValueVal.v +++ b/src/hls/ValueVal.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Verilog.v b/src/hls/Verilog.v index 56d7332..f9a3af8 100644 --- a/src/hls/Verilog.v +++ b/src/hls/Verilog.v @@ -1,7 +1,7 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2019-2020 Yann Herklotz - * 2020 James Pollard + * Copyright (C) 2019-2020 ___ ___ <___@______.com> + * 2020 ___ ___ <___> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Veriloggen.v b/src/hls/Veriloggen.v index aba2293..c91cf0e 100644 --- a/src/hls/Veriloggen.v +++ b/src/hls/Veriloggen.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/hls/Veriloggenproof.v b/src/hls/Veriloggenproof.v index d1494ec..df0c720 100644 --- a/src/hls/Veriloggenproof.v +++ b/src/hls/Veriloggenproof.v @@ -1,6 +1,6 @@ (* * Vericert: Verified high-level synthesis. - * Copyright (C) 2020 Yann Herklotz + * Copyright (C) 2020 ___ ___ <___@______.com> * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by -- cgit