COPYING

.travis.yml

@@ -1,4 +1,19 @@
 # -*- dont-indent:t -*-
+# ASGL an abstract argumentation solver in ECL and GECODE.
+# Copyright (C) 2015  Kilian Sprotte
+
+# 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
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 language: lisp
 
 env:

Makefile

@@ -1,4 +1,19 @@
 # -*- indent-tabs:t; dont-indent:t -*-
+# ASGL an abstract argumentation solver in ECL and GECODE.
+# Copyright (C) 2015  Kilian Sprotte
+
+# 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
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 source-files = $(shell cat tools/source-files.txt)
 
@@ -152,7 +167,8 @@ dist:
 	curl --no-progress-bar --retry 10 -o "gecode-4.3.3.tar.gz" -L "http://178.62.230.106/tarballs/gecode-4.3.3.tar.gz"
 	install gecode-4.3.3.tar.gz dist/asgl/third-party
 	rm -rf dist/asgl/data
-	rm -rf dist/asgl/timings
+	rm -rf dist/asgl/timings dist/asgl/features dist/asgl/tools dist/asgl/travis
+	rm -f dist/asgl/Gemfile dist/asgl/Gemfile.lock dist/asgl/v1/unused.lisp
 	echo DIST PREPARED
 #(cd dist/asgl && ./build )
 	( cd dist && tar -czf asgl.tar.gz asgl/* )

common/asgl-config/asgl-config.lisp

@@ -1,5 +1,21 @@
 ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; Coding:utf-8 -*-
 
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 (defpackage #:asgl-config
   (:use #:cl))
 

common/early/apx.lisp

@@ -1,5 +1,21 @@
 ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; Coding:utf-8 -*-
 
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 (ffi:clines "#include \"myfoo.h\"")
 
 (in-package #:early)

common/early/count_args.rl

@@ -1,4 +1,20 @@
 // -*- mode:c -*-
+// ASGL an abstract argumentation solver in ECL and GECODE.
+// Copyright (C) 2015  Kilian Sprotte
+
+// 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
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 #include <stdlib.h>
 #include "myfoo.h"
 

common/early/early.asd

@@ -1,3 +1,19 @@
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 (in-package :asdf)
 
 (defsystem :early

common/early/graph.lisp

@@ -1,5 +1,21 @@
 ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; Coding:utf-8 -*-
 
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 (in-package #:early)
 
 (declaim (optimize (debug 3) (safety 3) (speed 0)))

common/early/myfoo.h

@@ -1,3 +1,19 @@
+// ASGL an abstract argumentation solver in ECL and GECODE.
+// Copyright (C) 2015  Kilian Sprotte
+
+// 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
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 #include <ecl/ecl.h>
 
 void myfoo(char *buffer, long size, cl_object table, cl_object fn);

common/early/myfoo.rl

@@ -1,4 +1,20 @@
 // -*- mode:c -*-
+// ASGL an abstract argumentation solver in ECL and GECODE.
+// Copyright (C) 2015  Kilian Sprotte
+
+// 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
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 #include <stdlib.h>
 #include "myfoo.h"
 

common/early/package.lisp

@@ -1,4 +1,19 @@
 ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; Coding:utf-8 -*-
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 (defpackage #:early
   (:use #:cl)

common/early/slurp.cpp

@@ -1,3 +1,19 @@
+// ASGL an abstract argumentation solver in ECL and GECODE.
+// Copyright (C) 2015  Kilian Sprotte
+
+// 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
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 #include <stdlib.h>
 #include "myfoo.h"
 

common/early/utils.lisp

@@ -1,4 +1,19 @@
 ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; Coding:utf-8 -*-
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 (in-package #:early)
 

lisp-scripts/compile-foo.lisp

@@ -1,4 +1,19 @@
 ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; -*-
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 (require 'cmp)
 

lisp-scripts/deps.lisp

@@ -1,4 +1,19 @@
 ;;; -*- Mode:Lisp; Syntax:ANSI-Common-Lisp; Coding:utf-8 -*-
+;;; ASGL an abstract argumentation solver in ECL and GECODE.
+;;; Copyright (C) 2015  Kilian Sprotte
+
+;;; 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
+;;; the Free Software Foundation, either version 3 of the License, or
+;;; (at your option) any later version.
+
+;;; This program is distributed in the hope that it will be useful,
+;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+;;; GNU General Public License for more details.
+
+;;; You should have received a copy of the GNU General Public License
+;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 (in-package #:common-lisp-user)
 

scripts/clean.sh

@@ -1,4 +1,19 @@
 #!/bin/bash
+# ASGL an abstract argumentation solver in ECL and GECODE.
+# Copyright (C) 2015  Kilian Sprotte
+
+# 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
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 set -e
 

scripts/generate-make-mk.sh

@@ -1,4 +1,19 @@
 #!/bin/bash
+# ASGL an abstract argumentation solver in ECL and GECODE.
+# Copyright (C) 2015  Kilian Sprotte
+
+# 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
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 set -e
 

scripts/make-all-variants.sh

@@ -1,4 +1,19 @@
 #!/bin/bash
+# ASGL an abstract argumentation solver in ECL and GECODE.
+# Copyright (C) 2015  Kilian Sprotte
+
+# 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
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 set -e
 

v1/Foo.cpp

@@ -1,3 +1,19 @@
+// ASGL an abstract argumentation solver in ECL and GECODE.
+// Copyright (C) 2015  Kilian Sprotte
+
+// 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
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 #include "Foo.h"
 
 namespace v1 {

v1/Foo.h

@@ -1,3 +1,19 @@
+// ASGL an abstract argumentation solver in ECL and GECODE.
+// Copyright (C) 2015  Kilian Sprotte
+
+// 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
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
 #ifndef MY_FOO_HEADER_
 #define MY_FOO_HEADER_
 #include "../asgl_config.h"