Projects December 2006

projects@lrde.epita.fr

20 participants
29 discussions

Re: XRM r94: Use GPL headers instead of EPITA headers.

by Akim Demaille

>>> "SB" == SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> writes: > Index: src/tools/parse-pctl.str > =================================================================== > --- src/tools/parse-pctl.str (revision 92) > +++ src/tools/parse-pctl.str (working copy) > @@ -1,3 +1,22 @@ > +/* > + * This file is part of XRM. > + * Copyright (C) 2006 Benoit Sigoure. > + * > + * XRM 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 2 > + * 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, write to the Free Software > + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, > + * USA. > +\ */ What is this \ in the last line? It's there in all your files.

17 years, 4 months

As a result, their water, food, and drink was contaminated with lead causing most to have some level of lead poisoning.

by Buckley P. Cyrus

The Desire UL from Dodd Gross is the kite for you. The obligatory indication of the food origin on the label is a central goal for Italy in the negotiations in Brussels and at the world trade organization to . uk, United Kingdom -. to the GDP report showed that core prices - excluding food and energy . fed by agricultural runoff and other pollution can lead to the poisoning of marine . Adoption costs do exist to assist with the veterinarian bills and food expenses, but the . Officials said this week that the tough new policy is aimed at preventing food poisoning among the homeless. The Cabinet agreed to set up a special committee to investigate cases of food poisoning and impose appropriate punishment on those who caused it. areas can become aggressive toward people if they fear their food is about . Dunia, directed by Lebanese film-maker Jocelyn Saab, was attacked for damaging the country's image. A police official said the group entered the auditorium and stopped the performance of Moderate without Moderation. The obligatory indication of the food origin on the label is a central goal for Italy in the negotiations in Brussels and at the world trade organization to . php - FOR PERSONAL AND NON COMMERCIAL USE ONLY! Much less power required to maintain oneself once up and on plane. fed by agricultural runoff and other pollution can lead to the poisoning of marine . The junction already has a host of fast-food joints, including WendyAs, Burger King and McDonaldAs. Officials said this week that the tough new policy is aimed at preventing food poisoning among the homeless. A volunteer animal protection representative also visits . The junction already has a host of fast-food joints, including WendyAs, Burger King and McDonaldAs. GDP largely reflected stronger inventory building by businesses and a trade deficit that . However, in at least two of those, their starting center, Spencer Tollackson, didnAt play due to food poisoning. Inflation, excluding food and energy, for . Designed by Dodd Gross for the enthusiast wanting to take the next step in advanced slack line sport kite flying, the Big Bang will help you reach higher level of achievement. The Beirut-based journalist, who writes for The Independent newspaper, will appear at the Mall of the Emirates to sign copies of the book, which is now in paperback. Get updates on new kites and products, store specials, sales and more. A large amount of energy is needed to get out of the water and up on plane, on a board with insufficient buoyancy. The obligatory indication of the food origin on the label is a central goal for Italy in the negotiations in Brussels and at the world trade organization to . This RSS file is offered to individuals and non-commercial organizations only. But ArbyAs offers Asomething other than hamburgers . The five day programme will cover research, writing for TV, camera work and editing, with lectures supported by practical exercises and video examples.

17 years, 4 months

XRM r96: Remove spurious backslashes.

by SIGOURE Benoit

