diff --git a/LICENCE b/LICENCE new file mode 100644 index 000000000..538804282 --- /dev/null +++ b/LICENCE @@ -0,0 +1,26 @@ + +Copyright © 2008-2017 Katherine Flavel +All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + + 1. Redistributions of source code must retain the above copyright notice, + this list of conditions and the following disclaimer. + + 2. Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, +THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR +CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, +EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; +OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, +WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR +OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF +ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + diff --git a/bin/foldcase2sets.pl b/bin/foldcase2sets.pl index 407898950..945f296cc 100644 --- a/bin/foldcase2sets.pl +++ b/bin/foldcase2sets.pl @@ -1,5 +1,11 @@ #!/usr/bin/perl -w +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + use strict; use warnings; diff --git a/bin/unicode2lx.pl b/bin/unicode2lx.pl index 38c650440..b03c27677 100644 --- a/bin/unicode2lx.pl +++ b/bin/unicode2lx.pl @@ -1,5 +1,11 @@ #!/usr/bin/perl -w +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + use strict; use warnings; diff --git a/examples/fsm/a.fsm b/examples/fsm/a.fsm index 75fd71c67..4fa2ec775 100644 --- a/examples/fsm/a.fsm +++ b/examples/fsm/a.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 "a"; 2 -> 3 "b"; 3 -> 4 "c"; diff --git a/examples/fsm/adjacent.fsm b/examples/fsm/adjacent.fsm index 68217bc03..a4c999713 100644 --- a/examples/fsm/adjacent.fsm +++ b/examples/fsm/adjacent.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 '0'; 1 -> 2 'x'; diff --git a/examples/fsm/alts.fsm b/examples/fsm/alts.fsm index b497f71f5..3456f2c61 100644 --- a/examples/fsm/alts.fsm +++ b/examples/fsm/alts.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 'a'; 1 -> 3 'a'; 1 -> 2 'b'; diff --git a/examples/fsm/b.fsm b/examples/fsm/b.fsm index 52efb5c0c..6b635b6bb 100644 --- a/examples/fsm/b.fsm +++ b/examples/fsm/b.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 "abc"; 2 -> 1 "def"; diff --git a/examples/fsm/c.fsm b/examples/fsm/c.fsm index fb1fd15ab..34fd3ec6a 100644 --- a/examples/fsm/c.fsm +++ b/examples/fsm/c.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 5 -> 1 "a"; 1 -> 2 "b"; 1 -> 4 "c"; diff --git a/examples/fsm/c4.fsm b/examples/fsm/c4.fsm index 9c51080ce..9ab3c4427 100644 --- a/examples/fsm/c4.fsm +++ b/examples/fsm/c4.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # http://www.nikkostrom.com/publications/phd_thesis/thesis_c4.html 1 -> 2 's'; diff --git a/examples/fsm/d.fsm b/examples/fsm/d.fsm index 727962a47..11a5e03b8 100644 --- a/examples/fsm/d.fsm +++ b/examples/fsm/d.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 "a"; 2 -> 3 "a"; 3 -> 4 "b"; diff --git a/examples/fsm/dup.fsm b/examples/fsm/dup.fsm index 04cb8dc26..63b7eb189 100644 --- a/examples/fsm/dup.fsm +++ b/examples/fsm/dup.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 'a'; 1 -> 3 'a'; diff --git a/examples/fsm/e.fsm b/examples/fsm/e.fsm index b3b80c7bc..80deb0656 100644 --- a/examples/fsm/e.fsm +++ b/examples/fsm/e.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 'a'; 1 -> 3 'b'; 3 -> 4 'c'; diff --git a/examples/fsm/el.fsm b/examples/fsm/el.fsm index f5270fc4c..8b946b758 100644 --- a/examples/fsm/el.fsm +++ b/examples/fsm/el.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 'a'; 1 -> 2; diff --git a/examples/fsm/epsilon.fsm b/examples/fsm/epsilon.fsm index c35fb0c5c..2f8d56366 100644 --- a/examples/fsm/epsilon.fsm +++ b/examples/fsm/epsilon.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2; start: 1; diff --git a/examples/fsm/float.fsm b/examples/fsm/float.fsm index 14c258c35..7a49f4827 100644 --- a/examples/fsm/float.fsm +++ b/examples/fsm/float.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 '+'; 0 -> 1 '-'; 0 -> 1; diff --git a/examples/fsm/gvfsm.fsm b/examples/fsm/gvfsm.fsm index c1d5b5878..eb41c4fd0 100644 --- a/examples/fsm/gvfsm.fsm +++ b/examples/fsm/gvfsm.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # Adapted from http://graphviz.org/Gallery/directed/fsm.html 9 -> 2 "S(B)"; diff --git a/examples/fsm/id.fsm b/examples/fsm/id.fsm index 60a4ebfe8..a7af0e693 100644 --- a/examples/fsm/id.fsm +++ b/examples/fsm/id.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1->2; a->'b'; diff --git a/examples/fsm/la3.fsm b/examples/fsm/la3.fsm index f09e69354..5172e008a 100644 --- a/examples/fsm/la3.fsm +++ b/examples/fsm/la3.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # An example from LexicalPart3.pdf 11 -> 1; diff --git a/examples/fsm/labels.fsm b/examples/fsm/labels.fsm index f44e006e4..739b946f9 100644 --- a/examples/fsm/labels.fsm +++ b/examples/fsm/labels.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + #1 -> 2 '\\'; 1 -> 2 '.'; 1 -> 2 '|'; diff --git a/examples/fsm/lindyhop.fsm b/examples/fsm/lindyhop.fsm index 629a56419..114b9fccc 100644 --- a/examples/fsm/lindyhop.fsm +++ b/examples/fsm/lindyhop.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + closed -> open 'swingout'; open -> closed 'lindycircle'; open -> open 'lindyturn'; diff --git a/examples/fsm/min.fsm b/examples/fsm/min.fsm index 4578cdd56..0dbe3e93d 100644 --- a/examples/fsm/min.fsm +++ b/examples/fsm/min.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 'a'; 2 -> 2 'a'; diff --git a/examples/fsm/min2.fsm b/examples/fsm/min2.fsm index d921844a1..9e214e36e 100644 --- a/examples/fsm/min2.fsm +++ b/examples/fsm/min2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 2 'a'; 2 -> 2 'a'; 2 -> 3 'b'; diff --git a/examples/fsm/min3.fsm b/examples/fsm/min3.fsm index 0dce6164f..da02542b8 100644 --- a/examples/fsm/min3.fsm +++ b/examples/fsm/min3.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a state introduced by reversal 3 -> 3 'a'; diff --git a/examples/fsm/stray.fsm b/examples/fsm/stray.fsm index 48e980ee6..0c8661469 100644 --- a/examples/fsm/stray.fsm +++ b/examples/fsm/stray.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 1 -> 3 ; 4 -> 5 ; 6 -> 2 ; diff --git a/examples/fsm/todfa.fsm b/examples/fsm/todfa.fsm index 2f5136f71..f2d073c28 100644 --- a/examples/fsm/todfa.fsm +++ b/examples/fsm/todfa.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # test case for NFA->DFA # from a*|b diff --git a/examples/fsm/wulf.fsm b/examples/fsm/wulf.fsm index 8a566e25b..5bd4439c5 100644 --- a/examples/fsm/wulf.fsm +++ b/examples/fsm/wulf.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # courtesy wulf, ##c 1 -> 2 'h'; diff --git a/examples/fsm/wulf2.fsm b/examples/fsm/wulf2.fsm index 05554353c..6ff231546 100644 --- a/examples/fsm/wulf2.fsm +++ b/examples/fsm/wulf2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'h'; 1 -> 2 'x'; diff --git a/examples/glob/main.c b/examples/glob/main.c index b78a8051b..c8897b380 100644 --- a/examples/glob/main.c +++ b/examples/glob/main.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + /* * An example illustrating glob(3)-like matching for strings by internally * constructing a DFA from the given globing string. A similar technique diff --git a/examples/iprange/main.c b/examples/iprange/main.c index f16e8be7d..0b538cc4a 100644 --- a/examples/iprange/main.c +++ b/examples/iprange/main.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #define _GNU_SOURCE #include diff --git a/examples/lx/a.lx b/examples/lx/a.lx index d0a66ba71..1499a6ea7 100644 --- a/examples/lx/a.lx +++ b/examples/lx/a.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # Three types of pattern: # 'literal' - no escaping # "string" - with C-style escaped characters \r, \n etc diff --git a/examples/lx/scheme.lx b/examples/lx/scheme.lx index c1d36b0e3..9ebf85c88 100644 --- a/examples/lx/scheme.lx +++ b/examples/lx/scheme.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + /[ \t\n]+/; ';' .. '\n'; '#|' .. '#|'; diff --git a/examples/rpn/lexer.lx b/examples/rpn/lexer.lx index 150c61f9e..b68a9e0ee 100644 --- a/examples/rpn/lexer.lx +++ b/examples/rpn/lexer.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + /[ \t\n]+/; '#' .. "\n"; diff --git a/examples/rpn/main.c b/examples/rpn/main.c index 72ce2f210..9b54e7a17 100644 --- a/examples/rpn/main.c +++ b/examples/rpn/main.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/examples/words/main.c b/examples/words/main.c index ec039d7b3..88cfa74bc 100644 --- a/examples/words/main.c +++ b/examples/words/main.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/include/adt/bitmap.h b/include/adt/bitmap.h index 81472e450..8cf9d4909 100644 --- a/include/adt/bitmap.h +++ b/include/adt/bitmap.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef BITMAP_H #define BITMAP_H diff --git a/include/adt/path.h b/include/adt/path.h index 180220af8..ed193ab0e 100644 --- a/include/adt/path.h +++ b/include/adt/path.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef PATH_H #define PATH_H diff --git a/include/adt/priq.h b/include/adt/priq.h index 8e00ea802..fb391e43f 100644 --- a/include/adt/priq.h +++ b/include/adt/priq.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef PRIQ_H #define PRIQ_H diff --git a/include/adt/set.h b/include/adt/set.h index 554644717..f03af9df5 100644 --- a/include/adt/set.h +++ b/include/adt/set.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef SET_H #define SET_H diff --git a/include/adt/xalloc.h b/include/adt/xalloc.h index 6122e8105..0c3f36610 100644 --- a/include/adt/xalloc.h +++ b/include/adt/xalloc.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef XALLOC_H #define XALLOC_H diff --git a/include/fsm/bool.h b/include/fsm/bool.h index 9d93fcafe..10c3c9918 100644 --- a/include/fsm/bool.h +++ b/include/fsm/bool.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_BOOL_H #define FSM_BOOL_H diff --git a/include/fsm/cost.h b/include/fsm/cost.h index 5f1d2fed1..b1ab1e528 100644 --- a/include/fsm/cost.h +++ b/include/fsm/cost.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_COST_H #define FSM_COST_H diff --git a/include/fsm/fsm.h b/include/fsm/fsm.h index ab9a45132..e55ee6a7b 100644 --- a/include/fsm/fsm.h +++ b/include/fsm/fsm.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_H #define FSM_H diff --git a/include/fsm/options.h b/include/fsm/options.h index 435c72512..263327562 100644 --- a/include/fsm/options.h +++ b/include/fsm/options.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_OPTIONS_H #define FSM_OPTIONS_H diff --git a/include/fsm/out.h b/include/fsm/out.h index cf7348a20..bbd404498 100644 --- a/include/fsm/out.h +++ b/include/fsm/out.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_OUT_H #define FSM_OUT_H diff --git a/include/fsm/pred.h b/include/fsm/pred.h index 3bb13be08..de5d993cc 100644 --- a/include/fsm/pred.h +++ b/include/fsm/pred.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_PRED_H #define FSM_PRED_H diff --git a/include/fsm/walk.h b/include/fsm/walk.h index 01934cdfd..37e2aa63f 100644 --- a/include/fsm/walk.h +++ b/include/fsm/walk.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_WALK_H #define FSM_WALK_H diff --git a/include/re/group.h b/include/re/group.h index 629451950..1f8d64e3c 100644 --- a/include/re/group.h +++ b/include/re/group.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef RE_GROUP_H #define RE_GROUP_H diff --git a/include/re/re.h b/include/re/re.h index 4ceb70e40..5504360ca 100644 --- a/include/re/re.h +++ b/include/re/re.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef RE_H #define RE_H diff --git a/man/fsm.1/fsm.1.xml b/man/fsm.1/fsm.1.xml index c16e911f8..ea7b2a474 100644 --- a/man/fsm.1/fsm.1.xml +++ b/man/fsm.1/fsm.1.xml @@ -1,4 +1,11 @@ + + + diff --git a/man/fsm.5/fsm.5.xml b/man/fsm.5/fsm.5.xml index 3c82f0395..419f070ab 100644 --- a/man/fsm.5/fsm.5.xml +++ b/man/fsm.5/fsm.5.xml @@ -1,4 +1,11 @@ + + + diff --git a/man/fsm_lang.5fsm/fsm_lang.5fsm.xml b/man/fsm_lang.5fsm/fsm_lang.5fsm.xml index 2d313289b..a155f3990 100644 --- a/man/fsm_lang.5fsm/fsm_lang.5fsm.xml +++ b/man/fsm_lang.5fsm/fsm_lang.5fsm.xml @@ -1,4 +1,11 @@ + + + api"> c"> diff --git a/man/fsm_print.3/fsm_print.3.xml b/man/fsm_print.3/fsm_print.3.xml index 19fb9c3dc..d3393531b 100644 --- a/man/fsm_print.3/fsm_print.3.xml +++ b/man/fsm_print.3/fsm_print.3.xml @@ -1,4 +1,11 @@ + + + ]> diff --git a/man/glob.5re/glob.5re.xml b/man/glob.5re/glob.5re.xml index 1291d6668..a389bdd03 100644 --- a/man/glob.5re/glob.5re.xml +++ b/man/glob.5re/glob.5re.xml @@ -1,4 +1,11 @@ + + + r"> r1"> diff --git a/man/libfsm.3/libfsm.3.xml b/man/libfsm.3/libfsm.3.xml index 7f9e75425..7a1f0b5d3 100644 --- a/man/libfsm.3/libfsm.3.xml +++ b/man/libfsm.3/libfsm.3.xml @@ -1,4 +1,11 @@ + + + diff --git a/man/like.5re/like.5re.xml b/man/like.5re/like.5re.xml index a9e2ca0ea..150c44898 100644 --- a/man/like.5re/like.5re.xml +++ b/man/like.5re/like.5re.xml @@ -1,4 +1,11 @@ + + + r"> r1"> diff --git a/man/literal.5re/literal.5re.xml b/man/literal.5re/literal.5re.xml index ff3146d6e..858b761aa 100644 --- a/man/literal.5re/literal.5re.xml +++ b/man/literal.5re/literal.5re.xml @@ -1,4 +1,11 @@ + + + diff --git a/man/lx.1/lx.1.xml b/man/lx.1/lx.1.xml index 3d2b4bb5d..c377f5f77 100644 --- a/man/lx.1/lx.1.xml +++ b/man/lx.1/lx.1.xml @@ -1,4 +1,11 @@ + + + diff --git a/man/lx.5/lx.5.xml b/man/lx.5/lx.5.xml index f7f54e8a5..63c5d212f 100644 --- a/man/lx.5/lx.5.xml +++ b/man/lx.5/lx.5.xml @@ -1,4 +1,11 @@ + + + diff --git a/man/native.5re/native.5re.xml b/man/native.5re/native.5re.xml index 0364a65cf..8cf17c17e 100644 --- a/man/native.5re/native.5re.xml +++ b/man/native.5re/native.5re.xml @@ -1,4 +1,11 @@ + + + r"> r1"> diff --git a/man/re.1/re.1.xml b/man/re.1/re.1.xml index 08173f395..571a167ee 100644 --- a/man/re.1/re.1.xml +++ b/man/re.1/re.1.xml @@ -1,4 +1,11 @@ + + + diff --git a/man/re_dialect.5re/re_dialect.5re.xml b/man/re_dialect.5re/re_dialect.5re.xml index b8582e204..44024c61f 100644 --- a/man/re_dialect.5re/re_dialect.5re.xml +++ b/man/re_dialect.5re/re_dialect.5re.xml @@ -1,4 +1,11 @@ + + + diff --git a/share/bin/fsm.mp b/share/bin/fsm.mp index 99d9e12cd..7507dc0c8 100644 --- a/share/bin/fsm.mp +++ b/share/bin/fsm.mp @@ -1,3 +1,8 @@ +% +% Copyright 2008-2017 Katherine Flavel +% +% See LICENCE for the full copyright terms. +% pair S[]; % centre of state path S[].perim; % outline of state diff --git a/share/bin/hilight.gvpr b/share/bin/hilight.gvpr index e9f88710d..7deb4d6d1 100644 --- a/share/bin/hilight.gvpr +++ b/share/bin/hilight.gvpr @@ -1,5 +1,10 @@ #!/usr/bin/env gvpr -# $Id$ + +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# BEGIN { int i; diff --git a/share/bin/plain2mp.awk b/share/bin/plain2mp.awk index 249403c5a..3bd0e122e 100644 --- a/share/bin/plain2mp.awk +++ b/share/bin/plain2mp.awk @@ -1,5 +1,11 @@ #!/usr/bin/awk +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # TODO: # cat nfa.dot | dot -Tplain > /tmp/a.mp \ # && mpost -s 'outputformat="svg"' -s 'outputtemplate="%j-%c.%o"' /tmp/a.mp diff --git a/share/bin/test2xml.awk b/share/bin/test2xml.awk index fef517ea1..db252007e 100644 --- a/share/bin/test2xml.awk +++ b/share/bin/test2xml.awk @@ -1,5 +1,10 @@ #!/usr/bin/awk -# $Id$ + +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# BEGIN { print "" diff --git a/src/adt/bitmap.c b/src/adt/bitmap.c index 950a59b6a..7e8640a8c 100644 --- a/src/adt/bitmap.c +++ b/src/adt/bitmap.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/adt/path.c b/src/adt/path.c index 9106a9a18..669e42156 100644 --- a/src/adt/path.c +++ b/src/adt/path.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/adt/priq.c b/src/adt/priq.c index 99948ca52..70fd9b4c1 100644 --- a/src/adt/priq.c +++ b/src/adt/priq.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/adt/set.c b/src/adt/set.c index 3858d4b49..6a6074aae 100644 --- a/src/adt/set.c +++ b/src/adt/set.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/adt/xalloc.c b/src/adt/xalloc.c index feee78c41..4feb7a7f3 100644 --- a/src/adt/xalloc.c +++ b/src/adt/xalloc.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/fsm/lexer.lx b/src/fsm/lexer.lx index 7c04eab51..7aa8cf5bf 100644 --- a/src/fsm/lexer.lx +++ b/src/fsm/lexer.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + /[\r\n\t ]+/; "#" .. "\n"; diff --git a/src/fsm/main.c b/src/fsm/main.c index d8761ee27..03990380a 100644 --- a/src/fsm/main.c +++ b/src/fsm/main.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #define _POSIX_C_SOURCE 2 #include diff --git a/src/fsm/parser.act b/src/fsm/parser.act index 073d57fa5..0848b18ec 100644 --- a/src/fsm/parser.act +++ b/src/fsm/parser.act @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + /* TODO: this shouldn't exit(); implement panic mode instead */ %prefixes% diff --git a/src/fsm/parser.sid b/src/fsm/parser.sid index c08c447a8..469458d9f 100644 --- a/src/fsm/parser.sid +++ b/src/fsm/parser.sid @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + %types% char; diff --git a/src/libfsm/clone.c b/src/libfsm/clone.c index d3e3ae7ba..3de9770c4 100644 --- a/src/libfsm/clone.c +++ b/src/libfsm/clone.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/collate.c b/src/libfsm/collate.c index c1b576477..1e27868e4 100644 --- a/src/libfsm/collate.c +++ b/src/libfsm/collate.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/complement.c b/src/libfsm/complement.c index ba610217b..a703d8af5 100644 --- a/src/libfsm/complement.c +++ b/src/libfsm/complement.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/complete.c b/src/libfsm/complete.c index 861772583..565e8e98d 100644 --- a/src/libfsm/complete.c +++ b/src/libfsm/complete.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/concat.c b/src/libfsm/concat.c index 734750302..d5c7f1fd4 100644 --- a/src/libfsm/concat.c +++ b/src/libfsm/concat.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/cost/legible.c b/src/libfsm/cost/legible.c index 4c4a71b1e..5aebf84eb 100644 --- a/src/libfsm/cost/legible.c +++ b/src/libfsm/cost/legible.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/determinise.c b/src/libfsm/determinise.c index dc6b24aa4..a1946870d 100644 --- a/src/libfsm/determinise.c +++ b/src/libfsm/determinise.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/edge.c b/src/libfsm/edge.c index 4af4f25a7..b57e4257d 100644 --- a/src/libfsm/edge.c +++ b/src/libfsm/edge.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/empty.c b/src/libfsm/empty.c index 27bf07e37..9f28ec391 100644 --- a/src/libfsm/empty.c +++ b/src/libfsm/empty.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/end.c b/src/libfsm/end.c index bfea76d46..438142964 100644 --- a/src/libfsm/end.c +++ b/src/libfsm/end.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/equal.c b/src/libfsm/equal.c index cf2632e4d..115d3d81f 100644 --- a/src/libfsm/equal.c +++ b/src/libfsm/equal.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/example.c b/src/libfsm/example.c index f8712f061..d572055b0 100644 --- a/src/libfsm/example.c +++ b/src/libfsm/example.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/exec.c b/src/libfsm/exec.c index 05f2856ac..fd49041ab 100644 --- a/src/libfsm/exec.c +++ b/src/libfsm/exec.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/fsm.c b/src/libfsm/fsm.c index 016e9a1df..eaa4c9e88 100644 --- a/src/libfsm/fsm.c +++ b/src/libfsm/fsm.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/getc.c b/src/libfsm/getc.c index caf4ca06b..94fc9769b 100644 --- a/src/libfsm/getc.c +++ b/src/libfsm/getc.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/internal.h b/src/libfsm/internal.h index b44ab97f8..823375587 100644 --- a/src/libfsm/internal.h +++ b/src/libfsm/internal.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_INTERNAL_H #define FSM_INTERNAL_H diff --git a/src/libfsm/intersect.c b/src/libfsm/intersect.c index 815c70dbc..f7cc34649 100644 --- a/src/libfsm/intersect.c +++ b/src/libfsm/intersect.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/merge.c b/src/libfsm/merge.c index ebb14e976..87ce74685 100644 --- a/src/libfsm/merge.c +++ b/src/libfsm/merge.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/mergestates.c b/src/libfsm/mergestates.c index 9422c7b24..fc5e4813b 100644 --- a/src/libfsm/mergestates.c +++ b/src/libfsm/mergestates.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/minimise.c b/src/libfsm/minimise.c index 6a075db1b..276cc4d2e 100644 --- a/src/libfsm/minimise.c +++ b/src/libfsm/minimise.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/mode.c b/src/libfsm/mode.c index 3bef5b98b..7ed910e73 100644 --- a/src/libfsm/mode.c +++ b/src/libfsm/mode.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/out.c b/src/libfsm/out.c index 4aff0fdeb..1b615b129 100644 --- a/src/libfsm/out.c +++ b/src/libfsm/out.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/out.h b/src/libfsm/out.h index c828ef9c3..739199c50 100644 --- a/src/libfsm/out.h +++ b/src/libfsm/out.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef FSM_INTERNAL_OUT_H #define FSM_INTERNAL_OUT_H diff --git a/src/libfsm/out/api.c b/src/libfsm/out/api.c index eeb913e01..97b1826cd 100644 --- a/src/libfsm/out/api.c +++ b/src/libfsm/out/api.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/out/c.c b/src/libfsm/out/c.c index 2f27b6619..dcf38ea1a 100644 --- a/src/libfsm/out/c.c +++ b/src/libfsm/out/c.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/out/csv.c b/src/libfsm/out/csv.c index f079f52da..6e3b70599 100644 --- a/src/libfsm/out/csv.c +++ b/src/libfsm/out/csv.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/out/dot.c b/src/libfsm/out/dot.c index 7956e5843..4102c51cd 100644 --- a/src/libfsm/out/dot.c +++ b/src/libfsm/out/dot.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/out/fsm.c b/src/libfsm/out/fsm.c index e13c5e7cb..0bb256567 100644 --- a/src/libfsm/out/fsm.c +++ b/src/libfsm/out/fsm.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/out/json.c b/src/libfsm/out/json.c index 6ce5660cb..84b307fe8 100644 --- a/src/libfsm/out/json.c +++ b/src/libfsm/out/json.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/pred/hasincoming.c b/src/libfsm/pred/hasincoming.c index 61b9347a2..a519c6f99 100644 --- a/src/libfsm/pred/hasincoming.c +++ b/src/libfsm/pred/hasincoming.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/pred/hasoutgoing.c b/src/libfsm/pred/hasoutgoing.c index 73a5f8be3..9bb0e5cc7 100644 --- a/src/libfsm/pred/hasoutgoing.c +++ b/src/libfsm/pred/hasoutgoing.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/pred/isany.c b/src/libfsm/pred/isany.c index 955b9a1cf..33579ade8 100644 --- a/src/libfsm/pred/isany.c +++ b/src/libfsm/pred/isany.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/pred/iscomplete.c b/src/libfsm/pred/iscomplete.c index fcd102db2..8efee76bf 100644 --- a/src/libfsm/pred/iscomplete.c +++ b/src/libfsm/pred/iscomplete.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/pred/isdfa.c b/src/libfsm/pred/isdfa.c index 2e2781cbf..adc17ad05 100644 --- a/src/libfsm/pred/isdfa.c +++ b/src/libfsm/pred/isdfa.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/pred/isend.c b/src/libfsm/pred/isend.c index 51bd1e69d..281cef070 100644 --- a/src/libfsm/pred/isend.c +++ b/src/libfsm/pred/isend.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/reverse.c b/src/libfsm/reverse.c index 5489469ed..29a12f963 100644 --- a/src/libfsm/reverse.c +++ b/src/libfsm/reverse.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/shortest.c b/src/libfsm/shortest.c index 48aef1d8a..37301f445 100644 --- a/src/libfsm/shortest.c +++ b/src/libfsm/shortest.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/start.c b/src/libfsm/start.c index 86df91479..066219505 100644 --- a/src/libfsm/start.c +++ b/src/libfsm/start.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/state.c b/src/libfsm/state.c index 87f11f3e2..9af15ccce 100644 --- a/src/libfsm/state.c +++ b/src/libfsm/state.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/subgraph.c b/src/libfsm/subgraph.c index 84856984b..10d62f00e 100644 --- a/src/libfsm/subgraph.c +++ b/src/libfsm/subgraph.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/subtract.c b/src/libfsm/subtract.c index 326def7f2..9237b9a6a 100644 --- a/src/libfsm/subtract.c +++ b/src/libfsm/subtract.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/trim.c b/src/libfsm/trim.c index ada1376a5..c0f948c11 100644 --- a/src/libfsm/trim.c +++ b/src/libfsm/trim.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/union.c b/src/libfsm/union.c index 1c3e231b2..9c5ec44fa 100644 --- a/src/libfsm/union.c +++ b/src/libfsm/union.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libfsm/walk/all.c b/src/libfsm/walk/all.c index 98fab59cf..38dae3323 100644 --- a/src/libfsm/walk/all.c +++ b/src/libfsm/walk/all.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/walk/count.c b/src/libfsm/walk/count.c index 2ae873b4f..fddc472a7 100644 --- a/src/libfsm/walk/count.c +++ b/src/libfsm/walk/count.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/walk/has.c b/src/libfsm/walk/has.c index 3bd332e1b..b4bc80e51 100644 --- a/src/libfsm/walk/has.c +++ b/src/libfsm/walk/has.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libfsm/walk/reachable.c b/src/libfsm/walk/reachable.c index a6a6ddda7..3aa18e887 100644 --- a/src/libfsm/walk/reachable.c +++ b/src/libfsm/walk/reachable.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libre/dialect/comp.h b/src/libre/dialect/comp.h index 5ffe24990..4bb73567a 100644 --- a/src/libre/dialect/comp.h +++ b/src/libre/dialect/comp.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef RE_DIALECT_COMP_H #define RE_DIALECT_COMP_H diff --git a/src/libre/dialect/glob/lexer.lx b/src/libre/dialect/glob/lexer.lx index 340316d5d..c60229af6 100644 --- a/src/libre/dialect/glob/lexer.lx +++ b/src/libre/dialect/glob/lexer.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + '?' -> $any; '*' -> $many; diff --git a/src/libre/dialect/glob/parser.sid b/src/libre/dialect/glob/parser.sid index 58c7a29e8..90726a0a8 100644 --- a/src/libre/dialect/glob/parser.sid +++ b/src/libre/dialect/glob/parser.sid @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + %types% pos; diff --git a/src/libre/dialect/group.h b/src/libre/dialect/group.h index c60adfa86..d95aa6207 100644 --- a/src/libre/dialect/group.h +++ b/src/libre/dialect/group.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef RE_DIALECT_GROUP_H #define RE_DIALECT_GROUP_H diff --git a/src/libre/dialect/like/lexer.lx b/src/libre/dialect/like/lexer.lx index 719e84603..c1c75f1f0 100644 --- a/src/libre/dialect/like/lexer.lx +++ b/src/libre/dialect/like/lexer.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + '_' -> $any; '%' -> $many; diff --git a/src/libre/dialect/like/parser.sid b/src/libre/dialect/like/parser.sid index 9d29be564..12a1e9c50 100644 --- a/src/libre/dialect/like/parser.sid +++ b/src/libre/dialect/like/parser.sid @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + %types% pos; diff --git a/src/libre/dialect/literal/lexer.lx b/src/libre/dialect/literal/lexer.lx index e0e0bc679..f22dfdac3 100644 --- a/src/libre/dialect/literal/lexer.lx +++ b/src/libre/dialect/literal/lexer.lx @@ -1,2 +1,8 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + /./ -> $char; diff --git a/src/libre/dialect/literal/parser.sid b/src/libre/dialect/literal/parser.sid index 0ffeb038e..87aba1f3e 100644 --- a/src/libre/dialect/literal/parser.sid +++ b/src/libre/dialect/literal/parser.sid @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + %types% pos; diff --git a/src/libre/dialect/native/lexer.lx b/src/libre/dialect/native/lexer.lx index dc2823419..0c0b7bf04 100644 --- a/src/libre/dialect/native/lexer.lx +++ b/src/libre/dialect/native/lexer.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + '(' -> $opensub; ')' -> $closesub; diff --git a/src/libre/dialect/native/parser.sid b/src/libre/dialect/native/parser.sid index 6d624f688..1a83042f8 100644 --- a/src/libre/dialect/native/parser.sid +++ b/src/libre/dialect/native/parser.sid @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + /* * TODO: explain choices. e.g. i'm not permitting () or ||. only the root expression is allowed to be empty. * TODO: explain strategy: pass in x,y endpoints top-down diff --git a/src/libre/getc.c b/src/libre/getc.c index 82179bb6d..3548d1a07 100644 --- a/src/libre/getc.c +++ b/src/libre/getc.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/libre/internal.h b/src/libre/internal.h index 85a4e8cc7..2c2bf978c 100644 --- a/src/libre/internal.h +++ b/src/libre/internal.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef RE_INTERNAL_H #define RE_INTERNAL_H diff --git a/src/libre/parser.act b/src/libre/parser.act index 89c8d567d..c92591bb2 100644 --- a/src/libre/parser.act +++ b/src/libre/parser.act @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + %prefixes% terminal = TOK_; diff --git a/src/libre/perror.c b/src/libre/perror.c index 87eee143f..74914e600 100644 --- a/src/libre/perror.c +++ b/src/libre/perror.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libre/re.c b/src/libre/re.c index 6282bbadc..148abd141 100644 --- a/src/libre/re.c +++ b/src/libre/re.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/libre/strerror.c b/src/libre/strerror.c index b1dd85813..8781a056b 100644 --- a/src/libre/strerror.c +++ b/src/libre/strerror.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/lx/ast.c b/src/lx/ast.c index 77765194e..732479dfb 100644 --- a/src/lx/ast.c +++ b/src/lx/ast.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/lx/ast.h b/src/lx/ast.h index 339baf275..abf1b2851 100644 --- a/src/lx/ast.h +++ b/src/lx/ast.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef LX_AST_H #define LX_AST_H diff --git a/src/lx/lexer.lx b/src/lx/lexer.lx index 4003b4321..de2afc6c2 100644 --- a/src/lx/lexer.lx +++ b/src/lx/lexer.lx @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + /[\r\n\t ]+/; "#" .. "\n"; diff --git a/src/lx/main.c b/src/lx/main.c index 2d16f8cdc..d5863437b 100644 --- a/src/lx/main.c +++ b/src/lx/main.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #define _POSIX_C_SOURCE 2 #include diff --git a/src/lx/out.h b/src/lx/out.h index be1a97020..b5e229d73 100644 --- a/src/lx/out.h +++ b/src/lx/out.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef LX_INTERNAL_OUT_H #define LX_INTERNAL_OUT_H diff --git a/src/lx/out/c.c b/src/lx/out/c.c index fc90bf96e..9e5871d01 100644 --- a/src/lx/out/c.c +++ b/src/lx/out/c.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/lx/out/dot.c b/src/lx/out/dot.c index 2cd46e384..669037c4c 100644 --- a/src/lx/out/dot.c +++ b/src/lx/out/dot.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/lx/out/dump.c b/src/lx/out/dump.c index 0f18461ae..ab1fc09fb 100644 --- a/src/lx/out/dump.c +++ b/src/lx/out/dump.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/lx/out/h.c b/src/lx/out/h.c index bfaf90c42..b4790fb9a 100644 --- a/src/lx/out/h.c +++ b/src/lx/out/h.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/lx/out/zdot.c b/src/lx/out/zdot.c index 33d770205..9aa44948e 100644 --- a/src/lx/out/zdot.c +++ b/src/lx/out/zdot.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/lx/parser.act b/src/lx/parser.act index 39783b40b..0639e5329 100644 --- a/src/lx/parser.act +++ b/src/lx/parser.act @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + %prefixes% terminal = TOK_; diff --git a/src/lx/parser.sid b/src/lx/parser.sid index 6b190d174..722ef2acd 100644 --- a/src/lx/parser.sid +++ b/src/lx/parser.sid @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + %types% arr; diff --git a/src/lx/tokens.c b/src/lx/tokens.c index 5d6ced3d6..55bd2cc2a 100644 --- a/src/lx/tokens.c +++ b/src/lx/tokens.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/src/lx/tokens.h b/src/lx/tokens.h index 30f7b5fe2..3e7d2fca8 100644 --- a/src/lx/tokens.h +++ b/src/lx/tokens.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef LX_TOKENS_H #define LX_TOKENS_H diff --git a/src/lx/var.c b/src/lx/var.c index 6f6da4cf3..2e56d58dc 100644 --- a/src/lx/var.c +++ b/src/lx/var.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include #include diff --git a/src/lx/var.h b/src/lx/var.h index d6bdf087d..c48da817e 100644 --- a/src/lx/var.h +++ b/src/lx/var.h @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #ifndef LX_VAR_H #define LX_VAR_H diff --git a/src/re/main.c b/src/re/main.c index 84e0f03f8..58d4b70f1 100644 --- a/src/re/main.c +++ b/src/re/main.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #define _POSIX_C_SOURCE 2 #include diff --git a/tests/consolidate/in0.fsm b/tests/consolidate/in0.fsm index 8a85fca3f..4d3e860e5 100644 --- a/tests/consolidate/in0.fsm +++ b/tests/consolidate/in0.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + a -> 2 'a'; a -> 2 'c'; diff --git a/tests/determinise/conflict0.fsm b/tests/determinise/conflict0.fsm index fd601b507..64aa2c06f 100644 --- a/tests/determinise/conflict0.fsm +++ b/tests/determinise/conflict0.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; diff --git a/tests/determinise/conflict1.fsm b/tests/determinise/conflict1.fsm index 00ee51021..838f1ee5b 100644 --- a/tests/determinise/conflict1.fsm +++ b/tests/determinise/conflict1.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; diff --git a/tests/determinise/conflict2.fsm b/tests/determinise/conflict2.fsm index d0c2c0ac6..2642ba199 100644 --- a/tests/determinise/conflict2.fsm +++ b/tests/determinise/conflict2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 2 -> 6 'b'; diff --git a/tests/determinise/in0.fsm b/tests/determinise/in0.fsm index 9db0b9029..b6af5ba83 100644 --- a/tests/determinise/in0.fsm +++ b/tests/determinise/in0.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 2 -> 5 'b'; diff --git a/tests/determinise/in1.fsm b/tests/determinise/in1.fsm index 6f169a20b..ac3b4dcb7 100644 --- a/tests/determinise/in1.fsm +++ b/tests/determinise/in1.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 2 -> 5 'b'; diff --git a/tests/determinise/in2.fsm b/tests/determinise/in2.fsm index 93379f785..98d304c1e 100644 --- a/tests/determinise/in2.fsm +++ b/tests/determinise/in2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; diff --git a/tests/determinise/in3.fsm b/tests/determinise/in3.fsm index 205b95dd6..37e7967d5 100644 --- a/tests/determinise/in3.fsm +++ b/tests/determinise/in3.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 1 -> 2 'b'; diff --git a/tests/determinise/in4.fsm b/tests/determinise/in4.fsm index 93379f785..98d304c1e 100644 --- a/tests/determinise/in4.fsm +++ b/tests/determinise/in4.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; diff --git a/tests/determinise/in5.fsm b/tests/determinise/in5.fsm index 70d5f0566..da878cf56 100644 --- a/tests/determinise/in5.fsm +++ b/tests/determinise/in5.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 2 -> 6 'b'; diff --git a/tests/determinise/out0.fsm b/tests/determinise/out0.fsm index c4a0e01d4..64b2113be 100644 --- a/tests/determinise/out0.fsm +++ b/tests/determinise/out0.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'b'; 1 -> 3 'c'; diff --git a/tests/determinise/out1.fsm b/tests/determinise/out1.fsm index 1cf1da41f..4820cd8f3 100644 --- a/tests/determinise/out1.fsm +++ b/tests/determinise/out1.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'b'; diff --git a/tests/determinise/out2.fsm b/tests/determinise/out2.fsm index 422a040f0..4e5ef83b2 100644 --- a/tests/determinise/out2.fsm +++ b/tests/determinise/out2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'b'; diff --git a/tests/determinise/out3.fsm b/tests/determinise/out3.fsm index 8a8239f5f..b538bb759 100644 --- a/tests/determinise/out3.fsm +++ b/tests/determinise/out3.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 0 -> 1 'b'; 0 -> 2 'x'; diff --git a/tests/determinise/out4.fsm b/tests/determinise/out4.fsm index 422a040f0..4e5ef83b2 100644 --- a/tests/determinise/out4.fsm +++ b/tests/determinise/out4.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'b'; diff --git a/tests/determinise/out5.fsm b/tests/determinise/out5.fsm index 15d91b3dc..915ffe95e 100644 --- a/tests/determinise/out5.fsm +++ b/tests/determinise/out5.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'b'; diff --git a/tests/duplicate/d.c b/tests/duplicate/d.c index b7c381b4a..2d5d2673b 100644 --- a/tests/duplicate/d.c +++ b/tests/duplicate/d.c @@ -1,3 +1,9 @@ +/* + * Copyright 2008-2017 Katherine Flavel + * + * See LICENCE for the full copyright terms. + */ + #include #include diff --git a/tests/minimise/in0.fsm b/tests/minimise/in0.fsm index 9fdcd68a5..b1ef4bb71 100644 --- a/tests/minimise/in0.fsm +++ b/tests/minimise/in0.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a(b*) 0 -> 1 'a'; diff --git a/tests/minimise/in1.fsm b/tests/minimise/in1.fsm index ded3a903c..bf2b6ae33 100644 --- a/tests/minimise/in1.fsm +++ b/tests/minimise/in1.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (b|a*) 1 -> 2 'b'; diff --git a/tests/minimise/in10.fsm b/tests/minimise/in10.fsm index e2b01e0e9..6e405a3b4 100644 --- a/tests/minimise/in10.fsm +++ b/tests/minimise/in10.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (x|b)* 1 -> 3 'b'; diff --git a/tests/minimise/in11.fsm b/tests/minimise/in11.fsm index 8594d328c..5e32bb74c 100644 --- a/tests/minimise/in11.fsm +++ b/tests/minimise/in11.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # x*b 1 -> 3 'b'; diff --git a/tests/minimise/in12.fsm b/tests/minimise/in12.fsm index b712d95d0..f766221d7 100644 --- a/tests/minimise/in12.fsm +++ b/tests/minimise/in12.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (abc|def)+ 1 -> 2 'a'; diff --git a/tests/minimise/in13.fsm b/tests/minimise/in13.fsm index b40e1975e..1a8c3b9a6 100644 --- a/tests/minimise/in13.fsm +++ b/tests/minimise/in13.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (ab|cd|ef)* 1 -> 2 'a'; diff --git a/tests/minimise/in14.fsm b/tests/minimise/in14.fsm index e5253c1fd..f5ddd8f28 100644 --- a/tests/minimise/in14.fsm +++ b/tests/minimise/in14.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a+|b)a+ 1 -> 2 'a'; diff --git a/tests/minimise/in15.fsm b/tests/minimise/in15.fsm index b27019986..30816bf77 100644 --- a/tests/minimise/in15.fsm +++ b/tests/minimise/in15.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a*ba)+ 1 -> 1 'a'; diff --git a/tests/minimise/in16.fsm b/tests/minimise/in16.fsm index f2ab0b977..17f51fb24 100644 --- a/tests/minimise/in16.fsm +++ b/tests/minimise/in16.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a|cd)+e?x 1 -> 2 'c'; diff --git a/tests/minimise/in2.fsm b/tests/minimise/in2.fsm index eeab73f5e..276fe3733 100644 --- a/tests/minimise/in2.fsm +++ b/tests/minimise/in2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a*b+ 1 -> 3 'b'; diff --git a/tests/minimise/in3.fsm b/tests/minimise/in3.fsm index d81f1d8f5..d80185f0a 100644 --- a/tests/minimise/in3.fsm +++ b/tests/minimise/in3.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a+b+ 1 -> 2 'a'; diff --git a/tests/minimise/in4.fsm b/tests/minimise/in4.fsm index 671b2d202..d5dad243e 100644 --- a/tests/minimise/in4.fsm +++ b/tests/minimise/in4.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # [0-4]+c?2 1 -> 2 '0'; diff --git a/tests/minimise/in5.fsm b/tests/minimise/in5.fsm index f695c4874..03d087aa7 100644 --- a/tests/minimise/in5.fsm +++ b/tests/minimise/in5.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # [0-4]+c+2 1 -> 2 '0'; diff --git a/tests/minimise/in6.fsm b/tests/minimise/in6.fsm index d128139eb..5c30301fe 100644 --- a/tests/minimise/in6.fsm +++ b/tests/minimise/in6.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a|bb|ccc)* 1 -> 2 'a'; diff --git a/tests/minimise/in7.fsm b/tests/minimise/in7.fsm index 28eee12c5..d850af7da 100644 --- a/tests/minimise/in7.fsm +++ b/tests/minimise/in7.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a|bb)* 1 -> 2 'a'; diff --git a/tests/minimise/in8.fsm b/tests/minimise/in8.fsm index d1ba5de53..d5ffc2115 100644 --- a/tests/minimise/in8.fsm +++ b/tests/minimise/in8.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # [12]+c?2 1 -> 2 '1'; diff --git a/tests/minimise/in9.fsm b/tests/minimise/in9.fsm index 6b0beb456..2c3352445 100644 --- a/tests/minimise/in9.fsm +++ b/tests/minimise/in9.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a* 1 -> 2 'a'; diff --git a/tests/minimise/out0.fsm b/tests/minimise/out0.fsm index 1f268d93f..8dec0fb8a 100644 --- a/tests/minimise/out0.fsm +++ b/tests/minimise/out0.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a(b*) 0 -> 1 'a'; diff --git a/tests/minimise/out1.fsm b/tests/minimise/out1.fsm index ded3a903c..bf2b6ae33 100644 --- a/tests/minimise/out1.fsm +++ b/tests/minimise/out1.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (b|a*) 1 -> 2 'b'; diff --git a/tests/minimise/out10.fsm b/tests/minimise/out10.fsm index 2aa8defd2..c31a64ef9 100644 --- a/tests/minimise/out10.fsm +++ b/tests/minimise/out10.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (x|b)* 1 -> 1 'b'; diff --git a/tests/minimise/out11.fsm b/tests/minimise/out11.fsm index f8a47416c..710202322 100644 --- a/tests/minimise/out11.fsm +++ b/tests/minimise/out11.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # x*b 1 -> 1 'x'; diff --git a/tests/minimise/out12.fsm b/tests/minimise/out12.fsm index f3dcea91e..7d952f918 100644 --- a/tests/minimise/out12.fsm +++ b/tests/minimise/out12.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (abc|def)+ 1 -> 2 'a'; diff --git a/tests/minimise/out13.fsm b/tests/minimise/out13.fsm index 73771b656..302e42301 100644 --- a/tests/minimise/out13.fsm +++ b/tests/minimise/out13.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (ab|cd|ef)* 1 -> 2 'a'; diff --git a/tests/minimise/out14.fsm b/tests/minimise/out14.fsm index 3b4f199cb..e23c559ee 100644 --- a/tests/minimise/out14.fsm +++ b/tests/minimise/out14.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a+|b)a+ 1 -> 2 'a'; diff --git a/tests/minimise/out15.fsm b/tests/minimise/out15.fsm index a711c5cb3..3b1f983ea 100644 --- a/tests/minimise/out15.fsm +++ b/tests/minimise/out15.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a*ba)+ 1 -> 1 'a'; diff --git a/tests/minimise/out16.fsm b/tests/minimise/out16.fsm index d5dea77fc..28cacbac8 100644 --- a/tests/minimise/out16.fsm +++ b/tests/minimise/out16.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a|cd)+e?x 1 -> 2 'a'; diff --git a/tests/minimise/out2.fsm b/tests/minimise/out2.fsm index 01d1a03e0..639e3dc3b 100644 --- a/tests/minimise/out2.fsm +++ b/tests/minimise/out2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a*b+ 3 -> 3 'b'; diff --git a/tests/minimise/out3.fsm b/tests/minimise/out3.fsm index d81f1d8f5..d80185f0a 100644 --- a/tests/minimise/out3.fsm +++ b/tests/minimise/out3.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a+b+ 1 -> 2 'a'; diff --git a/tests/minimise/out4.fsm b/tests/minimise/out4.fsm index 4ef50efd2..ec8b18f60 100644 --- a/tests/minimise/out4.fsm +++ b/tests/minimise/out4.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # [0-4]+c?2 1 -> 2 '0'; diff --git a/tests/minimise/out5.fsm b/tests/minimise/out5.fsm index f695c4874..03d087aa7 100644 --- a/tests/minimise/out5.fsm +++ b/tests/minimise/out5.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # [0-4]+c+2 1 -> 2 '0'; diff --git a/tests/minimise/out6.fsm b/tests/minimise/out6.fsm index 4d53ecc72..278837ee4 100644 --- a/tests/minimise/out6.fsm +++ b/tests/minimise/out6.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a|bb|ccc)* 2 -> 2 'a'; diff --git a/tests/minimise/out7.fsm b/tests/minimise/out7.fsm index 3e7dc5730..cbb2f95be 100644 --- a/tests/minimise/out7.fsm +++ b/tests/minimise/out7.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # (a|bb)* 1 -> 1 'a'; diff --git a/tests/minimise/out8.fsm b/tests/minimise/out8.fsm index d1ba5de53..d5ffc2115 100644 --- a/tests/minimise/out8.fsm +++ b/tests/minimise/out8.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # [12]+c?2 1 -> 2 '1'; diff --git a/tests/minimise/out9.fsm b/tests/minimise/out9.fsm index d236e162b..73236db75 100644 --- a/tests/minimise/out9.fsm +++ b/tests/minimise/out9.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + # a* 1 -> 1 'a'; diff --git a/tests/reverse/in0.fsm b/tests/reverse/in0.fsm index 6d28f0b12..dbfdabae8 100644 --- a/tests/reverse/in0.fsm +++ b/tests/reverse/in0.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 2 -> 5 'b'; diff --git a/tests/reverse/in1.fsm b/tests/reverse/in1.fsm index 6f169a20b..ac3b4dcb7 100644 --- a/tests/reverse/in1.fsm +++ b/tests/reverse/in1.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 2 -> 5 'b'; diff --git a/tests/reverse/in10.fsm b/tests/reverse/in10.fsm index 4c24e24cb..a090e11ae 100644 --- a/tests/reverse/in10.fsm +++ b/tests/reverse/in10.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'x'; 1 -> 3 'y'; diff --git a/tests/reverse/in2.fsm b/tests/reverse/in2.fsm index 93379f785..98d304c1e 100644 --- a/tests/reverse/in2.fsm +++ b/tests/reverse/in2.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; diff --git a/tests/reverse/in3.fsm b/tests/reverse/in3.fsm index 205b95dd6..37e7967d5 100644 --- a/tests/reverse/in3.fsm +++ b/tests/reverse/in3.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 1 -> 2 'b'; diff --git a/tests/reverse/in4.fsm b/tests/reverse/in4.fsm index 93379f785..98d304c1e 100644 --- a/tests/reverse/in4.fsm +++ b/tests/reverse/in4.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; diff --git a/tests/reverse/in5.fsm b/tests/reverse/in5.fsm index 70d5f0566..da878cf56 100644 --- a/tests/reverse/in5.fsm +++ b/tests/reverse/in5.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1; 1 -> 2 'a'; 2 -> 6 'b'; diff --git a/tests/reverse/in6.fsm b/tests/reverse/in6.fsm index 73b343f9a..6a53e5dc0 100644 --- a/tests/reverse/in6.fsm +++ b/tests/reverse/in6.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; start: 0; diff --git a/tests/reverse/in7.fsm b/tests/reverse/in7.fsm index 1c5dbdc6c..8dc724b73 100644 --- a/tests/reverse/in7.fsm +++ b/tests/reverse/in7.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'x'; 1 -> 3 'y'; diff --git a/tests/reverse/in8.fsm b/tests/reverse/in8.fsm index 6de29d8ed..3be3b6213 100644 --- a/tests/reverse/in8.fsm +++ b/tests/reverse/in8.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'x'; 1 -> 3 'y'; diff --git a/tests/reverse/in9.fsm b/tests/reverse/in9.fsm index 4315d2da9..edbbe6598 100644 --- a/tests/reverse/in9.fsm +++ b/tests/reverse/in9.fsm @@ -1,3 +1,9 @@ +# +# Copyright 2008-2017 Katherine Flavel +# +# See LICENCE for the full copyright terms. +# + 0 -> 1 'a'; 1 -> 2 'x'; 1 -> 3 'y';