diff options
| -rw-r--r-- | cc0.txt (renamed from license.txt) | 0 | ||||
| -rw-r--r-- | mit.txt | 19 | ||||
| -rw-r--r-- | readme.txt | 2 | ||||
| -rw-r--r-- | src/multi_precision_integers-check.adb | 29 | ||||
| -rw-r--r-- | src/multi_precision_integers-check.ads | 29 | ||||
| -rw-r--r-- | src/multi_precision_integers-io.adb | 30 | ||||
| -rw-r--r-- | src/multi_precision_integers-io.ads | 31 | ||||
| -rw-r--r-- | src/multi_precision_integers.adb | 30 | ||||
| -rw-r--r-- | src/multi_precision_integers.ads | 30 |
9 files changed, 199 insertions, 1 deletions
@@ -0,0 +1,19 @@ +Copyright (c) <year> <copyright holders> + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the "Software"), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in all +copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +SOFTWARE.
\ No newline at end of file @@ -48,6 +48,6 @@ Support for bignums (the Multi_Precision_Integers package) was obtained from https://sourceforge.net/projects/mathpaqs/ Those source files are licensed under the MIT license. All other source is licensed -under CC0. +under CC0. See cc0.txt and mit.txt for license details. diff --git a/src/multi_precision_integers-check.adb b/src/multi_precision_integers-check.adb index ac0efc4..237be3d 100644 --- a/src/multi_precision_integers-check.adb +++ b/src/multi_precision_integers-check.adb @@ -1,3 +1,32 @@ +
+
+------------------------------------------------------------------------------
+--
+-- Copyright (c) 2007 G. de Montmollin, Univ. Neuchatel
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy
+-- of this software and associated documentation files (the "Software"), to deal
+-- in the Software without restriction, including without limitation the rights
+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+-- copies of the Software, and to permit persons to whom the Software is
+-- furnished to do so, subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in all
+-- copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+-- SOFTWARE.
+--
+------------------------------------------------------------------------------
+
+
+
+
with Ada.Text_IO; use Ada.Text_IO;
-- !! will disappear in favour of Ada.Exceptions
diff --git a/src/multi_precision_integers-check.ads b/src/multi_precision_integers-check.ads index 60895ea..950a21f 100644 --- a/src/multi_precision_integers-check.ads +++ b/src/multi_precision_integers-check.ads @@ -1,3 +1,32 @@ +
+
+------------------------------------------------------------------------------
+--
+-- Copyright (c) 2007 G. de Montmollin, Univ. Neuchatel
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy
+-- of this software and associated documentation files (the "Software"), to deal
+-- in the Software without restriction, including without limitation the rights
+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+-- copies of the Software, and to permit persons to whom the Software is
+-- furnished to do so, subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in all
+-- copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+-- SOFTWARE.
+--
+------------------------------------------------------------------------------
+
+
+
+
package Multi_precision_integers.Check is
-- check integrity
diff --git a/src/multi_precision_integers-io.adb b/src/multi_precision_integers-io.adb index ca8f1c2..5cdb1c4 100644 --- a/src/multi_precision_integers-io.adb +++ b/src/multi_precision_integers-io.adb @@ -2,6 +2,36 @@ -- File: muprinio.adb; see specification (muprinio.ads)
-----------------------------------------------------------------------------
+
+
+
+------------------------------------------------------------------------------
+--
+-- Copyright (c) 2007 G. de Montmollin, Univ. Neuchatel
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy
+-- of this software and associated documentation files (the "Software"), to deal
+-- in the Software without restriction, including without limitation the rights
+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+-- copies of the Software, and to permit persons to whom the Software is
+-- furnished to do so, subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in all
+-- copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+-- SOFTWARE.
+--
+------------------------------------------------------------------------------
+
+
+
+
package body Multi_precision_integers.IO is
package IIO is new Integer_IO( index_int );
diff --git a/src/multi_precision_integers-io.ads b/src/multi_precision_integers-io.ads index 1544d3c..558a62e 100644 --- a/src/multi_precision_integers-io.ads +++ b/src/multi_precision_integers-io.ads @@ -4,6 +4,37 @@ -- Date/version: 2006 ; 15-Feb-2002 / 22.XI.1999 / 22.12.1996
-- Author: Gautier de Montmollin
------------------------------------------------------------------------------
+
+
+
+
+------------------------------------------------------------------------------
+--
+-- Copyright (c) 2007 G. de Montmollin, Univ. Neuchatel
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy
+-- of this software and associated documentation files (the "Software"), to deal
+-- in the Software without restriction, including without limitation the rights
+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+-- copies of the Software, and to permit persons to whom the Software is
+-- furnished to do so, subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in all
+-- copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+-- SOFTWARE.
+--
+------------------------------------------------------------------------------
+
+
+
+
with Text_IO; use Text_IO;
package Multi_precision_integers.IO is
diff --git a/src/multi_precision_integers.adb b/src/multi_precision_integers.adb index 4d8d876..70a6d28 100644 --- a/src/multi_precision_integers.adb +++ b/src/multi_precision_integers.adb @@ -19,6 +19,36 @@ -- To-do/bug symbol: !!
+
+
+
+------------------------------------------------------------------------------
+--
+-- Copyright (c) 2007 G. de Montmollin, Univ. Neuchatel
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy
+-- of this software and associated documentation files (the "Software"), to deal
+-- in the Software without restriction, including without limitation the rights
+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+-- copies of the Software, and to permit persons to whom the Software is
+-- furnished to do so, subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in all
+-- copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+-- SOFTWARE.
+--
+------------------------------------------------------------------------------
+
+
+
+
with Multi_precision_integers.Check;
-- with Ada.Text_IO;
with Ada.Unchecked_Deallocation;
diff --git a/src/multi_precision_integers.ads b/src/multi_precision_integers.ads index 7c8406a..7035924 100644 --- a/src/multi_precision_integers.ads +++ b/src/multi_precision_integers.ads @@ -32,6 +32,36 @@ --
------------------------------------------------------------------------------
+
+
+
+------------------------------------------------------------------------------
+--
+-- Copyright (c) 2007 G. de Montmollin, Univ. Neuchatel
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy
+-- of this software and associated documentation files (the "Software"), to deal
+-- in the Software without restriction, including without limitation the rights
+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+-- copies of the Software, and to permit persons to whom the Software is
+-- furnished to do so, subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in all
+-- copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+-- SOFTWARE.
+--
+------------------------------------------------------------------------------
+
+
+
+
with System;
package Multi_precision_integers is
|