Repository: https://svn.lrde.epita.fr/svn/xrm I need to fix gplize.sh. ChangeLog: 2006-12-03 SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> Remove spurious backslashes. * src/lib/native/ceil.c, * src/lib/native/floor.c, * src/lib/native/libstr-reals.h, * src/lib/native/power.c, * src/lib/native/rand.c, * src/lib/pctl/pp/pctl-filter.str, * src/lib/pctl/pp/pctl-formula.str, * src/lib/pctl/pp/pctl-label.str, * src/lib/pctl/pp/pctl-path.str, * src/lib/pctl/pp/pctl-properties-file.str, * src/lib/pctl/pp/pctl-property.str, * src/lib/pctl/pp/pctl-reward.str, * src/lib/pctl/pp/pctl-to-abox.str, * src/lib/pctl/pp/pp-pctl-to-box.str, * src/lib/prism/pp/helpers.str, * src/lib/prism/pp/pp-prism-to-box.str, * src/lib/prism/pp/prism-command.str, * src/lib/prism/pp/prism-conflicts.str, * src/lib/prism/pp/prism-constant.str, * src/lib/prism/pp/prism-declaration.str, * src/lib/prism/pp/prism-expression.str, * src/lib/prism/pp/prism-formula.str, * src/lib/prism/pp/prism-global.str, * src/lib/prism/pp/prism-init.str, * src/lib/prism/pp/prism-module.str, * src/lib/prism/pp/prism-modulesfile.str, * src/lib/prism/pp/prism-modulesfiletype.str, * src/lib/prism/pp/prism-reward.str, * src/lib/prism/pp/prism-systemcomposition.str, * src/lib/prism/pp/prism-to-abox.str, * src/lib/prism/pp/prism-update.str, * src/lib/xpctl/pp/pp-xpctl-to-box.str, * src/lib/xpctl/pp/xpctl-to-abox.str, * src/lib/xrm/pp/pp-xrm-to-box.str, * src/lib/xrm/pp/xrm-arrays.str, * src/lib/xrm/pp/xrm-constant.str, * src/lib/xrm/pp/xrm-expression.str, * src/lib/xrm/pp/xrm-formula.str, * src/lib/xrm/pp/xrm-meta-for.str, * src/lib/xrm/pp/xrm-meta-if.str, * src/lib/xrm/pp/xrm-module.str, * src/lib/xrm/pp/xrm-properties.str, * src/lib/xrm/pp/xrm-to-abox.str, * src/str/array-decl-desugar.str, * src/str/builtin-rand.str, * src/str/check-meta-vars.str, * src/str/collect-static-const-decl.str, * src/str/desugar-array-access.str, * src/str/eval-meta-code.str, * src/str/flatten-array-access.str, * src/str/ice.str, * src/str/inline.str, * src/str/log-timed.str, * src/str/prism-desugar.str, * src/str/properties-in-xrm.str, * src/str/reals.str, * src/str/signatures.str, * src/str/type-check.str, * src/str/xrm-front.str, * src/str/xrm-to-prism.str, * src/tools/parse-pctl.str, * src/tools/parse-prism.str, * src/tools/parse-xpctl.str, * src/tools/parse-xrm.str, * src/tools/parser-common.str, * src/tools/pp-pctl.str, * src/tools/pp-prism.str, * src/tools/pp-xpctl.str, * src/tools/pp-xrm.str: Here. lib/native/ceil.c | 2 +- lib/native/floor.c | 2 +- lib/native/libstr-reals.h | 2 +- lib/native/power.c | 2 +- lib/native/rand.c | 2 +- lib/pctl/pp/pctl-filter.str | 2 +- lib/pctl/pp/pctl-formula.str | 2 +- lib/pctl/pp/pctl-label.str | 2 +- lib/pctl/pp/pctl-path.str | 2 +- lib/pctl/pp/pctl-properties-file.str | 2 +- lib/pctl/pp/pctl-property.str | 2 +- lib/pctl/pp/pctl-reward.str | 2 +- lib/pctl/pp/pctl-to-abox.str | 2 +- lib/pctl/pp/pp-pctl-to-box.str | 2 +- lib/prism/pp/helpers.str | 2 +- lib/prism/pp/pp-prism-to-box.str | 2 +- lib/prism/pp/prism-command.str | 2 +- lib/prism/pp/prism-conflicts.str | 2 +- lib/prism/pp/prism-constant.str | 2 +- lib/prism/pp/prism-declaration.str | 2 +- lib/prism/pp/prism-expression.str | 2 +- lib/prism/pp/prism-formula.str | 2 +- lib/prism/pp/prism-global.str | 2 +- lib/prism/pp/prism-init.str | 2 +- lib/prism/pp/prism-module.str | 2 +- lib/prism/pp/prism-modulesfile.str | 2 +- lib/prism/pp/prism-modulesfiletype.str | 2 +- lib/prism/pp/prism-reward.str | 2 +- lib/prism/pp/prism-systemcomposition.str | 2 +- lib/prism/pp/prism-to-abox.str | 2 +- lib/prism/pp/prism-update.str | 2 +- lib/xpctl/pp/pp-xpctl-to-box.str | 2 +- lib/xpctl/pp/xpctl-to-abox.str | 2 +- lib/xrm/pp/pp-xrm-to-box.str | 2 +- lib/xrm/pp/xrm-arrays.str | 2 +- lib/xrm/pp/xrm-constant.str | 2 +- lib/xrm/pp/xrm-expression.str | 2 +- lib/xrm/pp/xrm-formula.str | 2 +- lib/xrm/pp/xrm-meta-for.str | 2 +- lib/xrm/pp/xrm-meta-if.str | 2 +- lib/xrm/pp/xrm-module.str | 2 +- lib/xrm/pp/xrm-properties.str | 2 +- lib/xrm/pp/xrm-to-abox.str | 2 +- str/array-decl-desugar.str | 2 +- str/builtin-rand.str | 2 +- str/check-meta-vars.str | 2 +- str/collect-static-const-decl.str | 2 +- str/desugar-array-access.str | 2 +- str/eval-meta-code.str | 2 +- str/flatten-array-access.str | 2 +- str/ice.str | 2 +- str/inline.str | 2 +- str/log-timed.str | 2 +- str/prism-desugar.str | 2 +- str/properties-in-xrm.str | 2 +- str/reals.str | 2 +- str/signatures.str | 2 +- str/type-check.str | 2 +- str/xrm-front.str | 2 +- str/xrm-to-prism.str | 2 +- tools/parse-pctl.str | 2 +- tools/parse-prism.str | 2 +- tools/parse-xpctl.str | 2 +- tools/parse-xrm.str | 2 +- tools/parser-common.str | 2 +- tools/pp-pctl.str | 2 +- tools/pp-prism.str | 2 +- tools/pp-xpctl.str | 2 +- tools/pp-xrm.str | 2 +- 69 files changed, 69 insertions(+), 69 deletions(-) Index: src/tools/parse-pctl.str =================================================================== --- src/tools/parse-pctl.str (revision 94) +++ src/tools/parse-pctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-pctl imports libstratego-xtc Index: src/tools/parse-xrm.str =================================================================== --- src/tools/parse-xrm.str (revision 94) +++ src/tools/parse-xrm.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-xrm imports libstratego-xtc Index: src/tools/pp-pctl.str =================================================================== --- src/tools/pp-pctl.str (revision 94) +++ src/tools/pp-pctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-pctl Index: src/tools/parse-prism.str =================================================================== --- src/tools/parse-prism.str (revision 94) +++ src/tools/parse-prism.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-prism imports libstratego-xtc Index: src/tools/parse-xpctl.str =================================================================== --- src/tools/parse-xpctl.str (revision 94) +++ src/tools/parse-xpctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module parse-xpctl imports libstratego-xtc Index: src/tools/parser-common.str =================================================================== --- src/tools/parser-common.str (revision 94) +++ src/tools/parser-common.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // used by parse-* to factor common strategies module parser-common Index: src/tools/pp-xrm.str =================================================================== --- src/tools/pp-xrm.str (revision 94) +++ src/tools/pp-xrm.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-xrm Index: src/tools/pp-prism.str =================================================================== --- src/tools/pp-prism.str (revision 94) +++ src/tools/pp-prism.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-prism Index: src/tools/pp-xpctl.str =================================================================== --- src/tools/pp-xpctl.str (revision 94) +++ src/tools/pp-xpctl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-xpctl Index: src/lib/pctl/pp/pctl-properties-file.str =================================================================== --- src/lib/pctl/pp/pctl-properties-file.str (revision 94) +++ src/lib/pctl/pp/pctl-properties-file.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-properties-file rules Index: src/lib/pctl/pp/pctl-to-abox.str =================================================================== --- src/lib/pctl/pp/pctl-to-abox.str (revision 94) +++ src/lib/pctl/pp/pctl-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-to-abox imports libstratego-xtc Index: src/lib/pctl/pp/pctl-label.str =================================================================== --- src/lib/pctl/pp/pctl-label.str (revision 94) +++ src/lib/pctl/pp/pctl-label.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-label rules Index: src/lib/pctl/pp/pctl-property.str =================================================================== --- src/lib/pctl/pp/pctl-property.str (revision 94) +++ src/lib/pctl/pp/pctl-property.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-property rules Index: src/lib/pctl/pp/pctl-reward.str =================================================================== --- src/lib/pctl/pp/pctl-reward.str (revision 94) +++ src/lib/pctl/pp/pctl-reward.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-reward rules Index: src/lib/pctl/pp/pp-pctl-to-box.str =================================================================== --- src/lib/pctl/pp/pp-pctl-to-box.str (revision 94) +++ src/lib/pctl/pp/pp-pctl-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-pctl-to-box imports Box Index: src/lib/pctl/pp/pctl-filter.str =================================================================== --- src/lib/pctl/pp/pctl-filter.str (revision 94) +++ src/lib/pctl/pp/pctl-filter.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-filter rules Index: src/lib/pctl/pp/pctl-path.str =================================================================== --- src/lib/pctl/pp/pctl-path.str (revision 94) +++ src/lib/pctl/pp/pctl-path.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-path rules Index: src/lib/pctl/pp/pctl-formula.str =================================================================== --- src/lib/pctl/pp/pctl-formula.str (revision 94) +++ src/lib/pctl/pp/pctl-formula.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pctl-formula rules Index: src/lib/native/floor.c =================================================================== --- src/lib/native/floor.c (revision 94) +++ src/lib/native/floor.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ #include <math.h> #include "libstr-reals.h" Index: src/lib/native/rand.c =================================================================== --- src/lib/native/rand.c (revision 94) +++ src/lib/native/rand.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ #include <stdlib.h> #include "libstr-reals.h" Index: src/lib/native/libstr-reals.h =================================================================== --- src/lib/native/libstr-reals.h (revision 94) +++ src/lib/native/libstr-reals.h (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ #ifndef LIBSTR_REALS_H_ # define LIBSTR_REALS_H_ Index: src/lib/native/ceil.c =================================================================== --- src/lib/native/ceil.c (revision 94) +++ src/lib/native/ceil.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ #include <math.h> #include <stdio.h> Index: src/lib/native/power.c =================================================================== --- src/lib/native/power.c (revision 94) +++ src/lib/native/power.c (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ #include <math.h> #include "libstr-reals.h" Index: src/lib/xrm/pp/xrm-formula.str =================================================================== --- src/lib/xrm/pp/xrm-formula.str (revision 94) +++ src/lib/xrm/pp/xrm-formula.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-formula rules Index: src/lib/xrm/pp/xrm-to-abox.str =================================================================== --- src/lib/xrm/pp/xrm-to-abox.str (revision 94) +++ src/lib/xrm/pp/xrm-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-to-abox imports libstratego-xtc Index: src/lib/xrm/pp/xrm-meta-for.str =================================================================== --- src/lib/xrm/pp/xrm-meta-for.str (revision 94) +++ src/lib/xrm/pp/xrm-meta-for.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-meta-for rules Index: src/lib/xrm/pp/xrm-meta-if.str =================================================================== --- src/lib/xrm/pp/xrm-meta-if.str (revision 94) +++ src/lib/xrm/pp/xrm-meta-if.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-meta-if rules Index: src/lib/xrm/pp/xrm-module.str =================================================================== --- src/lib/xrm/pp/xrm-module.str (revision 94) +++ src/lib/xrm/pp/xrm-module.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-module rules Index: src/lib/xrm/pp/pp-xrm-to-box.str =================================================================== --- src/lib/xrm/pp/pp-xrm-to-box.str (revision 94) +++ src/lib/xrm/pp/pp-xrm-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-xrm-to-box imports Box Index: src/lib/xrm/pp/xrm-constant.str =================================================================== --- src/lib/xrm/pp/xrm-constant.str (revision 94) +++ src/lib/xrm/pp/xrm-constant.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-constant rules Index: src/lib/xrm/pp/xrm-properties.str =================================================================== --- src/lib/xrm/pp/xrm-properties.str (revision 94) +++ src/lib/xrm/pp/xrm-properties.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-properties rules Index: src/lib/xrm/pp/xrm-expression.str =================================================================== --- src/lib/xrm/pp/xrm-expression.str (revision 94) +++ src/lib/xrm/pp/xrm-expression.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-expression imports helpers Index: src/lib/xrm/pp/xrm-arrays.str =================================================================== --- src/lib/xrm/pp/xrm-arrays.str (revision 94) +++ src/lib/xrm/pp/xrm-arrays.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-arrays rules Index: src/lib/prism/pp/prism-update.str =================================================================== --- src/lib/prism/pp/prism-update.str (revision 94) +++ src/lib/prism/pp/prism-update.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-update imports helpers Index: src/lib/prism/pp/prism-reward.str =================================================================== --- src/lib/prism/pp/prism-reward.str (revision 94) +++ src/lib/prism/pp/prism-reward.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-reward rules Index: src/lib/prism/pp/prism-module.str =================================================================== --- src/lib/prism/pp/prism-module.str (revision 94) +++ src/lib/prism/pp/prism-module.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-module imports helpers Index: src/lib/prism/pp/pp-prism-to-box.str =================================================================== --- src/lib/prism/pp/pp-prism-to-box.str (revision 94) +++ src/lib/prism/pp/pp-prism-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-prism-to-box imports Box Index: src/lib/prism/pp/prism-init.str =================================================================== --- src/lib/prism/pp/prism-init.str (revision 94) +++ src/lib/prism/pp/prism-init.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-init rules Index: src/lib/prism/pp/prism-formula.str =================================================================== --- src/lib/prism/pp/prism-formula.str (revision 94) +++ src/lib/prism/pp/prism-formula.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-formula rules Index: src/lib/prism/pp/prism-systemcomposition.str =================================================================== --- src/lib/prism/pp/prism-systemcomposition.str (revision 94) +++ src/lib/prism/pp/prism-systemcomposition.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-systemcomposition imports helpers Index: src/lib/prism/pp/prism-modulesfile.str =================================================================== --- src/lib/prism/pp/prism-modulesfile.str (revision 94) +++ src/lib/prism/pp/prism-modulesfile.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-modulesfile rules Index: src/lib/prism/pp/helpers.str =================================================================== --- src/lib/prism/pp/helpers.str (revision 94) +++ src/lib/prism/pp/helpers.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module helpers strategies Index: src/lib/prism/pp/prism-modulesfiletype.str =================================================================== --- src/lib/prism/pp/prism-modulesfiletype.str (revision 94) +++ src/lib/prism/pp/prism-modulesfiletype.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-modulesfiletype rules Index: src/lib/prism/pp/prism-conflicts.str =================================================================== --- src/lib/prism/pp/prism-conflicts.str (revision 94) +++ src/lib/prism/pp/prism-conflicts.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-conflicts rules Index: src/lib/prism/pp/prism-declaration.str =================================================================== --- src/lib/prism/pp/prism-declaration.str (revision 94) +++ src/lib/prism/pp/prism-declaration.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-declaration rules Index: src/lib/prism/pp/prism-constant.str =================================================================== --- src/lib/prism/pp/prism-constant.str (revision 94) +++ src/lib/prism/pp/prism-constant.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-constant rules Index: src/lib/prism/pp/prism-expression.str =================================================================== --- src/lib/prism/pp/prism-expression.str (revision 94) +++ src/lib/prism/pp/prism-expression.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-expression imports helpers Index: src/lib/prism/pp/prism-global.str =================================================================== --- src/lib/prism/pp/prism-global.str (revision 94) +++ src/lib/prism/pp/prism-global.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-global rules Index: src/lib/prism/pp/prism-to-abox.str =================================================================== --- src/lib/prism/pp/prism-to-abox.str (revision 94) +++ src/lib/prism/pp/prism-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-to-abox imports libstratego-xtc Index: src/lib/prism/pp/prism-command.str =================================================================== --- src/lib/prism/pp/prism-command.str (revision 94) +++ src/lib/prism/pp/prism-command.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-command rules Index: src/lib/xpctl/pp/pp-xpctl-to-box.str =================================================================== --- src/lib/xpctl/pp/pp-xpctl-to-box.str (revision 94) +++ src/lib/xpctl/pp/pp-xpctl-to-box.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module pp-xpctl-to-box imports Box Index: src/lib/xpctl/pp/xpctl-to-abox.str =================================================================== --- src/lib/xpctl/pp/xpctl-to-abox.str (revision 94) +++ src/lib/xpctl/pp/xpctl-to-abox.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xpctl-to-abox imports libstratego-xtc Index: src/str/flatten-array-access.str =================================================================== --- src/str/flatten-array-access.str (revision 94) +++ src/str/flatten-array-access.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module flatten-array-access rules Index: src/str/check-meta-vars.str =================================================================== --- src/str/check-meta-vars.str (revision 94) +++ src/str/check-meta-vars.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /* ** This sub-module is used to check that meta-vars are correctly used ** throughout the program. This implies: Index: src/str/array-decl-desugar.str =================================================================== --- src/str/array-decl-desugar.str (revision 94) +++ src/str/array-decl-desugar.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module is used to desugar array declarations into simple ** declarations. Index: src/str/xrm-to-prism.str =================================================================== --- src/str/xrm-to-prism.str (revision 94) +++ src/str/xrm-to-prism.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /* ** This sub-module does the real work of the front-end. It transforms the ** program into a valid PRISM AST. Index: src/str/inline.str =================================================================== --- src/str/inline.str (revision 94) +++ src/str/inline.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module inline strategies Index: src/str/log-timed.str =================================================================== --- src/str/log-timed.str (revision 94) +++ src/str/log-timed.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** Original code from strc (The Stratego Compiler) ** by Eelco Visser <visser(a)acm.org> Index: src/str/prism-desugar.str =================================================================== --- src/str/prism-desugar.str (revision 94) +++ src/str/prism-desugar.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module prism-desugar imports PRISM Index: src/str/eval-meta-code.str =================================================================== --- src/str/eval-meta-code.str (revision 94) +++ src/str/eval-meta-code.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module does all the meta-code evaluation and generation. ** XRM modules can contain meta for loops as well as meta if statements Index: src/str/signatures.str =================================================================== --- src/str/signatures.str (revision 94) +++ src/str/signatures.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module signatures /** Index: src/str/builtin-rand.str =================================================================== --- src/str/builtin-rand.str (revision 94) +++ src/str/builtin-rand.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module handles the XRM builtin rand. ** rand(x) generates a random value (at runtime) between 0 and x (inclusive) Index: src/str/xrm-front.str =================================================================== --- src/str/xrm-front.str (revision 94) +++ src/str/xrm-front.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module xrm-front imports Index: src/str/type-check.str =================================================================== --- src/str/type-check.str (revision 94) +++ src/str/type-check.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module type-check strategies Index: src/str/ice.str =================================================================== --- src/str/ice.str (revision 94) +++ src/str/ice.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /* ** Handle internal errors (things that should not happen) */ Index: src/str/collect-static-const-decl.str =================================================================== --- src/str/collect-static-const-decl.str (revision 94) +++ src/str/collect-static-const-decl.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module is used to collect static constants and formulas ** declarations so they can be used in constant propagation. Index: src/str/properties-in-xrm.str =================================================================== --- src/str/properties-in-xrm.str (revision 94) +++ src/str/properties-in-xrm.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This module is about embedded XPCTL in XRM. */ Index: src/str/desugar-array-access.str =================================================================== --- src/str/desugar-array-access.str (revision 94) +++ src/str/desugar-array-access.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ /** ** This sub-module provides several strategies used to handle arrays in XRM ** and desugar them down to simple variables for PRISM. Index: src/str/reals.str =================================================================== --- src/str/reals.str (revision 94) +++ src/str/reals.str (working copy) @@ -16,7 +16,7 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, * USA. -\ */ + */ module reals strategies -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

