From 59b3e48bd1fda4166664082c2b9a193d6476493b Mon Sep 17 00:00:00 2001 From: Sahil Dua Date: Wed, 6 Jul 2016 01:29:17 +0530 Subject: [PATCH] Copy license text to samples --- samples/ATS/basis_ssntype.sats | 24 ++++++++++++++++++++++++ samples/ATS/csv_parse.hats | 24 ++++++++++++++++++++++++ samples/ATS/intinf_vt.dats | 4 ++-- 3 files changed, 50 insertions(+), 2 deletions(-) diff --git a/samples/ATS/basis_ssntype.sats b/samples/ATS/basis_ssntype.sats index 6da538d3..6e8634da 100644 --- a/samples/ATS/basis_ssntype.sats +++ b/samples/ATS/basis_ssntype.sats @@ -1,3 +1,27 @@ +(* +* The MIT License (MIT) +* +* Copyright (c) 2014 Hongwei Xi +* +* 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.) +*) + // Source: https://github.com/githwxi/ATS-Postiats-contrib/blob/201d635062d0ea64ff5ba5457a4ea0bb4d5ae202/contrib/libats-/hwxi/teaching/mysession-g/SATS/basis_ssntype.sats (* diff --git a/samples/ATS/csv_parse.hats b/samples/ATS/csv_parse.hats index 658723ca..c50a49a3 100644 --- a/samples/ATS/csv_parse.hats +++ b/samples/ATS/csv_parse.hats @@ -1,3 +1,27 @@ +(* +* The MIT License (MIT) +* +* Copyright (c) 2014 Hongwei Xi +* +* 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.) +*) + // Source: https://github.com/githwxi/ATS-Postiats-contrib/blob/0f26aa0df8542d2ae21df9be1e13208f66f571d6/contrib/libats-/hwxi/teaching/mygrading/HATS/csv_parse.hats (* ****** ****** *) diff --git a/samples/ATS/intinf_vt.dats b/samples/ATS/intinf_vt.dats index 51d3af5e..4d8c2a27 100644 --- a/samples/ATS/intinf_vt.dats +++ b/samples/ATS/intinf_vt.dats @@ -1,5 +1,3 @@ -// Source: https://github.com/githwxi/ATS-Postiats-contrib/blob/04a984d9c08c1831f7dda8a05ce356db01f81850/contrib/libats-/hwxi/intinf/DATS/intinf_vt.dats - (***********************************************************************) (* *) (* ATS/contrib/atshwxi *) @@ -28,6 +26,8 @@ ** IN THE SOFTWARE. *) +// Source: https://github.com/githwxi/ATS-Postiats-contrib/blob/04a984d9c08c1831f7dda8a05ce356db01f81850/contrib/libats-/hwxi/intinf/DATS/intinf_vt.dats + (* ****** ****** *) // // Author: Hongwei Xi