diff --git a/Makefile b/Makefile index 20b072268cc033b0f8fcac39f851426a571efd5d..0e1e670a4b6e1a431279c7ed693d207ce30081c5 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne RACR_RACKET_BIN = $$HOME/git/2bt/racr/racr/racket-bin RACR_LARCENY_BIN = $$HOME/git/2bt/racr/racr/larceny-bin RACKET_BUILD_DIR = racket-bin diff --git a/README.md b/README.md index d414714ba9581d7f173e09f7a12bfc6675bcf691..48f5a7e7da6a9e0c90e54b5e3c943a6279295519 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,15 @@ -# Setup - -- clone [the racr repo](https://github.com/christoff-buerger/racr.git) -- install racr -- let scheme IDE know about racr - - racket: Create a symlink in `$RACKET_INSTALL_DIR/collects` pointing to `$RACR_REPO/racr/racket-bin/racr` - -# Links - -- view measurement results [online](http://nbviewer.ipython.org/urls/bitbucket.org/rschoene/racr-mquat/raw/master/ilp-measurement.ipynb) +This program and the accompanying materials are made available under the +terms of the MIT license (X11 license) which accompanies this distribution. + +Author: R. Schöne + +# Setup + +- clone [the racr repo](https://github.com/christoff-buerger/racr.git) +- install racr +- let scheme IDE know about racr + - racket: Create a symlink in `$RACKET_INSTALL_DIR/collects` pointing to `$RACR_REPO/racr/racket-bin/racr` + +# Links + +- view measurement results [online](http://nbviewer.ipython.org/urls/bitbucket.org/rschoene/racr-mquat/raw/master/ilp-measurement.ipynb) diff --git a/ag-test.scm b/ag-test.scm index 9675a7a3b5583bcca790d1b8a189756dcfd23858..0e0cf97295b9f3fcea9d5b7040182b338be80899 100644 --- a/ag-test.scm +++ b/ag-test.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat ag-test) diff --git a/ast-generation.scm b/ast-generation.scm index 3a5622f2186a53503882b262c38e324bb8c10366..a40b6c04dbf753ff263e6c07fc726bdda1bcad7d 100644 --- a/ast-generation.scm +++ b/ast-generation.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat ast-generation) diff --git a/ast.scm b/ast.scm index c83ea20615a8478c14eebd0d735f8f3c6cca4151..255562caf5a5516cad25341097a759b1f2eb8e45 100644 --- a/ast.scm +++ b/ast.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat ast) diff --git a/basic-ag.scm b/basic-ag.scm index af36623261b6a7b05f360d900cf4ed24e89b0828..8173d5179da35f473f30eca8dea6cacccd21767f 100644 --- a/basic-ag.scm +++ b/basic-ag.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat basic-ag) diff --git a/cli.scm b/cli.scm index 881d5588f7b7791cb3788c6cfd70169efda38a9b..3edf44a560432f9e6618b4041e692f5a97aaadd8 100644 --- a/cli.scm +++ b/cli.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (import (rnrs) (mquat ilp-measurement) (mquat ilp-test) (mquat ag-test) (mquat utils)) diff --git a/constants.py b/constants.py index 2224193b28e16cc83e1cbd6a4b5e9f4c63a67cd8..efad4d771f36727e7691b0d585401de8d7eb1461 100644 --- a/constants.py +++ b/constants.py @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne class Bin(object): def __init__(self, racr_bin, mquat_bin): self.racr_bin = racr_bin diff --git a/constants.scm b/constants.scm index 7cdc70826c9429f55c67e443edf05d43d1f97e8c..62ded7e3fd979bc982d808bf3619e9e1418aef1b 100644 --- a/constants.scm +++ b/constants.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat constants) diff --git a/dependencies.txt b/dependencies.txt index 365c02bd935fdd845d2fa7c46602bd3b5f2acb52..3b2a4a251e903d58da741ba502e52c55798deb32 100644 --- a/dependencies.txt +++ b/dependencies.txt @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne @libraries: rnrs/eval-6 racr/core diff --git a/example-ast.scm b/example-ast.scm index 58cef17a1818bd9ca5b6eccfa95e454c26ee9e6e..ecff2be24a9a1faa2b449824f78387a6b09d03ad 100644 --- a/example-ast.scm +++ b/example-ast.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat example-ast) diff --git a/fabfile.py b/fabfile.py index 2ef6ff397e4d371a8f474c36f6493341b981082a..519a086d56557076bf3f8b991fefa74c37dd0b1b 100644 --- a/fabfile.py +++ b/fabfile.py @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne import utils import ilp_test as test import ilp_measurement as measure diff --git a/fabric_workaround.py b/fabric_workaround.py index 1182597204ff6580d3a5aabab222890144032de1..492f827fcb117d1018ad76dce80f6bbc4f99205d 100644 --- a/fabric_workaround.py +++ b/fabric_workaround.py @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne import os, subprocess env = { 'local_wd' : None } diff --git a/ilp-measurement.scm b/ilp-measurement.scm index f74b3ed88a0bc463312f0fad1bb5ff64679564f7..d7b435edb9e01c2adf1a8088283b5e856fe5f08f 100644 --- a/ilp-measurement.scm +++ b/ilp-measurement.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne ; Measurement definitions ; To add a new measurement FOO: diff --git a/ilp-test.scm b/ilp-test.scm index 2e7ab02ce41157986187e012ee6da67e314d7e2b..fd75c9f7da26c7f56c0ad30c454c97d1c586180a 100644 --- a/ilp-test.scm +++ b/ilp-test.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat ilp-test) diff --git a/ilp.scm b/ilp.scm index c454c4175a9d9286f7f95e778823024bc713932b..acd934793947db366eda4c1789b78ec0ac37a11d 100644 --- a/ilp.scm +++ b/ilp.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat ilp) diff --git a/ilp_check.py b/ilp_check.py index 64b7a012400266a2e311ef92deec54e781da0595..554084233768c35bf12a25d1aa6c2b164d9f6507 100644 --- a/ilp_check.py +++ b/ilp_check.py @@ -1,4 +1,8 @@ #!/usr/bin/env python +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne import json, codecs try: diff --git a/ilp_measurement.py b/ilp_measurement.py index ac996ad2ea05e95ee4d7b042d0b4155d1a4c70be..fdd1624938c70a90e4d589598b1d63bfe70aa040 100644 --- a/ilp_measurement.py +++ b/ilp_measurement.py @@ -1,5 +1,9 @@ #!/usr/bin/env python # -*- coding: utf-8 -*- +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne import sys, re, os, csv, timeit, shutil, json, threading, time from datetime import datetime diff --git a/ilp_test.py b/ilp_test.py index 3daf8fc0a7da302e0dcbb992f52feed126f52524..10496da20bf3eceff89d8e4847625d1b2d867cfa 100644 --- a/ilp_test.py +++ b/ilp_test.py @@ -1,5 +1,9 @@ #!/usr/bin/env python # -*- coding: utf-8 -*- +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne import re, threading, os, shutil, sys, timeit try: diff --git a/install.py b/install.py index 43bb3b703ae8eae592f5b8afd1993c72fd51ac12..b9aaab485659fe01d9183b6917f96f27ff1e75c8 100644 --- a/install.py +++ b/install.py @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne import os, shutil, sys try: from fabric.api import lcd, task diff --git a/join.scm b/join.scm index e686aa7ba85803e972630d2b4460260a651d82b2..012492d2fee0a45a658a56af84fa0bc8217ca70f 100644 --- a/join.scm +++ b/join.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat join) diff --git a/license.txt b/license.txt new file mode 100644 index 0000000000000000000000000000000000000000..ada9741bdca0a989518ae7366423e234d69d9733 --- /dev/null +++ b/license.txt @@ -0,0 +1,8 @@ +The MIT License (MIT) +Copyright (c) 2015 - 2016 by René Schöne + +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. diff --git a/mquat.scm b/mquat.scm index be8bab7f4fee13d9940719c95880434d437d4924..a66a906eca960900abbc102aa67d3fa8e0bda2fd 100644 --- a/mquat.scm +++ b/mquat.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (import (rnrs) (racr core) (racr testing) (mquat constants) (mquat utils) (mquat join) (mquat ast) (mquat basic-ag) diff --git a/properties.py b/properties.py index a68bf1724065b3f0af0854833cbabfd04b1f3b9d..76f3b6f401ce362b1852d54aa9148a64bf7b7efb 100644 --- a/properties.py +++ b/properties.py @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne from utils import local_quiet properties_fname = 'scheme.properties' diff --git a/properties.scm b/properties.scm index 53b07f82edb506a38e2bada98b8f1b10d25dd3fa..8f12e4b546fa9236b7111a869045d9021e849c36 100644 --- a/properties.scm +++ b/properties.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat properties) diff --git a/sockets.py b/sockets.py index ee639d0822a40cb5470e530debdf7082b514e18f..5bec3fddaf8faaeb2504f88cd35293f2dd71bf85 100644 --- a/sockets.py +++ b/sockets.py @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne from fabric.api import task, local @task diff --git a/ui.scm b/ui.scm index 0c37ccd62f8871e81268ecca5b10328135b1662f..d3d449a12d9b187bd65123975533fa06a2ab7f7c 100644 --- a/ui.scm +++ b/ui.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat ui) diff --git a/utils.py b/utils.py index 91d1301f38737503dce528ec32f1f50764095607..c024a3116ac20f3512d60415aa0db3df193d1a3f 100644 --- a/utils.py +++ b/utils.py @@ -1,3 +1,7 @@ +# This program and the accompanying materials are made available under the +# terms of the MIT license (X11 license) which accompanies this distribution. + +# Author: R. Schöne import sys, os, csv, shutil, json try: from fabric.api import local, quiet, task, env diff --git a/utils.scm b/utils.scm index 99007976908bd0a5ec0877ccc58ef0dcdacaa16d..fb9f27a487ed55141cc83242da596877b9c7657e 100644 --- a/utils.scm +++ b/utils.scm @@ -1,4 +1,8 @@ #!r6rs +; This program and the accompanying materials are made available under the +; terms of the MIT license (X11 license) which accompanies this distribution. + +; Author: R. Schöne (library (mquat utils)