summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/bundles-containers.adb8
-rw-r--r--src/bundles-containers.ads8
-rw-r--r--src/bundles.adb8
-rw-r--r--src/bundles.ads8
-rw-r--r--src/candidates-containers.adb8
-rw-r--r--src/candidates-containers.ads8
-rw-r--r--src/candidates.adb8
-rw-r--r--src/candidates.ads8
-rw-r--r--src/csv.adb8
-rw-r--r--src/csv.ads8
-rw-r--r--src/election.adb8
-rw-r--r--src/election.ads8
-rw-r--r--src/preferences.adb8
-rw-r--r--src/preferences.ads8
-rw-r--r--src/rationals.adb8
-rw-r--r--src/rationals.ads8
-rw-r--r--src/simple_time.adb8
-rw-r--r--src/simple_time.ads8
-rw-r--r--src/stv.adb8
19 files changed, 152 insertions, 0 deletions
diff --git a/src/bundles-containers.adb b/src/bundles-containers.adb
index 029d7c0..4c318d6 100644
--- a/src/bundles-containers.adb
+++ b/src/bundles-containers.adb
@@ -5,6 +5,14 @@ with Ada.Text_IO;
with CSV;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Bundles.Containers is
diff --git a/src/bundles-containers.ads b/src/bundles-containers.ads
index 9d52039..f892b5c 100644
--- a/src/bundles-containers.ads
+++ b/src/bundles-containers.ads
@@ -4,6 +4,14 @@ with Ada.Containers.Ordered_Maps;
with Ada.Containers.Vectors;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
generic
package Bundles.Containers is
diff --git a/src/bundles.adb b/src/bundles.adb
index 39c6cfa..d0234a1 100644
--- a/src/bundles.adb
+++ b/src/bundles.adb
@@ -1,5 +1,13 @@
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Bundles is
diff --git a/src/bundles.ads b/src/bundles.ads
index cea046e..5ea5dac 100644
--- a/src/bundles.ads
+++ b/src/bundles.ads
@@ -6,6 +6,14 @@ with Rationals;
private with Ada.Containers.Vectors;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
generic
with package Given_Prefs is new Preferences (<>);
package Bundles is
diff --git a/src/candidates-containers.adb b/src/candidates-containers.adb
index 22249d3..9807f7a 100644
--- a/src/candidates-containers.adb
+++ b/src/candidates-containers.adb
@@ -5,6 +5,14 @@ with Ada.Text_IO;
with CSV;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Candidates.Containers is
diff --git a/src/candidates-containers.ads b/src/candidates-containers.ads
index 60fe4cb..a2ced26 100644
--- a/src/candidates-containers.ads
+++ b/src/candidates-containers.ads
@@ -4,6 +4,14 @@ with Ada.Containers.Ordered_Maps;
with Ada.Containers.Ordered_Sets;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package Candidates.Containers is
diff --git a/src/candidates.adb b/src/candidates.adb
index 40c038a..b95e480 100644
--- a/src/candidates.adb
+++ b/src/candidates.adb
@@ -3,6 +3,14 @@
with CSV;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Candidates is
diff --git a/src/candidates.ads b/src/candidates.ads
index 4e3caa6..548d03a 100644
--- a/src/candidates.ads
+++ b/src/candidates.ads
@@ -3,6 +3,14 @@
private with Ada.Strings.Unbounded;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package Candidates is
diff --git a/src/csv.adb b/src/csv.adb
index 6bc5880..5e7eec5 100644
--- a/src/csv.adb
+++ b/src/csv.adb
@@ -1,5 +1,13 @@
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body CSV is
diff --git a/src/csv.ads b/src/csv.ads
index 74c2971..4815a17 100644
--- a/src/csv.ads
+++ b/src/csv.ads
@@ -5,6 +5,14 @@ with Ada.Containers.Vectors;
use type Ada.Strings.Unbounded.Unbounded_String;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
generic
Delimiter : in Character := ',';
Quote : in Character := '"';
diff --git a/src/election.adb b/src/election.adb
index 7a77c4c..2cedb3e 100644
--- a/src/election.adb
+++ b/src/election.adb
@@ -7,6 +7,14 @@ use Ada.Text_IO;
with Rationals;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Election is
diff --git a/src/election.ads b/src/election.ads
index 365ff35..f55637f 100644
--- a/src/election.ads
+++ b/src/election.ads
@@ -5,6 +5,14 @@ with Bundles.Containers;
private with Ada.Containers.Vectors;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
generic
with package Given_Bundles is new Bundles (<>);
with package Bundle_Containers is new Given_Bundles.Containers (<>);
diff --git a/src/preferences.adb b/src/preferences.adb
index 9b64a89..71c521f 100644
--- a/src/preferences.adb
+++ b/src/preferences.adb
@@ -4,6 +4,14 @@ with Ada.Strings.Unbounded;
with Ada.Strings.Maps;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Preferences is
diff --git a/src/preferences.ads b/src/preferences.ads
index d13b0c9..4f0700d 100644
--- a/src/preferences.ads
+++ b/src/preferences.ads
@@ -4,6 +4,14 @@ with Candidates.Containers;
private with Ada.Containers;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
generic
Pref_Size : Positive;
Above_Ballot : Candidates.Containers.Above_Line_Ballot;
diff --git a/src/rationals.adb b/src/rationals.adb
index bc54106..3e3cd88 100644
--- a/src/rationals.adb
+++ b/src/rationals.adb
@@ -5,6 +5,14 @@ with Multi_Precision_Integers.IO;
use Multi_Precision_Integers.IO;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Rationals is
diff --git a/src/rationals.ads b/src/rationals.ads
index 1f3de5f..f12f161 100644
--- a/src/rationals.ads
+++ b/src/rationals.ads
@@ -3,6 +3,14 @@
private with Multi_Precision_Integers;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package Rationals is
diff --git a/src/simple_time.adb b/src/simple_time.adb
index 1b10dc8..7b7abf9 100644
--- a/src/simple_time.adb
+++ b/src/simple_time.adb
@@ -5,6 +5,14 @@ with Ada.Strings; use Ada.Strings;
with Ada.Strings.Fixed; use Ada.Strings.Fixed;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package body Simple_Time is
diff --git a/src/simple_time.ads b/src/simple_time.ads
index 01aaa23..cde53b0 100644
--- a/src/simple_time.ads
+++ b/src/simple_time.ads
@@ -3,6 +3,14 @@
with Ada.Calendar;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
package Simple_Time is
diff --git a/src/stv.adb b/src/stv.adb
index 10020e6..78a3052 100644
--- a/src/stv.adb
+++ b/src/stv.adb
@@ -14,6 +14,14 @@ with Bundles.Containers;
with Election;
+-- This source is licensed under Creative Commons CC0 v1.0.
+--
+-- To read the full text, see license.txt in the main directory of this repository
+-- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt
+--
+-- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/
+
+
procedure STV is