diff options
Diffstat (limited to 'src/common')
-rw-r--r-- | src/common/DecEq.v | 2 | ||||
-rw-r--r-- | src/common/IntegerExtra.v | 4 | ||||
-rw-r--r-- | src/common/Maps.v | 4 | ||||
-rw-r--r-- | src/common/Monad.v | 2 | ||||
-rw-r--r-- | src/common/NonEmpty.v | 2 | ||||
-rw-r--r-- | src/common/Optionmonad.v | 2 | ||||
-rw-r--r-- | src/common/Show.v | 2 | ||||
-rw-r--r-- | src/common/Statemonad.v | 2 | ||||
-rw-r--r-- | src/common/Vericertlib.v | 4 | ||||
-rw-r--r-- | src/common/ZExtra.v | 4 |
10 files changed, 14 insertions, 14 deletions
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 <yann@yannherklotz.com> + 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 <yann@yannherklotz.com> - * 2020 James Pollard <j@mes.dev> + * 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 <yann@yannherklotz.com> - * 2020 James Pollard <j@mes.dev> + * 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 <yann@yannherklotz.com> + * 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 <yann@yannherklotz.com> + * 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 <yann@yannherklotz.com> + * 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 <yann@yannherklotz.com> + * 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 <yann@yannherklotz.com> + * 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 <yann@yannherklotz.com> - * 2020 James Pollard <j@mes.dev> + * 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 <yann@yannherklotz.com> - * 2020 James Pollard <j@mes.dev> + * 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 |