17 years, 4 months

XRM r95: Add a missing header.

by SIGOURE Benoit

Repository: https://svn.lrde.epita.fr/svn/xrm ChangeLog: 2006-12-03 SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> Add a missing header. * src/syn/collect-ebnf.rb: Here. collect-ebnf.rb | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+) Index: src/syn/collect-ebnf.rb =================================================================== --- src/syn/collect-ebnf.rb (revision 94) +++ src/syn/collect-ebnf.rb (working copy) @@ -1,4 +1,23 @@ #!/usr/bin/ruby +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + $version = "0.1" $verbose = nil # disable verbose by default -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

17 years, 4 months

XRM r94: Use GPL headers instead of EPITA headers.

by SIGOURE Benoit

Repository: https://svn.lrde.epita.fr/svn/xrm ChangeLog: 2006-12-03 SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> Use GPL headers instead of EPITA headers. * Makefile.am, * bootstrap, * config/Makefile.am, * configure.ac, * src/Makefile.am, * src/lib/Makefile.am, * src/lib/native/Makefile.am, * src/lib/native/ceil.c, * src/lib/native/floor.c, * src/lib/native/libstr-reals.h, * src/lib/native/power.c, * src/lib/native/rand.c, * src/lib/pctl/Makefile.am, * src/lib/pctl/pp/Makefile.am, * src/lib/pctl/pp/pctl-filter.str, * src/lib/pctl/pp/pctl-formula.str, * src/lib/pctl/pp/pctl-label.str, * src/lib/pctl/pp/pctl-path.str, * src/lib/pctl/pp/pctl-properties-file.str, * src/lib/pctl/pp/pctl-property.str, * src/lib/pctl/pp/pctl-reward.str, * src/lib/pctl/pp/pctl-to-abox.str, * src/lib/pctl/pp/pp-pctl-to-box.str, * src/lib/prism/Makefile.am, * src/lib/prism/pp/Makefile.am, * src/lib/prism/pp/helpers.str, * src/lib/prism/pp/pp-prism-to-box.str, * src/lib/prism/pp/prism-command.str, * src/lib/prism/pp/prism-conflicts.str, * src/lib/prism/pp/prism-constant.str, * src/lib/prism/pp/prism-declaration.str, * src/lib/prism/pp/prism-expression.str, * src/lib/prism/pp/prism-formula.str, * src/lib/prism/pp/prism-global.str, * src/lib/prism/pp/prism-init.str, * src/lib/prism/pp/prism-module.str, * src/lib/prism/pp/prism-modulesfile.str, * src/lib/prism/pp/prism-modulesfiletype.str, * src/lib/prism/pp/prism-reward.str, * src/lib/prism/pp/prism-systemcomposition.str, * src/lib/prism/pp/prism-to-abox.str, * src/lib/prism/pp/prism-update.str, * src/lib/xpctl/Makefile.am, * src/lib/xpctl/pp/Makefile.am, * src/lib/xpctl/pp/pp-xpctl-to-box.str, * src/lib/xpctl/pp/xpctl-to-abox.str, * src/lib/xrm/Makefile.am, * src/lib/xrm/pp/Makefile.am, * src/lib/xrm/pp/pp-xrm-to-box.str, * src/lib/xrm/pp/xrm-arrays.str, * src/lib/xrm/pp/xrm-constant.str, * src/lib/xrm/pp/xrm-expression.str, * src/lib/xrm/pp/xrm-formula.str, * src/lib/xrm/pp/xrm-meta-for.str, * src/lib/xrm/pp/xrm-meta-if.str, * src/lib/xrm/pp/xrm-module.str, * src/lib/xrm/pp/xrm-properties.str, * src/lib/xrm/pp/xrm-to-abox.str, * src/sig/Makefile.am, * src/str/Makefile.am, * src/str/array-decl-desugar.str, * src/str/builtin-rand.str, * src/str/check-meta-vars.str, * src/str/collect-static-const-decl.str, * src/str/desugar-array-access.str, * src/str/eval-meta-code.str, * src/str/flatten-array-access.str, * src/str/ice.str, * src/str/inline.str, * src/str/log-timed.str, * src/str/prism-desugar.str, * src/str/properties-in-xrm.str, * src/str/reals.str, * src/str/signatures.str, * src/str/type-check.str, * src/str/xrm-front.str, * src/str/xrm-to-prism.str, * src/syn/Makefile.am, * src/syn/collect-ebnf.rb, * src/syn/pctl/Makefile.am, * src/syn/prism/Makefile.am, * src/syn/xpctl/Makefile.am, * src/syn/xrm/Makefile.am, * src/tools/Makefile.am, * src/tools/parse-pctl.str, * src/tools/parse-prism.str, * src/tools/parse-xpctl.str, * src/tools/parse-xrm.str, * src/tools/parser-common.str, * src/tools/pp-pctl.str, * src/tools/pp-prism.str, * src/tools/pp-xpctl.str, * src/tools/pp-xrm.str, * tests/Makefile.am, * tests/test-parse-pctl.sh.in, * tests/test-parse-prism.sh.in, * tests/test-parse-xpctl.sh.in, * tests/test-parse-xrm.sh.in, * tests/test-pp-pctl.sh.in, * tests/test-pp-prism.sh.in, * tests/test-pp-xpctl.sh.in, * tests/test-pp-xrm.sh.in, * tests/test-summary.sh, * tests/test-xrm-front.sh.in: Here. Makefile.am | 28 ++++++++++++++++++--------- bootstrap | 9 -------- config/Makefile.am | 27 +++++++++++++++++--------- configure.ac | 28 ++++++++++++++++++--------- src/Makefile.am | 28 ++++++++++++++++++--------- src/lib/Makefile.am | 28 ++++++++++++++++++--------- src/lib/native/Makefile.am | 28 ++++++++++++++++++--------- src/lib/native/ceil.c | 26 +++++++++++++++++-------- src/lib/native/floor.c | 26 +++++++++++++++++-------- src/lib/native/libstr-reals.h | 26 +++++++++++++++++-------- src/lib/native/power.c | 26 +++++++++++++++++-------- src/lib/native/rand.c | 26 +++++++++++++++++-------- src/lib/pctl/Makefile.am | 28 ++++++++++++++++++--------- src/lib/pctl/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/pctl/pp/pctl-filter.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-formula.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-label.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-path.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-properties-file.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-property.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-reward.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pctl-to-abox.str | 19 ++++++++++++++++++ src/lib/pctl/pp/pp-pctl-to-box.str | 19 ++++++++++++++++++ src/lib/prism/Makefile.am | 28 ++++++++++++++++++--------- src/lib/prism/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/prism/pp/helpers.str | 19 ++++++++++++++++++ src/lib/prism/pp/pp-prism-to-box.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-command.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-conflicts.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-constant.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-declaration.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-expression.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-formula.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-global.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-init.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-module.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-modulesfile.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-modulesfiletype.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-reward.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-systemcomposition.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-to-abox.str | 19 ++++++++++++++++++ src/lib/prism/pp/prism-update.str | 19 ++++++++++++++++++ src/lib/xpctl/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xpctl/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xpctl/pp/pp-xpctl-to-box.str | 19 ++++++++++++++++++ src/lib/xpctl/pp/xpctl-to-abox.str | 19 ++++++++++++++++++ src/lib/xrm/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xrm/pp/Makefile.am | 28 ++++++++++++++++++--------- src/lib/xrm/pp/pp-xrm-to-box.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-arrays.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-constant.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-expression.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-formula.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-meta-for.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-meta-if.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-module.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-properties.str | 19 ++++++++++++++++++ src/lib/xrm/pp/xrm-to-abox.str | 19 ++++++++++++++++++ src/sig/Makefile.am | 28 ++++++++++++++++++--------- src/str/Makefile.am | 28 ++++++++++++++++++--------- src/str/array-decl-desugar.str | 19 ++++++++++++++++++ src/str/builtin-rand.str | 19 ++++++++++++++++++ src/str/check-meta-vars.str | 19 ++++++++++++++++++ src/str/collect-static-const-decl.str | 19 ++++++++++++++++++ src/str/desugar-array-access.str | 19 ++++++++++++++++++ src/str/eval-meta-code.str | 19 ++++++++++++++++++ src/str/flatten-array-access.str | 19 ++++++++++++++++++ src/str/ice.str | 19 ++++++++++++++++++ src/str/inline.str | 19 ++++++++++++++++++ src/str/log-timed.str | 19 ++++++++++++++++++ src/str/prism-desugar.str | 19 ++++++++++++++++++ src/str/properties-in-xrm.str | 19 ++++++++++++++++++ src/str/reals.str | 19 ++++++++++++++++++ src/str/signatures.str | 19 ++++++++++++++++++ src/str/type-check.str | 19 ++++++++++++++++++ src/str/xrm-front.str | 19 ++++++++++++++++++ src/str/xrm-to-prism.str | 19 ++++++++++++++++++ src/syn/Makefile.am | 28 ++++++++++++++++++--------- src/syn/collect-ebnf.rb | 9 -------- src/syn/pctl/Makefile.am | 28 ++++++++++++++++++--------- src/syn/prism/Makefile.am | 28 ++++++++++++++++++--------- src/syn/xpctl/Makefile.am | 28 ++++++++++++++++++--------- src/syn/xrm/Makefile.am | 28 ++++++++++++++++++--------- src/tools/Makefile.am | 28 ++++++++++++++++++--------- src/tools/parse-pctl.str | 19 ++++++++++++++++++ src/tools/parse-prism.str | 19 ++++++++++++++++++ src/tools/parse-xpctl.str | 19 ++++++++++++++++++ src/tools/parse-xrm.str | 19 ++++++++++++++++++ src/tools/parser-common.str | 19 ++++++++++++++++++ src/tools/pp-pctl.str | 19 ++++++++++++++++++ src/tools/pp-prism.str | 19 ++++++++++++++++++ src/tools/pp-xpctl.str | 19 ++++++++++++++++++ src/tools/pp-xrm.str | 19 ++++++++++++++++++ tests/Makefile.am | 28 ++++++++++++++++++--------- tests/test-parse-pctl.sh.in | 28 ++++++++++++++++++--------- tests/test-parse-prism.sh.in | 28 ++++++++++++++++++--------- tests/test-parse-xpctl.sh.in | 28 ++++++++++++++++++--------- tests/test-parse-xrm.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-pctl.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-prism.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-xpctl.sh.in | 28 ++++++++++++++++++--------- tests/test-pp-xrm.sh.in | 28 ++++++++++++++++++--------- tests/test-summary.sh | 9 -------- tests/test-xrm-front.sh.in | 28 ++++++++++++++++++--------- 104 files changed, 1913 insertions(+), 355 deletions(-) Index: src/tools/parse-pctl.str =================================================================== --- src/tools/parse-pctl.str (revision 92) +++ src/tools/parse-pctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-pctl imports libstratego-xtc Index: src/tools/parse-xrm.str =================================================================== --- src/tools/parse-xrm.str (revision 92) +++ src/tools/parse-xrm.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-xrm imports libstratego-xtc Index: src/tools/pp-pctl.str =================================================================== --- src/tools/pp-pctl.str (revision 92) +++ src/tools/pp-pctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-pctl Index: src/tools/Makefile.am =================================================================== --- src/tools/Makefile.am (revision 91) +++ src/tools/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for Project in /home/tsuna/work/xrm/trunk/src/tools -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 21:16:56 2006 SIGOURE Benoit -## Last update Sun Jun 11 03:30:17 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/tools/parse-prism.str =================================================================== --- src/tools/parse-prism.str (revision 92) +++ src/tools/parse-prism.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-prism imports libstratego-xtc Index: src/tools/parse-xpctl.str =================================================================== --- src/tools/parse-xpctl.str (revision 92) +++ src/tools/parse-xpctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module parse-xpctl imports libstratego-xtc Index: src/tools/parser-common.str =================================================================== --- src/tools/parser-common.str (revision 91) +++ src/tools/parser-common.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // used by parse-* to factor common strategies module parser-common Index: src/tools/pp-xrm.str =================================================================== --- src/tools/pp-xrm.str (revision 92) +++ src/tools/pp-xrm.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-xrm Index: src/tools/pp-prism.str =================================================================== --- src/tools/pp-prism.str (revision 92) +++ src/tools/pp-prism.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-prism Index: src/tools/pp-xpctl.str =================================================================== --- src/tools/pp-xpctl.str (revision 92) +++ src/tools/pp-xpctl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ // Code mostly from pp-java by Martin Bravenboer <martin(a)cs.uu.nl> module pp-xpctl Index: src/sig/Makefile.am =================================================================== --- src/sig/Makefile.am (revision 91) +++ src/sig/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/sig -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 18:38:32 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:54:51 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk Index: src/lib/pctl/pp/pctl-to-abox.str =================================================================== --- src/lib/pctl/pp/pctl-to-abox.str (revision 92) +++ src/lib/pctl/pp/pctl-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-to-abox imports libstratego-xtc Index: src/lib/pctl/pp/pctl-properties-file.str =================================================================== --- src/lib/pctl/pp/pctl-properties-file.str (revision 91) +++ src/lib/pctl/pp/pctl-properties-file.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-properties-file rules Index: src/lib/pctl/pp/pctl-label.str =================================================================== --- src/lib/pctl/pp/pctl-label.str (revision 91) +++ src/lib/pctl/pp/pctl-label.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-label rules Index: src/lib/pctl/pp/pctl-reward.str =================================================================== --- src/lib/pctl/pp/pctl-reward.str (revision 91) +++ src/lib/pctl/pp/pctl-reward.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-reward rules Index: src/lib/pctl/pp/pctl-property.str =================================================================== --- src/lib/pctl/pp/pctl-property.str (revision 91) +++ src/lib/pctl/pp/pctl-property.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-property rules Index: src/lib/pctl/pp/pctl-filter.str =================================================================== --- src/lib/pctl/pp/pctl-filter.str (revision 91) +++ src/lib/pctl/pp/pctl-filter.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-filter rules Index: src/lib/pctl/pp/pp-pctl-to-box.str =================================================================== --- src/lib/pctl/pp/pp-pctl-to-box.str (revision 91) +++ src/lib/pctl/pp/pp-pctl-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-pctl-to-box imports Box Index: src/lib/pctl/pp/pctl-path.str =================================================================== --- src/lib/pctl/pp/pctl-path.str (revision 91) +++ src/lib/pctl/pp/pctl-path.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-path rules Index: src/lib/pctl/pp/Makefile.am =================================================================== --- src/lib/pctl/pp/Makefile.am (revision 92) +++ src/lib/pctl/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/pctl/pp -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Sat Jun 10 03:59:11 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:17:20 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/pctl/pp/pctl-formula.str =================================================================== --- src/lib/pctl/pp/pctl-formula.str (revision 91) +++ src/lib/pctl/pp/pctl-formula.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pctl-formula rules Index: src/lib/pctl/Makefile.am =================================================================== --- src/lib/pctl/Makefile.am (revision 91) +++ src/lib/pctl/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/pctl -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Sat Jun 10 03:57:49 2006 SIGOURE Benoit -## Last update Sat Jun 10 03:58:01 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/lib/native/floor.c =================================================================== --- src/lib/native/floor.c (revision 91) +++ src/lib/native/floor.c (working copy) @@ -1,12 +1,22 @@ /* -** floor.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail <sigoure.benoit(a)lrde.epita.fr> -** -** Started on Thu May 25 16:32:59 2006 SIGOURE Benoit -** Last update Thu May 25 18:57:46 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <math.h> #include "libstr-reals.h" Index: src/lib/native/rand.c =================================================================== --- src/lib/native/rand.c (revision 91) +++ src/lib/native/rand.c (working copy) @@ -1,12 +1,22 @@ /* -** rand.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail <sigoure.benoit(a)lrde.epita.fr> -** -** Started on Tue Jun 6 15:13:53 2006 SIGOURE Benoit -** Last update Tue Jun 6 15:23:57 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <stdlib.h> #include "libstr-reals.h" Index: src/lib/native/Makefile.am =================================================================== --- src/lib/native/Makefile.am (revision 92) +++ src/lib/native/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/native -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:19:46 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk Index: src/lib/native/libstr-reals.h =================================================================== --- src/lib/native/libstr-reals.h (revision 91) +++ src/lib/native/libstr-reals.h (working copy) @@ -1,12 +1,22 @@ /* -** libstr-reals.h for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail <sigoure.benoit(a)lrde.epita.fr> -** -** Started on Thu May 25 16:32:27 2006 SIGOURE Benoit -** Last update Thu May 25 20:10:05 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #ifndef LIBSTR_REALS_H_ # define LIBSTR_REALS_H_ Index: src/lib/native/ceil.c =================================================================== --- src/lib/native/ceil.c (revision 91) +++ src/lib/native/ceil.c (working copy) @@ -1,12 +1,22 @@ /* -** ceil.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail <sigoure.benoit(a)lrde.epita.fr> -** -** Started on Thu May 25 16:32:50 2006 SIGOURE Benoit -** Last update Thu May 25 19:19:48 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <math.h> #include <stdio.h> Index: src/lib/native/power.c =================================================================== --- src/lib/native/power.c (revision 91) +++ src/lib/native/power.c (working copy) @@ -1,12 +1,22 @@ /* -** power.c for str-reals in /home/tsuna/work/xrm/trunk/src/lib/native -** -** Made by SIGOURE Benoit -** Mail <sigoure.benoit(a)lrde.epita.fr> -** -** Started on Thu May 25 16:33:04 2006 SIGOURE Benoit -** Last update Thu May 25 20:07:23 2006 SIGOURE Benoit -*/ + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ #include <math.h> #include "libstr-reals.h" Index: src/lib/xrm/pp/xrm-formula.str =================================================================== --- src/lib/xrm/pp/xrm-formula.str (revision 91) +++ src/lib/xrm/pp/xrm-formula.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-formula rules Index: src/lib/xrm/pp/xrm-to-abox.str =================================================================== --- src/lib/xrm/pp/xrm-to-abox.str (revision 92) +++ src/lib/xrm/pp/xrm-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-to-abox imports libstratego-xtc Index: src/lib/xrm/pp/xrm-meta-for.str =================================================================== --- src/lib/xrm/pp/xrm-meta-for.str (revision 91) +++ src/lib/xrm/pp/xrm-meta-for.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-meta-for rules Index: src/lib/xrm/pp/xrm-meta-if.str =================================================================== --- src/lib/xrm/pp/xrm-meta-if.str (revision 91) +++ src/lib/xrm/pp/xrm-meta-if.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-meta-if rules Index: src/lib/xrm/pp/pp-xrm-to-box.str =================================================================== --- src/lib/xrm/pp/pp-xrm-to-box.str (revision 91) +++ src/lib/xrm/pp/pp-xrm-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-xrm-to-box imports Box Index: src/lib/xrm/pp/xrm-module.str =================================================================== --- src/lib/xrm/pp/xrm-module.str (revision 91) +++ src/lib/xrm/pp/xrm-module.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-module rules Index: src/lib/xrm/pp/xrm-constant.str =================================================================== --- src/lib/xrm/pp/xrm-constant.str (revision 91) +++ src/lib/xrm/pp/xrm-constant.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-constant rules Index: src/lib/xrm/pp/xrm-properties.str =================================================================== --- src/lib/xrm/pp/xrm-properties.str (revision 91) +++ src/lib/xrm/pp/xrm-properties.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-properties rules Index: src/lib/xrm/pp/Makefile.am =================================================================== --- src/lib/xrm/pp/Makefile.am (revision 92) +++ src/lib/xrm/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xrm/pp -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/xrm/pp/xrm-expression.str =================================================================== --- src/lib/xrm/pp/xrm-expression.str (revision 91) +++ src/lib/xrm/pp/xrm-expression.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-expression imports helpers Index: src/lib/xrm/pp/xrm-arrays.str =================================================================== --- src/lib/xrm/pp/xrm-arrays.str (revision 91) +++ src/lib/xrm/pp/xrm-arrays.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-arrays rules Index: src/lib/xrm/Makefile.am =================================================================== --- src/lib/xrm/Makefile.am (revision 91) +++ src/lib/xrm/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xrm -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Thu May 25 18:44:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/lib/Makefile.am =================================================================== --- src/lib/Makefile.am (revision 91) +++ src/lib/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:56:24 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = prism pctl xrm xpctl native Index: src/lib/prism/pp/prism-update.str =================================================================== --- src/lib/prism/pp/prism-update.str (revision 91) +++ src/lib/prism/pp/prism-update.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-update imports helpers Index: src/lib/prism/pp/prism-reward.str =================================================================== --- src/lib/prism/pp/prism-reward.str (revision 91) +++ src/lib/prism/pp/prism-reward.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-reward rules Index: src/lib/prism/pp/prism-module.str =================================================================== --- src/lib/prism/pp/prism-module.str (revision 91) +++ src/lib/prism/pp/prism-module.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-module imports helpers Index: src/lib/prism/pp/pp-prism-to-box.str =================================================================== --- src/lib/prism/pp/pp-prism-to-box.str (revision 91) +++ src/lib/prism/pp/pp-prism-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-prism-to-box imports Box Index: src/lib/prism/pp/prism-init.str =================================================================== --- src/lib/prism/pp/prism-init.str (revision 91) +++ src/lib/prism/pp/prism-init.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-init rules Index: src/lib/prism/pp/prism-formula.str =================================================================== --- src/lib/prism/pp/prism-formula.str (revision 91) +++ src/lib/prism/pp/prism-formula.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-formula rules Index: src/lib/prism/pp/prism-systemcomposition.str =================================================================== --- src/lib/prism/pp/prism-systemcomposition.str (revision 91) +++ src/lib/prism/pp/prism-systemcomposition.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-systemcomposition imports helpers Index: src/lib/prism/pp/prism-modulesfile.str =================================================================== --- src/lib/prism/pp/prism-modulesfile.str (revision 91) +++ src/lib/prism/pp/prism-modulesfile.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-modulesfile rules Index: src/lib/prism/pp/prism-modulesfiletype.str =================================================================== --- src/lib/prism/pp/prism-modulesfiletype.str (revision 91) +++ src/lib/prism/pp/prism-modulesfiletype.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-modulesfiletype rules Index: src/lib/prism/pp/helpers.str =================================================================== --- src/lib/prism/pp/helpers.str (revision 91) +++ src/lib/prism/pp/helpers.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module helpers strategies Index: src/lib/prism/pp/prism-conflicts.str =================================================================== --- src/lib/prism/pp/prism-conflicts.str (revision 91) +++ src/lib/prism/pp/prism-conflicts.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-conflicts rules Index: src/lib/prism/pp/prism-declaration.str =================================================================== --- src/lib/prism/pp/prism-declaration.str (revision 91) +++ src/lib/prism/pp/prism-declaration.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-declaration rules Index: src/lib/prism/pp/prism-constant.str =================================================================== --- src/lib/prism/pp/prism-constant.str (revision 91) +++ src/lib/prism/pp/prism-constant.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-constant rules Index: src/lib/prism/pp/prism-expression.str =================================================================== --- src/lib/prism/pp/prism-expression.str (revision 91) +++ src/lib/prism/pp/prism-expression.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-expression imports helpers Index: src/lib/prism/pp/prism-global.str =================================================================== --- src/lib/prism/pp/prism-global.str (revision 91) +++ src/lib/prism/pp/prism-global.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-global rules Index: src/lib/prism/pp/prism-to-abox.str =================================================================== --- src/lib/prism/pp/prism-to-abox.str (revision 92) +++ src/lib/prism/pp/prism-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-to-abox imports libstratego-xtc Index: src/lib/prism/pp/Makefile.am =================================================================== --- src/lib/prism/pp/Makefile.am (revision 92) +++ src/lib/prism/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/prism/pp -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/prism/pp/prism-command.str =================================================================== --- src/lib/prism/pp/prism-command.str (revision 91) +++ src/lib/prism/pp/prism-command.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-command rules Index: src/lib/prism/Makefile.am =================================================================== --- src/lib/prism/Makefile.am (revision 91) +++ src/lib/prism/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/prism -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Thu May 25 18:43:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/lib/xpctl/pp/pp-xpctl-to-box.str =================================================================== --- src/lib/xpctl/pp/pp-xpctl-to-box.str (revision 91) +++ src/lib/xpctl/pp/pp-xpctl-to-box.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module pp-xpctl-to-box imports Box Index: src/lib/xpctl/pp/xpctl-to-abox.str =================================================================== --- src/lib/xpctl/pp/xpctl-to-abox.str (revision 92) +++ src/lib/xpctl/pp/xpctl-to-abox.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xpctl-to-abox imports libstratego-xtc Index: src/lib/xpctl/pp/Makefile.am =================================================================== --- src/lib/xpctl/pp/Makefile.am (revision 92) +++ src/lib/xpctl/pp/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xpctl/pp -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Sat Jun 10 03:59:11 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk -include $(wildcard *.dep) Index: src/lib/xpctl/Makefile.am =================================================================== --- src/lib/xpctl/Makefile.am (revision 91) +++ src/lib/xpctl/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/lib/xpctl -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Sun Jun 11 02:56:41 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:56:52 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = pp Index: src/str/flatten-array-access.str =================================================================== --- src/str/flatten-array-access.str (revision 91) +++ src/str/flatten-array-access.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module flatten-array-access rules Index: src/str/check-meta-vars.str =================================================================== --- src/str/check-meta-vars.str (revision 91) +++ src/str/check-meta-vars.str (working copy) @@ -1,4 +1,23 @@ /* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ +/* ** This sub-module is used to check that meta-vars are correctly used ** throughout the program. This implies: ** - checking that they have been defined when they're used Index: src/str/array-decl-desugar.str =================================================================== --- src/str/array-decl-desugar.str (revision 91) +++ src/str/array-decl-desugar.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module is used to desugar array declarations into simple ** declarations. Index: src/str/inline.str =================================================================== --- src/str/inline.str (revision 91) +++ src/str/inline.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module inline strategies Index: src/str/xrm-to-prism.str =================================================================== --- src/str/xrm-to-prism.str (revision 91) +++ src/str/xrm-to-prism.str (working copy) @@ -1,4 +1,23 @@ /* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ +/* ** This sub-module does the real work of the front-end. It transforms the ** program into a valid PRISM AST. ** Index: src/str/log-timed.str =================================================================== --- src/str/log-timed.str (revision 91) +++ src/str/log-timed.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** Original code from strc (The Stratego Compiler) ** by Eelco Visser <visser(a)acm.org> Index: src/str/prism-desugar.str =================================================================== --- src/str/prism-desugar.str (revision 91) +++ src/str/prism-desugar.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module prism-desugar imports PRISM Index: src/str/eval-meta-code.str =================================================================== --- src/str/eval-meta-code.str (revision 91) +++ src/str/eval-meta-code.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module does all the meta-code evaluation and generation. ** XRM modules can contain meta for loops as well as meta if statements Index: src/str/signatures.str =================================================================== --- src/str/signatures.str (revision 91) +++ src/str/signatures.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module signatures /** Index: src/str/builtin-rand.str =================================================================== --- src/str/builtin-rand.str (revision 91) +++ src/str/builtin-rand.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module handles the XRM builtin rand. ** rand(x) generates a random value (at runtime) between 0 and x (inclusive) Index: src/str/type-check.str =================================================================== --- src/str/type-check.str (revision 91) +++ src/str/type-check.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module type-check strategies Index: src/str/xrm-front.str =================================================================== --- src/str/xrm-front.str (revision 92) +++ src/str/xrm-front.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module xrm-front imports Index: src/str/ice.str =================================================================== --- src/str/ice.str (revision 91) +++ src/str/ice.str (working copy) @@ -1,4 +1,23 @@ /* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ +/* ** Handle internal errors (things that should not happen) */ module ice Index: src/str/Makefile.am =================================================================== --- src/str/Makefile.am (revision 91) +++ src/str/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/str -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 17:59:35 2006 SIGOURE Benoit -## Last update Thu May 25 19:32:14 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/str/collect-static-const-decl.str =================================================================== --- src/str/collect-static-const-decl.str (revision 91) +++ src/str/collect-static-const-decl.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module is used to collect static constants and formulas ** declarations so they can be used in constant propagation. Index: src/str/properties-in-xrm.str =================================================================== --- src/str/properties-in-xrm.str (revision 91) +++ src/str/properties-in-xrm.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This module is about embedded XPCTL in XRM. */ Index: src/str/desugar-array-access.str =================================================================== --- src/str/desugar-array-access.str (revision 91) +++ src/str/desugar-array-access.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ /** ** This sub-module provides several strategies used to handle arrays in XRM ** and desugar them down to simple variables for PRISM. Index: src/str/reals.str =================================================================== --- src/str/reals.str (revision 92) +++ src/str/reals.str (working copy) @@ -1,3 +1,22 @@ +/* + * This file is part of XRM. + * Copyright (C) 2006 Benoit Sigoure. + * + * XRM 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 2 + * 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, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, + * USA. +\ */ module reals strategies Index: src/syn/collect-ebnf.rb =================================================================== --- src/syn/collect-ebnf.rb (revision 91) +++ src/syn/collect-ebnf.rb (working copy) @@ -1,13 +1,4 @@ #!/usr/bin/ruby -## -## collect-ebnf.rb for EBNF in /home/tsuna/work/xrm/trunk/src/syn -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Sat May 6 19:41:32 2006 SIGOURE Benoit -## Last update Sun May 7 13:47:22 2006 SIGOURE Benoit -## $version = "0.1" $verbose = nil # disable verbose by default Index: src/syn/pctl/Makefile.am =================================================================== --- src/syn/pctl/Makefile.am (revision 92) +++ src/syn/pctl/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn/pctl -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Sat Jun 10 00:17:31 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/syn/xrm/Makefile.am =================================================================== --- src/syn/xrm/Makefile.am (revision 92) +++ src/syn/xrm/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/XRM/trunk/src/syn/xrm -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/syn/Makefile.am =================================================================== --- src/syn/Makefile.am (revision 91) +++ src/syn/Makefile.am (working copy) @@ -1,11 +1,21 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:30:13 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + SUBDIRS = prism pctl xrm xpctl Index: src/syn/prism/Makefile.am =================================================================== --- src/syn/prism/Makefile.am (revision 92) +++ src/syn/prism/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn/prism -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/syn/xpctl/Makefile.am =================================================================== --- src/syn/xpctl/Makefile.am (revision 92) +++ src/syn/xpctl/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk/src/syn/xpctl -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Sat Jun 10 00:17:31 2006 SIGOURE Benoit -## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/Transformers.mk -include $(wildcard *.dep) Index: src/Makefile.am =================================================================== --- src/Makefile.am (revision 91) +++ src/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 16:57:03 2006 SIGOURE Benoit -## Last update Thu May 25 19:05:24 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk Index: tests/test-pp-prism.sh.in =================================================================== --- tests/test-pp-prism.sh.in (revision 91) +++ tests/test-pp-prism.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-prism.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-pp-xpctl.sh.in =================================================================== --- tests/test-pp-xpctl.sh.in (revision 91) +++ tests/test-pp-xpctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-xpctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-summary.sh =================================================================== --- tests/test-summary.sh (revision 91) +++ tests/test-summary.sh (working copy) @@ -1,13 +1,4 @@ #!/bin/sh -## -## test-summary.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Tue May 16 01:13:04 2006 SIGOURE Benoit -## Last update Tue May 16 01:49:52 2006 SIGOURE Benoit -## test -r test_summary || { echo "Cannot find ./test_summary"; exit 1; } Index: tests/test-parse-pctl.sh.in =================================================================== --- tests/test-parse-pctl.sh.in (revision 91) +++ tests/test-parse-pctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-pctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-xrm-front.sh.in =================================================================== --- tests/test-xrm-front.sh.in (revision 91) +++ tests/test-xrm-front.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-xrm.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/Makefile.am =================================================================== --- tests/Makefile.am (revision 91) +++ tests/Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 16:56:50 2006 SIGOURE Benoit -## Last update Sun Jun 11 03:40:50 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + #include $(top_srcdir)/config/toplevel.mk Index: tests/test-parse-xrm.sh.in =================================================================== --- tests/test-parse-xrm.sh.in (revision 91) +++ tests/test-parse-xrm.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-xrm.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-pp-pctl.sh.in =================================================================== --- tests/test-pp-pctl.sh.in (revision 91) +++ tests/test-pp-pctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-pctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-parse-prism.sh.in =================================================================== --- tests/test-parse-prism.sh.in (revision 91) +++ tests/test-parse-prism.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-prism.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-parse-xpctl.sh.in =================================================================== --- tests/test-parse-xpctl.sh.in (revision 91) +++ tests/test-parse-xpctl.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-parse-xpctl.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: tests/test-pp-xrm.sh.in =================================================================== --- tests/test-pp-xrm.sh.in (revision 91) +++ tests/test-pp-xrm.sh.in (working copy) @@ -1,13 +1,23 @@ #!/bin/sh -## -## test-pp-xrm.sh for xrm in /home/tsuna/work/xrm/trunk/tests -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:37:48 2006 SIGOURE Benoit -## Last update Mon May 8 23:37:55 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + test_cnt=0 test_pass=0 Index: configure.ac =================================================================== --- configure.ac (revision 92) +++ configure.ac (working copy) @@ -1,12 +1,22 @@ -## -## configure.ac for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 15:55:56 2006 SIGOURE Benoit -## Last update Fri Aug 4 18:50:35 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + ## --------------- ## ## Autotools setup ## Index: config/Makefile.am =================================================================== --- config/Makefile.am (revision 91) +++ config/Makefile.am (working copy) @@ -1,12 +1,21 @@ -## -## Makefile.am for Project in /home/tsuna/work/xrm/trunk/config -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Mon May 8 23:34:38 2006 SIGOURE Benoit -## Last update Tue Jun 20 17:41:06 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. EXTRA_DIST = \ Makefile.xt \ Index: Makefile.am =================================================================== --- Makefile.am (revision 93) +++ Makefile.am (working copy) @@ -1,12 +1,22 @@ -## -## Makefile.am for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 16:22:46 2006 SIGOURE Benoit -## Last update Sun Dec 3 14:38:45 2006 SIGOURE Benoit -## +# +# This file is part of XRM. +# Copyright (C) 2006 Benoit Sigoure. +# +# XRM 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 2 +# 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, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +# USA. + include $(top_srcdir)/config/toplevel.mk Index: bootstrap =================================================================== --- bootstrap (revision 91) +++ bootstrap (working copy) @@ -1,13 +1,4 @@ #!/bin/sh -## -## bootstrap for xrm in /home/tsuna/work/xrm/trunk -## -## Made by SIGOURE Benoit -## Mail <sigoure.benoit(a)lrde.epita.fr> -## -## Started on Thu Apr 27 16:02:29 2006 SIGOURE Benoit -## Last update Wed Jun 21 00:08:28 2006 SIGOURE Benoit -## set -e set -x -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

17 years, 4 months

XRM r93: Fix dist.

by SIGOURE Benoit

Repository: https://svn.lrde.epita.fr/svn/xrm ChangeLog: 2006-12-03 SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> Fix dist. * Makefile.am: Use xargs instead of -exec because -exec doesn't work (find tries to recurse in the .svn folders whereas they've been removed). Makefile.am | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) Index: Makefile.am =================================================================== --- Makefile.am (revision 92) +++ Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Thu Apr 27 16:22:46 2006 SIGOURE Benoit -## Last update Sun Aug 13 19:20:23 2006 SIGOURE Benoit +## Last update Sun Dec 3 14:38:45 2006 SIGOURE Benoit ## include $(top_srcdir)/config/toplevel.mk @@ -26,4 +26,4 @@ # Remove the .svn folders included in the tarball dist-hook: - find $(distdir) -type d -name '.svn' -exec rm -rf {} \; + find $(distdir) -type d -name '.svn' | xargs rm -rf -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

17 years, 4 months

XRM r92: Updates for Stratego/XT 0.17M2.

by SIGOURE Benoit

Repository: https://svn.lrde.epita.fr/svn/xrm ChangeLog: 2006-12-03 SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> Updates for Stratego/XT 0.17M2. * Makefile.am (dist-hook): Use find -exec instead of xargs. * configure.ac (AM_INIT_AUTOMAKE): Remove -Wall. * src/lib/native/Makefile.am: Fix CLEANFILES. * src/lib/prism/pp/Makefile.am, * src/lib/xpctl/pp/Makefile.am, * src/lib/xrm/pp/Makefile.am, * src/lib/pctl/pp/Makefile.am: Fix CLEANFILES and DISTCLEANFILES. * src/str/reals.str: Fix call to pow for integers. * src/syn/prism/Makefile.am, * src/syn/xpctl/Makefile.am, * src/syn/xrm/Makefile.am, * src/syn/pctl/Makefile.am: Generate the .sdf version of prefixed grammar. * src/str/xrm-front.str, * src/lib/pctl/pp/pctl-to-abox.str, * src/lib/prism/pp/prism-to-abox.str, * src/lib/xpctl/pp/xpctl-to-abox.str, * src/lib/xrm/pp/xrm-to-abox.str, * src/tools/parse-pctl.str, * src/tools/parse-prism.str, * src/tools/parse-xpctl.str, * src/tools/parse-xrm.str, * src/tools/pp-pctl.str, * src/tools/pp-prism.str, * src/tools/pp-xpctl.str, * src/tools/pp-xrm.str: Import libstratego-xtc and libstratego-lib instead of libxtclib. Makefile.am | 4 ++-- configure.ac | 4 ++-- src/lib/native/Makefile.am | 4 +++- src/lib/pctl/pp/Makefile.am | 4 +++- src/lib/pctl/pp/pctl-to-abox.str | 3 ++- src/lib/prism/pp/Makefile.am | 4 +++- src/lib/prism/pp/prism-to-abox.str | 3 ++- src/lib/xpctl/pp/Makefile.am | 4 +++- src/lib/xpctl/pp/xpctl-to-abox.str | 3 ++- src/lib/xrm/pp/Makefile.am | 4 +++- src/lib/xrm/pp/xrm-to-abox.str | 3 ++- src/str/reals.str | 1 + src/str/xrm-front.str | 1 + src/syn/pctl/Makefile.am | 4 ++-- src/syn/prism/Makefile.am | 4 ++-- src/syn/xpctl/Makefile.am | 4 ++-- src/syn/xrm/Makefile.am | 4 ++-- src/tools/parse-pctl.str | 3 ++- src/tools/parse-prism.str | 3 ++- src/tools/parse-xpctl.str | 3 ++- src/tools/parse-xrm.str | 3 ++- src/tools/pp-pctl.str | 1 + src/tools/pp-prism.str | 1 + src/tools/pp-xpctl.str | 1 + src/tools/pp-xrm.str | 1 + 25 files changed, 49 insertions(+), 25 deletions(-) Index: src/tools/parse-pctl.str =================================================================== --- src/tools/parse-pctl.str (revision 91) +++ src/tools/parse-pctl.str (working copy) @@ -1,6 +1,7 @@ module parse-pctl imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc parser-common Index: src/tools/parse-xrm.str =================================================================== --- src/tools/parse-xrm.str (revision 91) +++ src/tools/parse-xrm.str (working copy) @@ -1,6 +1,7 @@ module parse-xrm imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc parser-common Index: src/tools/pp-pctl.str =================================================================== --- src/tools/pp-pctl.str (revision 91) +++ src/tools/pp-pctl.str (working copy) @@ -3,6 +3,7 @@ module pp-pctl imports libstratego-lib + libstratego-xtc tool-doc libstratego-gpp pp-pctl-to-box Index: src/tools/parse-prism.str =================================================================== --- src/tools/parse-prism.str (revision 91) +++ src/tools/parse-prism.str (working copy) @@ -1,6 +1,7 @@ module parse-prism imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc parser-common Index: src/tools/parse-xpctl.str =================================================================== --- src/tools/parse-xpctl.str (revision 91) +++ src/tools/parse-xpctl.str (working copy) @@ -1,6 +1,7 @@ module parse-xpctl imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc parser-common Index: src/tools/pp-xrm.str =================================================================== --- src/tools/pp-xrm.str (revision 91) +++ src/tools/pp-xrm.str (working copy) @@ -3,6 +3,7 @@ module pp-xrm imports libstratego-lib + libstratego-xtc tool-doc libstratego-gpp pp-xrm-to-box Index: src/tools/pp-prism.str =================================================================== --- src/tools/pp-prism.str (revision 91) +++ src/tools/pp-prism.str (working copy) @@ -3,6 +3,7 @@ module pp-prism imports libstratego-lib + libstratego-xtc tool-doc libstratego-gpp pp-prism-to-box Index: src/tools/pp-xpctl.str =================================================================== --- src/tools/pp-xpctl.str (revision 91) +++ src/tools/pp-xpctl.str (working copy) @@ -3,6 +3,7 @@ module pp-xpctl imports libstratego-lib + libstratego-xtc tool-doc libstratego-gpp pp-xpctl-to-box Index: src/lib/pctl/pp/pctl-to-abox.str =================================================================== --- src/lib/pctl/pp/pctl-to-abox.str (revision 91) +++ src/lib/pctl/pp/pctl-to-abox.str (working copy) @@ -1,6 +1,7 @@ module pctl-to-abox imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc pp-pctl-to-box Index: src/lib/pctl/pp/Makefile.am =================================================================== --- src/lib/pctl/pp/Makefile.am (revision 91) +++ src/lib/pctl/pp/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Sat Jun 10 03:59:11 2006 SIGOURE Benoit -## Last update Sat Jun 10 04:00:21 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:17:20 2006 SIGOURE Benoit ## include $(top_srcdir)/config/toplevel.mk @@ -28,6 +28,8 @@ BUILT_SOURCES = pctl-parenthesize.str EXTRA_DIST = $(wildcard *.str) $(wildcard *.meta) +CLEANFILES = $(pctl_to_abox_SOURCES) $(BUILT_SOURCES) +DISTCLEANFILES = $(wildcard *.dep) pctl-parenthesize.str: $(top_builddir)/src/syn/pctl/PCTL.def $(SDF_TOOLS)/bin/sdf2parenthesize -i $< -o $@ \ Index: src/lib/native/Makefile.am =================================================================== --- src/lib/native/Makefile.am (revision 91) +++ src/lib/native/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Tue Jun 6 15:13:38 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:19:46 2006 SIGOURE Benoit ## include $(top_srcdir)/config/toplevel.mk @@ -24,6 +24,8 @@ BUILT_SOURCES = import-libstr-reals.c +CLEANFILES = $(BUILT_SOURCES) + import-libstr-reals.c: Makefile echo "/* code generated; used for strc --C-include \"'$@'\" */" > $@ for f in $(libstr_reals_la_SOURCES); do \ Index: src/lib/xrm/pp/xrm-to-abox.str =================================================================== --- src/lib/xrm/pp/xrm-to-abox.str (revision 91) +++ src/lib/xrm/pp/xrm-to-abox.str (working copy) @@ -1,6 +1,7 @@ module xrm-to-abox imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc pp-xrm-to-box Index: src/lib/xrm/pp/Makefile.am =================================================================== --- src/lib/xrm/pp/Makefile.am (revision 91) +++ src/lib/xrm/pp/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sun Jun 11 04:08:22 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit ## include $(top_srcdir)/config/toplevel.mk @@ -28,6 +28,8 @@ BUILT_SOURCES = xrm-parenthesize.str EXTRA_DIST = $(wildcard *.str) $(wildcard *.meta) +CLEANFILES = $(xrm_to_abox_SOURCES) $(BUILT_SOURCES) +DISTCLEANFILES = $(wildcard *.dep) xrm-parenthesize.str: $(top_builddir)/src/syn/xrm/XRM.def $(SDF_TOOLS)/bin/sdf2parenthesize -i $< -o $@ \ Index: src/lib/prism/pp/prism-to-abox.str =================================================================== --- src/lib/prism/pp/prism-to-abox.str (revision 91) +++ src/lib/prism/pp/prism-to-abox.str (working copy) @@ -1,6 +1,7 @@ module prism-to-abox imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc pp-prism-to-box Index: src/lib/prism/pp/Makefile.am =================================================================== --- src/lib/prism/pp/Makefile.am (revision 91) +++ src/lib/prism/pp/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Wed May 10 19:27:12 2006 SIGOURE Benoit -## Last update Sun Jun 11 02:59:46 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit ## include $(top_srcdir)/config/toplevel.mk @@ -27,6 +27,8 @@ BUILT_SOURCES = prism-parenthesize.str EXTRA_DIST = $(wildcard *.str) $(wildcard *.meta) +CLEANFILES = $(prism_to_abox_SOURCES) $(BUILT_SOURCES) +DISTCLEANFILES = $(wildcard *.dep) prism-parenthesize.str: $(top_builddir)/src/syn/prism/PRISM.def $(SDF_TOOLS)/bin/sdf2parenthesize -i $< -o $@ \ Index: src/lib/xpctl/pp/xpctl-to-abox.str =================================================================== --- src/lib/xpctl/pp/xpctl-to-abox.str (revision 91) +++ src/lib/xpctl/pp/xpctl-to-abox.str (working copy) @@ -1,6 +1,7 @@ module xpctl-to-abox imports - libxtclib // FIXME: import libstratego-xtc for strc 0.17 + libstratego-xtc + libstratego-lib tool-doc pp-xpctl-to-box Index: src/lib/xpctl/pp/Makefile.am =================================================================== --- src/lib/xpctl/pp/Makefile.am (revision 91) +++ src/lib/xpctl/pp/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Sat Jun 10 03:59:11 2006 SIGOURE Benoit -## Last update Sun Jun 11 04:08:59 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:21:02 2006 SIGOURE Benoit ## include $(top_srcdir)/config/toplevel.mk @@ -30,6 +30,8 @@ BUILT_SOURCES = xpctl-parenthesize.str EXTRA_DIST = $(wildcard *.str) $(wildcard *.meta) +CLEANFILES = $(xpctl_to_abox_SOURCES) $(BUILT_SOURCES) +DISTCLEANFILES = $(wildcard *.dep) xpctl-parenthesize.str: $(top_builddir)/src/syn/xpctl/XPCTL.def $(SDF_TOOLS)/bin/sdf2parenthesize -i $< -o $@ \ Index: src/str/xrm-front.str =================================================================== --- src/str/xrm-front.str (revision 91) +++ src/str/xrm-front.str (working copy) @@ -2,6 +2,7 @@ imports libstratego-xtc + libstratego-lib tool-doc xrm-to-prism prism-desugar Index: src/str/reals.str =================================================================== --- src/str/reals.str (revision 91) +++ src/str/reals.str (working copy) @@ -22,6 +22,7 @@ maxR = where((string-to-real, string-to-real); maxr) minR = where((string-to-real, string-to-real); minr) + powI = id pow = powR <+ powI /** Let (x, y) be a tuple of reals, this strategy returns the value of x Index: src/syn/pctl/Makefile.am =================================================================== --- src/syn/pctl/Makefile.am (revision 91) +++ src/syn/pctl/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Sat Jun 10 00:17:31 2006 SIGOURE Benoit -## Last update Sat Jun 10 00:36:56 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit ## include $(top_srcdir)/config/Transformers.mk @@ -37,7 +37,7 @@ $(wildcard *.dep) \ PCTL.{c,str,c.dep} \ PCTL-StartSymbols.def \ - PCTL-Prefixed.def + PCTL-Prefixed.sdf SDFS = \ PCTL-Filter.sdf \ Index: src/syn/xrm/Makefile.am =================================================================== --- src/syn/xrm/Makefile.am (revision 91) +++ src/syn/xrm/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Thu Jun 15 13:26:29 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit ## include $(top_srcdir)/config/Transformers.mk @@ -39,7 +39,7 @@ $(wildcard *.dep) \ XRM.{c,str,c.dep} \ XRM-StartSymbols.def \ - XRM-Prefixed.def + XRM-Prefixed.sdf SDFS = \ PRISM-to-XRM.sdf \ Index: src/syn/prism/Makefile.am =================================================================== --- src/syn/prism/Makefile.am (revision 91) +++ src/syn/prism/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Sat Jun 10 00:22:28 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit ## include $(top_srcdir)/config/Transformers.mk @@ -35,7 +35,7 @@ $(wildcard *.dep) \ PRISM.{c,str,c.dep} \ PRISM-StartSymbols.def \ - PRISM-Prefixed.def + PRISM-Prefixed.sdf SDFS = \ PRISM-Command.sdf \ Index: src/syn/xpctl/Makefile.am =================================================================== --- src/syn/xpctl/Makefile.am (revision 91) +++ src/syn/xpctl/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Sat Jun 10 00:17:31 2006 SIGOURE Benoit -## Last update Thu Jun 15 13:25:48 2006 SIGOURE Benoit +## Last update Sat Aug 5 10:22:28 2006 SIGOURE Benoit ## include $(top_srcdir)/config/Transformers.mk @@ -39,7 +39,7 @@ $(wildcard *.dep) \ XPCTL.{c,str,c.dep} \ XPCTL-StartSymbols.def \ - XPCTL-Prefixed.def + XPCTL-Prefixed.sdf SDFS = \ StrategoXPCTL.sdf \ Index: configure.ac =================================================================== --- configure.ac (revision 91) +++ configure.ac (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Thu Apr 27 15:55:56 2006 SIGOURE Benoit -## Last update Wed Jul 19 15:39:31 2006 SIGOURE Benoit +## Last update Fri Aug 4 18:50:35 2006 SIGOURE Benoit ## ## --------------- ## @@ -19,7 +19,7 @@ AC_CONFIG_MACRO_DIR([config]) AC_CONFIG_AUX_DIR([config]) -AM_INIT_AUTOMAKE([1.9.2 foreign -Wall]) +AM_INIT_AUTOMAKE([1.9.2 foreign]) ## -------------- ## ## Required Tools ## Index: Makefile.am =================================================================== --- Makefile.am (revision 91) +++ Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Thu Apr 27 16:22:46 2006 SIGOURE Benoit -## Last update Tue May 9 22:17:33 2006 SIGOURE Benoit +## Last update Sun Aug 13 19:20:23 2006 SIGOURE Benoit ## include $(top_srcdir)/config/toplevel.mk @@ -26,4 +26,4 @@ # Remove the .svn folders included in the tarball dist-hook: - find $(distdir) -type d -name '.svn' | xargs rm -rf + find $(distdir) -type d -name '.svn' -exec rm -rf {} \; -- SIGOURE Benoit aka Tsuna (SUSv3 compliant) _____ "On a long enough timeline, the survival rate /EPITA\ Promo 2008.CSI/ACU for everyone drops to zero" -- Jack.

17 years, 4 months

malign glycerin

by Elmer

However, even I was impressed by their behavior. for him it's really just an icing delivery device. Now realize my criticism or just observation is premised by whether you can ever honor too much those who have made the ultimate sacrifice for our nation. No help was available. aaaa *MAKU* IMMENSE COVERAGE *MAKU* Trade Date: Monday, December 4, 2006 Company Name: MAKEUP LIMITED (OTC BB:MAKU.OB) Symbol: MAKU Last Trade: $0.61 MAKU Target: $2 Why get in MAKU? Don't if "profit" is not in your vocabulary. JUST WATCH MAKU TRADE NEXT MONDAY, DECEMBER 4TH! aaaa Read all about it this month. Mary was about to tie it but Drew insisted, "No, I'll do it. Unlike before, Will was awake to see the festivities. Show Production by R. Unless you're a SoCal surfer, no one thinks you have an accent. I swear, every native Oklahoman I've met pronounces them the same. However, even I was impressed by their behavior. " He was so exhausted afterwards, he had to be carried home. The aggressively positioned system features a new specialty engine and capabilities. Show Production by R. Now realize my criticism or just observation is premised by whether you can ever honor too much those who have made the ultimate sacrifice for our nation. Read all about it this month. Mainly, we take care of ourselves. This was the case with most of my friends. It's an upscale restaurant and Drew and Will were the only children we saw there. I swear, every native Oklahoman I've met pronounces them the same. And really, you may not even be from the West at all, you could easily be from Florida or one of those big Southern cities like Dallas or Atlanta. This was the case with most of my friends. You have a good voice for TV and radio. Read all about it this month. To me all waters taste the same, bottled, tap or anything else. Oh, and the food was incredible. Everyone got to see Will for the first time while Drew got up close and personal feeding horses and cows. However, even I was impressed by their behavior. Will on the other hand was not pleased, but Drew helped calm him down and in no time, he was back to his happy self. This was the case with most of my friends. I can't describe it and I've never had anything like it since. He opened everything by himself and checked out every toy, puzzle, book and clothes before moving on to the next. For over an hour, Drew sledded down while I chased after and hauled his sled back up. possibly not even Drew. See how to balance out the differences with this chart. Afterwards, Pa "rested his eyes" while Will dreamed about the day he can have turkey first-hand. The aggressively positioned system features a new specialty engine and capabilities. I swear, every native Oklahoman I've met pronounces them the same. Click "continue reading" to see various stages and the final result. for him it's really just an icing delivery device. It's an upscale restaurant and Drew and Will were the only children we saw there. Many of us die at home surrounded by friends. Many of us die at home surrounded by friends. NET Framework makes handling transactions much simpler than previous techniques. I know many people with HIV. I can't describe it and I've never had anything like it since. And, if you want to say you can never honor them too much, I can only agree and the discussion ends here. Oh, and the food was incredible. Drew loved the ice cream and the icing. After getting into some warm dry clothes and having a snack, Drew almost immediately fell asleep for a long afternoon nap.

17 years, 4 months

snowbound

by Dejesus C. Sanders

Personally, I like IE way better than Firefox in every way - except that IE doesn't work the way a web browser should work. Your tax dollars - hard at work. They don't understand the "charset" part of a content-type header. By exploiting CODE blocks of perl, he avoids the need to reinvent a text manipulation language for the more complex transformations. We were able to scuba dive one of the shore divesthere. This is how good standards are created - by wrapping up a lot of people's hacks into one neat documented package. They are not being written with any idea of what standards are. The fear is that we may alter the trajectory of a comet that is already rather close to Earth. This has wreaked havoc with my ability to do things like "browse the web". Sounds like a good plan. So bring the whole family along. The fear is that we may alter the trajectory of a comet that is already rather close to Earth. In the east against the blazing shadow of a rising sun, there come four men striding in unison, each step a journey, against the terrible winds. In the east against the blazing shadow of a rising sun, there come four men striding in unison, each step a journey, against the terrible winds. In other words, I filter through too much junk before I read what I want, and I shouldn't have to do that. Because the truth is ugly and reveals the nature of war as ugly. Charleston gets its nickname,"Holy City" for its quantity of church steeples painting the downtownskyline. Sounds like a good plan. Japan, as a result of losing power in the Pacific, had become heavily reliant on oil imports. Or suppose the crater were to spew ejecta for a long period of time. in Tennessee had kind words for us, and motivation for those seeking help. This is more than enough reason for me to switch. But regulation needs to be targeted and intelligent - not blind. I am not choosing Firefox because it's a better browser. This is how good standards are created - by wrapping up a lot of people's hacks into one neat documented package. So bring the whole family along. Junior standing next to a giant ball of string and smiling. Sounds like a good plan. Golfers around the world call Myrtle Beach the "GolfMecca" and Hilton Head the "Golf Island". War is a sickness that has infected mankind since recorded history.

17 years, 5 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Projects December 2006