------------------------------------------------------------------------
r181 | hugues | 2010-12-15 21:05:56 +0100 (Wed, 15 Dec 2010) | 3 lines
Changed paths:
   M /TODO

	* Update list of action items

------------------------------------------------------------------------
r180 | hugues | 2010-12-15 21:03:13 +0100 (Wed, 15 Dec 2010) | 3 lines
Changed paths:
   M /support/generate_spark_config.adb

	* Update header

------------------------------------------------------------------------
r179 | hugues | 2010-12-15 21:01:52 +0100 (Wed, 15 Dec 2010) | 3 lines
Changed paths:
   M /private/headers_blackshield.adb

	* Update header

------------------------------------------------------------------------
r178 | hugues | 2010-12-15 20:58:47 +0100 (Wed, 15 Dec 2010) | 3 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-parser_stack.adb
   M /src/ebnf-parser_stack.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/ebnf.ads
   M /src/ebnf2idl.adb
   M /src/ebnf2idl.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/help.adb
   M /src/help.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/spark-character_handling.ads
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   M /src/spark-os_lib.adb
   M /src/spark-os_lib.ads
   M /src/spark-strings-maps-constants.ads
   M /src/spark-strings-maps.adb
   M /src/spark-strings-maps.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/spark-type_image.adb
   M /src/spark-type_image.ads
   M /src/spark.ads
   M /src/types.adb
   M /src/version.ads.in

	* Update headers

------------------------------------------------------------------------
r177 | hugues | 2010-12-15 20:58:16 +0100 (Wed, 15 Dec 2010) | 4 lines
Changed paths:
   M /src/bs.gpr
   M /src/gnat.adc

	* Remove some compilation options that are not compatible with
	  jvm-gnat

------------------------------------------------------------------------
r176 | hugues | 2010-12-15 20:56:32 +0100 (Wed, 15 Dec 2010) | 3 lines
Changed paths:
   M /src/Makefile.am

	* Add jgnat target to compile using the jvm-gnat toolchain

------------------------------------------------------------------------
r175 | hugues | 2010-12-15 20:55:41 +0100 (Wed, 15 Dec 2010) | 2 lines
Changed paths:
   M /src/spark-character_handling.adb
   M /src/types.ads

	* Remove 'Size annotations, update headers

------------------------------------------------------------------------
r174 | hugues | 2010-12-14 22:18:59 +0100 (Tue, 14 Dec 2010) | 3 lines
Changed paths:
   M /INSTALL
   M /doc/bs_ug.texi

	* Update compiler versions to use

------------------------------------------------------------------------
r173 | hugues | 2010-12-14 22:16:08 +0100 (Tue, 14 Dec 2010) | 4 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/spark-os_lib.adb
   M /src/spark-os_lib.ads

	* Reorganize Spark.OS_Lib to use a thin binding to C standard
	 library functions (fopen, fgetc, fputc, fclose, etc)

------------------------------------------------------------------------
r172 | hugues | 2010-12-14 22:15:08 +0100 (Tue, 14 Dec 2010) | 3 lines
Changed paths:
   M /src/ebnf2idl.adb
   M /src/ebnf2idl.ads

	* Minor adjustment to print command line in the header

------------------------------------------------------------------------
r171 | hugues | 2010-12-02 22:07:05 +0100 (Thu, 02 Dec 2010) | 3 lines
Changed paths:
   M /Makefile.am

	* Added lcov target

------------------------------------------------------------------------
r170 | hugues | 2010-12-02 22:05:55 +0100 (Thu, 02 Dec 2010) | 2 lines
Changed paths:
   A /support/Makefile.am

	* Added missing file

------------------------------------------------------------------------
r169 | hugues | 2010-12-02 22:05:20 +0100 (Thu, 02 Dec 2010) | 3 lines
Changed paths:
   A /testsuite
   A /testsuite/MANIFEST
   A /testsuite/Makefile.am
   A /testsuite/autotest.sh
   A /testsuite/command_line
   A /testsuite/command_line/MANIFEST
   A /testsuite/command_line/help.test
   A /testsuite/command_line/help.test.out
   A /testsuite/compare.py
   A /testsuite/ebnf2idl
   A /testsuite/ebnf2idl/MANIFEST
   A /testsuite/ebnf2idl/t.test
   A /testsuite/ebnf2idl/t.test.out
   A /testsuite/error
   A /testsuite/error/MANIFEST
   A /testsuite/error/error.test
   A /testsuite/error/error.test.out
   A /testsuite/file_too_big
   A /testsuite/file_too_big/MANIFEST
   A /testsuite/file_too_big/t.test
   A /testsuite/help
   A /testsuite/help/MANIFEST
   A /testsuite/help/help.test
   A /testsuite/help/help.test.out
   A /testsuite/missing_file
   A /testsuite/missing_file/MANIFEST
   A /testsuite/missing_file/t.test
   A /testsuite/missing_file/t.test.out
   A /testsuite/print_tree
   A /testsuite/print_tree/MANIFEST
   A /testsuite/print_tree/t.test
   A /testsuite/print_tree/t.test.out
   A /testsuite/version
   A /testsuite/version/MANIFEST
   A /testsuite/version/version.test
   A /testsuite/version/version.test.out

	* Added testsuite

------------------------------------------------------------------------
r168 | hugues | 2010-11-25 00:34:36 +0100 (Thu, 25 Nov 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   A /src/rules/lexer.rlu

	* Separate hidden (non-Spark code) from Load_File

------------------------------------------------------------------------
r167 | hugues | 2010-11-25 00:33:51 +0100 (Thu, 25 Nov 2010) | 3 lines
Changed paths:
   M /src/spark-os_lib.ads

	* Add pre-conditions to file manipulation functions

------------------------------------------------------------------------
r166 | hugues | 2010-11-24 22:25:03 +0100 (Wed, 24 Nov 2010) | 3 lines
Changed paths:
   M /src/namet.adb
   M /src/output.ads
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   M /src/spark-os_lib.adb

	* Minor reformatting

------------------------------------------------------------------------
r165 | hugues | 2010-11-24 22:23:44 +0100 (Wed, 24 Nov 2010) | 4 lines
Changed paths:
   M /src/output.adb

	* Move hidden (not Spark-compliant) code of Flush_Buffer into
	  Hidden_Flush_Buffer

------------------------------------------------------------------------
r164 | hugues | 2010-11-21 21:55:47 +0100 (Sun, 21 Nov 2010) | 2 lines
Changed paths:
   M /Makefile.am
   M /rpm/SPECS/blackshield.spec

	* Correct packaging information

------------------------------------------------------------------------
r163 | hugues | 2010-11-21 21:49:34 +0100 (Sun, 21 Nov 2010) | 2 lines
Changed paths:
   D /LICENSE
   M /private/headers_blackshield.adb
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-parser_stack.adb
   M /src/ebnf-parser_stack.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/ebnf.ads
   M /src/ebnf2idl.adb
   M /src/ebnf2idl.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/help.adb
   M /src/help.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/spark-character_handling.adb
   M /src/spark-character_handling.ads
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   M /src/spark-os_lib.adb
   M /src/spark-os_lib.ads
   M /src/spark-strings-maps-constants.ads
   M /src/spark-strings-maps.adb
   M /src/spark-strings-maps.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/spark-type_image.adb
   M /src/spark-type_image.ads
   M /src/spark.ads
   M /src/types.adb
   M /src/types.ads
   M /src/version.ads.in
   M /support/generate_spark_config.adb

	* Update license to GMGPL

------------------------------------------------------------------------
r162 | hugues | 2010-11-21 21:43:51 +0100 (Sun, 21 Nov 2010) | 2 lines
Changed paths:
   M /src/namet.adb
   M /src/namet.ads
   M /src/spark-type_image.ads

	* Minor reformatting

------------------------------------------------------------------------
r161 | hugues | 2010-11-16 07:36:41 +0100 (Tue, 16 Nov 2010) | 3 lines
Changed paths:
   M /Makefile.am
   M /configure.ac

	* Add testsuite subdir

------------------------------------------------------------------------
r160 | hugues | 2010-11-16 07:35:57 +0100 (Tue, 16 Nov 2010) | 3 lines
Changed paths:
   M /ebnf/wikipedia_example.ebnf
   M /ebnf/wikipedia_example.ebnf.out

	* Add new production for empty sequence

------------------------------------------------------------------------
r159 | hugues | 2010-11-15 23:08:15 +0100 (Mon, 15 Nov 2010) | 3 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/parser.adb

	* Remove dead code

------------------------------------------------------------------------
r158 | hugues | 2010-11-15 23:07:36 +0100 (Mon, 15 Nov 2010) | 3 lines
Changed paths:
   M /src/bs.gpr
   M /src/ebnf-parser_stack.adb

	* Minor reformatting

------------------------------------------------------------------------
r157 | hugues | 2010-11-15 21:49:30 +0100 (Mon, 15 Nov 2010) | 3 lines
Changed paths:
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb

	* Increase statement coverage

------------------------------------------------------------------------
r156 | hugues | 2010-11-15 21:31:29 +0100 (Mon, 15 Nov 2010) | 3 lines
Changed paths:
   M /src/ebnf2idl.adb

	* Use pragma Assert to detect ICE

------------------------------------------------------------------------
r155 | hugues | 2010-11-15 21:31:01 +0100 (Mon, 15 Nov 2010) | 3 lines
Changed paths:
   M /src/ebnf-nodes.adb
   M /src/parser.adb

	* Restore argument to dump tree

------------------------------------------------------------------------
r154 | hugues | 2010-11-15 18:40:38 +0100 (Mon, 15 Nov 2010) | 3 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/errors.ads
   M /src/gnat.adc
   M /src/help.ads
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   D /src/spark_io.adb
   D /src/spark_io.ads

	* Suppress references to SPARK_IO

------------------------------------------------------------------------
r153 | hugues | 2010-11-08 21:01:47 +0100 (Mon, 08 Nov 2010) | 3 lines
Changed paths:
   M /ROADMAP
   M /configure.ac

	* Bump release number to 0.0.3

------------------------------------------------------------------------
r152 | hugues | 2010-11-08 21:00:17 +0100 (Mon, 08 Nov 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   M /src/bs.gpr
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb
   M /src/parser.adb
   A /src/rules/nodes.rlu

	* All modules are now proven

------------------------------------------------------------------------
r151 | hugues | 2010-11-07 22:23:53 +0100 (Sun, 07 Nov 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-parser_stack.adb
   M /src/ebnf-parser_stack.ads
   M /src/parser.adb
   A /src/rules
   A /src/rules/parser_stack.rlu

	* EBNF.Parser is now fully proven

------------------------------------------------------------------------
r150 | hugues | 2010-11-03 21:26:48 +0100 (Wed, 03 Nov 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   A /src/ebnf-parser_stack.adb
   A /src/ebnf-parser_stack.ads
   M /src/parser.adb

	* Separate stacks from EBNF.Parser to ease theorem proving

------------------------------------------------------------------------
r149 | hugues | 2010-11-03 21:26:12 +0100 (Wed, 03 Nov 2010) | 3 lines
Changed paths:
   M /src/ebnf2idl.adb
   M /src/ebnf2idl.ads

	* Commit current work on the EBNF-to-IDL translator, 
	still a work in progress

------------------------------------------------------------------------
r148 | hugues | 2010-11-03 21:24:35 +0100 (Wed, 03 Nov 2010) | 3 lines
Changed paths:
   M /ebnf/ebnf.ebnf
   M /ebnf/ebnf.ebnf.out
   A /ebnf/iso_ebnf.ebnf

	* Adjust EBNF example; keep original EBNF file from standard

------------------------------------------------------------------------
r147 | hugues | 2010-09-13 18:39:22 +0200 (Mon, 13 Sep 2010) | 3 lines
Changed paths:
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/parser.adb

	* Prove some more functions

------------------------------------------------------------------------
r146 | hugues | 2010-08-31 23:14:48 +0200 (Tue, 31 Aug 2010) | 3 lines
Changed paths:
   M /src/Makefile.am

	* Do not delete ebnf-nodes.ad? in distclean

------------------------------------------------------------------------
r145 | hugues | 2010-08-31 23:14:06 +0200 (Tue, 31 Aug 2010) | 3 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb

        * Prove some more functions

------------------------------------------------------------------------
r144 | hugues | 2010-07-19 20:17:00 +0200 (Mon, 19 Jul 2010) | 2 lines
Changed paths:
   M /src/ebnf2idl.adb
   M /src/ebnf2idl.ads

	* Add header box

------------------------------------------------------------------------
r143 | hugues | 2010-07-19 20:15:11 +0200 (Mon, 19 Jul 2010) | 2 lines
Changed paths:
   M /src/Makefile.am

	* Add sparkflow rule to check for flow of information

------------------------------------------------------------------------
r142 | hugues | 2010-07-19 20:14:42 +0200 (Mon, 19 Jul 2010) | 3 lines
Changed paths:
   M /src/ebnf-printer.adb

	* Minor reformatting

------------------------------------------------------------------------
r141 | hugues | 2010-07-19 20:13:09 +0200 (Mon, 19 Jul 2010) | 3 lines
Changed paths:
   M /src/parser.adb

	* Correct main function to be provable

------------------------------------------------------------------------
r140 | hugues | 2010-07-19 20:12:34 +0200 (Mon, 19 Jul 2010) | 3 lines
Changed paths:
   M /src/namet.adb
   M /src/namet.ads

	* Complete the proof of all subprograms in Namet package

------------------------------------------------------------------------
r139 | hugues | 2010-07-19 20:11:49 +0200 (Mon, 19 Jul 2010) | 3 lines
Changed paths:
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads

	* Add pre-conditions to help proving some more fragments

------------------------------------------------------------------------
r138 | hugues | 2010-07-18 22:06:40 +0200 (Sun, 18 Jul 2010) | 2 lines
Changed paths:
   A /src/ebnf2idl.adb
   A /src/ebnf2idl.ads
   M /src/gnat.adc
   M /src/help.adb
   M /src/parser.adb

	* First draft of an EBNF-to-IDL mapping

------------------------------------------------------------------------
r137 | hugues | 2010-07-18 22:06:08 +0200 (Sun, 18 Jul 2010) | 3 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb

	* Minor reformatting

------------------------------------------------------------------------
r136 | hugues | 2010-07-18 22:05:19 +0200 (Sun, 18 Jul 2010) | 4 lines
Changed paths:
   M /src/namet.adb
   M /src/namet.ads

	* Add_SparkStr_To_Name_Buffer: new function;
	  Name_Find: correct handling of name collision

------------------------------------------------------------------------
r135 | hugues | 2010-07-18 22:03:49 +0200 (Sun, 18 Jul 2010) | 2 lines
Changed paths:
   M /ebnf/ebnf.ebnf
   M /ebnf/ebnf.ebnf.out

	* Update EBNF for EBNF

------------------------------------------------------------------------
r134 | hugues | 2010-07-18 22:03:20 +0200 (Sun, 18 Jul 2010) | 2 lines
Changed paths:
   M /private/build_rpm.sh
   M /rpm/SPECS/blackshield.spec

	* Update construction of RPM

------------------------------------------------------------------------
r133 | hugues | 2010-07-13 17:15:01 +0200 (Tue, 13 Jul 2010) | 2 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/spark-os_lib.adb

	* Minor reformatting

------------------------------------------------------------------------
r132 | hugues | 2010-07-13 17:14:39 +0200 (Tue, 13 Jul 2010) | 2 lines
Changed paths:
   M /src/errors.adb
   M /src/namet.adb

	* Prove some more functions

------------------------------------------------------------------------
r131 | hugues | 2010-07-12 21:22:42 +0200 (Mon, 12 Jul 2010) | 4 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-parser.adb
   M /src/spark-os_lib.adb
   M /src/spark-os_lib.ads

	* Rework Load_File function to avoid removing CR/LF, thus
	  preserving line information

------------------------------------------------------------------------
r130 | hugues | 2010-07-12 21:21:29 +0200 (Mon, 12 Jul 2010) | 2 lines
Changed paths:
   M /ebnf/lisp.ebnf

	* Minor reformatting

------------------------------------------------------------------------
r129 | hugues | 2010-07-06 19:17:17 +0200 (Tue, 06 Jul 2010) | 2 lines
Changed paths:
   M /support/generate_spark_config.adb

	* More information on standard types

------------------------------------------------------------------------
r128 | hugues | 2010-07-06 19:16:27 +0200 (Tue, 06 Jul 2010) | 3 lines
Changed paths:
   M /src/errors.ads
   M /src/spark-character_handling.ads
   M /src/spark-os_lib.adb
   M /src/spark-os_lib.ads
   M /src/spark-strings-maps-constants.ads

	* Extend support for SPARK.OS_Lib

------------------------------------------------------------------------
r127 | hugues | 2010-07-01 18:06:25 +0200 (Thu, 01 Jul 2010) | 8 lines
Changed paths:
   M /src/Makefile.am
   M /src/errors.adb
   M /src/errors.ads
   M /src/gnat.adc
   M /src/spark-character_handling.adb
   M /src/spark-character_handling.ads
   A /src/spark-os_lib.adb
   A /src/spark-os_lib.ads
   A /src/spark-strings-maps-constants.ads
   A /src/spark-strings-maps.adb
   A /src/spark-strings-maps.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/version.ads.in

	* Added a SPARK-compatible implementation for
	  Ada.Strings.Maps, Ada.Strings.Maps.Constants,
	  Ada.Character_Hnadling. Only a limited subset is supported
	  for now.

	* Import GNAT.OS_Lib.OS_Exit as a SPARK function

------------------------------------------------------------------------
r126 | hugues | 2010-06-29 19:13:48 +0200 (Tue, 29 Jun 2010) | 3 lines
Changed paths:
   M /src/spark_io.adb

	* Change Unchecked_Deallocation to Ada.Unchecked_Deallocation

------------------------------------------------------------------------
r125 | hugues | 2010-06-13 01:16:47 +0200 (Sun, 13 Jun 2010) | 4 lines
Changed paths:
   M /ROADMAP
   M /TODO
   M /configure.ac

	* Bump release number to 0.0.2 after completion of the first
	  milestone

------------------------------------------------------------------------
r124 | hugues | 2010-06-13 01:13:40 +0200 (Sun, 13 Jun 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/namet.adb
   M /src/parser.adb
   M /src/spark-command_line.ads

	* Suppress all flow errors

------------------------------------------------------------------------
r123 | hugues | 2010-06-11 13:56:53 +0200 (Fri, 11 Jun 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-lexer.adb

        * Prove some more elements

------------------------------------------------------------------------
r122 | hugues | 2010-06-10 20:37:49 +0200 (Thu, 10 Jun 2010) | 3 lines
Changed paths:
   M /src/namet.adb

        * Prove some more elements

------------------------------------------------------------------------
r121 | hugues | 2010-06-10 20:31:49 +0200 (Thu, 10 Jun 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   M /src/namet.adb

	* Prove some more elements

------------------------------------------------------------------------
r120 | hugues | 2010-06-10 15:18:53 +0200 (Thu, 10 Jun 2010) | 2 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/errors.adb
   M /src/errors.ads

        * Prove some more elements

------------------------------------------------------------------------
r119 | hugues | 2010-06-10 03:21:37 +0200 (Thu, 10 Jun 2010) | 3 lines
Changed paths:
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb
   M /src/errors.adb
   M /src/types.ads

        * Proved some more functions

------------------------------------------------------------------------
r118 | hugues | 2010-06-09 22:04:19 +0200 (Wed, 09 Jun 2010) | 3 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-parser.adb
   M /src/namet.ads

	* Prove some more elements

------------------------------------------------------------------------
r117 | hugues | 2010-06-08 22:42:28 +0200 (Tue, 08 Jun 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads

	* Complete annotations

------------------------------------------------------------------------
r116 | hugues | 2010-06-08 00:50:47 +0200 (Tue, 08 Jun 2010) | 3 lines
Changed paths:
   M /src/ebnf-lexer.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/parser.adb

	* Complete implementation of a stack-based parser for EBNF

------------------------------------------------------------------------
r115 | hugues | 2010-05-21 21:37:19 +0200 (Fri, 21 May 2010) | 3 lines
Changed paths:
   M /src/ebnf-parser.adb

	* Remove intermediat location variable whenever possible

------------------------------------------------------------------------
r114 | hugues | 2010-05-20 21:41:49 +0200 (Thu, 20 May 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-lexer.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/errors.ads
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/spark_io.ads
   M /src/types.ads

	* Order SPARK annotations alphabetically

------------------------------------------------------------------------
r113 | hugues | 2010-05-20 21:40:46 +0200 (Thu, 20 May 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb

	* Reorganized P_Syntax_Rule

------------------------------------------------------------------------
r112 | hugues | 2010-05-20 19:51:21 +0200 (Thu, 20 May 2010) | 2 lines
Changed paths:
   M /ebnf/wikipedia_example.ebnf
   M /ebnf/wikipedia_example.ebnf.out

	* Use ASCII instead of UTF-8

------------------------------------------------------------------------
r111 | hugues | 2010-05-18 22:25:30 +0200 (Tue, 18 May 2010) | 3 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads

	* First pass on rewriting parse functions to remove recursion

------------------------------------------------------------------------
r110 | hugues | 2010-05-18 22:24:37 +0200 (Tue, 18 May 2010) | 3 lines
Changed paths:
   M /src/locations.adb

	* Defend against the case where the namebuffer is empty

------------------------------------------------------------------------
r109 | hugues | 2010-05-18 22:23:55 +0200 (Tue, 18 May 2010) | 2 lines
Changed paths:
   M /src/spark-type_image.adb

	* Use correct bound for printing values

------------------------------------------------------------------------
r108 | hugues | 2010-05-18 22:22:36 +0200 (Tue, 18 May 2010) | 2 lines
Changed paths:
   M /src/errors.adb

	* Debug output

------------------------------------------------------------------------
r107 | hugues | 2010-05-18 22:21:48 +0200 (Tue, 18 May 2010) | 2 lines
Changed paths:
   M /src/parser.adb

	* Minor reformatting

------------------------------------------------------------------------
r106 | hugues | 2010-05-18 22:20:49 +0200 (Tue, 18 May 2010) | 2 lines
Changed paths:
   M /ebnf/ebnf.ebnf
   M /ebnf/ebnf.ebnf.out

	* Use ASCII instead of UTF-8

------------------------------------------------------------------------
r105 | hugues | 2010-05-18 22:19:31 +0200 (Tue, 18 May 2010) | 2 lines
Changed paths:
   M /support/generate_spark_config.adb

	* Minor reformatting

------------------------------------------------------------------------
r104 | hugues | 2010-05-10 19:26:39 +0200 (Mon, 10 May 2010) | 2 lines
Changed paths:
   M /private/headers_blackshield.adb
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/ebnf.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/help.adb
   M /src/help.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/spark-character_handling.adb
   M /src/spark-character_handling.ads
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/spark-type_image.adb
   M /src/spark-type_image.ads
   M /src/spark.ads
   M /src/spark_io.adb
   M /src/spark_io.ads
   M /src/types.adb
   M /src/types.ads

	* Add header box

------------------------------------------------------------------------
r103 | hugues | 2010-05-10 18:54:07 +0200 (Mon, 10 May 2010) | 3 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/ebnf.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/help.adb
   M /src/help.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/spark-character_handling.adb
   M /src/spark-character_handling.ads
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/spark-type_image.adb
   M /src/spark-type_image.ads
   M /src/spark.ads
   M /src/spark_io.adb
   M /src/spark_io.ads
   M /src/types.adb
   M /src/types.ads

	* Reverted previous patch

------------------------------------------------------------------------
r102 | hugues | 2010-05-10 18:40:59 +0200 (Mon, 10 May 2010) | 2 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/ebnf.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/help.adb
   M /src/help.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/spark-character_handling.adb
   M /src/spark-character_handling.ads
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/spark-type_image.adb
   M /src/spark-type_image.ads
   M /src/spark.ads
   M /src/spark_io.adb
   M /src/spark_io.ads
   M /src/types.adb
   M /src/types.ads
   M /support/generate_spark_config.adb

	* Add header box

------------------------------------------------------------------------
r101 | hugues | 2010-05-10 18:40:28 +0200 (Mon, 10 May 2010) | 2 lines
Changed paths:
   A /private/headers_blackshield.adb
   A /private/update_headers.sh

	* Scripts to update headers

------------------------------------------------------------------------
r100 | hugues | 2010-05-10 17:50:41 +0200 (Mon, 10 May 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/namet.adb
   M /src/namet.ads

	* Killed a few SPARK warnings

------------------------------------------------------------------------
r99 | hugues | 2010-05-10 17:43:23 +0200 (Mon, 10 May 2010) | 2 lines
Changed paths:
   M /src/help.adb

	* Mention LICENSE in on-line help

------------------------------------------------------------------------
r98 | hugues | 2010-05-10 17:38:44 +0200 (Mon, 10 May 2010) | 2 lines
Changed paths:
   A /LICENSE
   M /Makefile.am
   M /TODO

	* Added a LICENSE file

------------------------------------------------------------------------
r97 | hugues | 2010-05-10 17:27:56 +0200 (Mon, 10 May 2010) | 3 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/namet.adb
   M /src/parser.adb

	* First pass for a stack-based implementation of EBNF.Printer

------------------------------------------------------------------------
r96 | hugues | 2010-05-10 16:57:15 +0200 (Mon, 10 May 2010) | 3 lines
Changed paths:
   M /src/ebnf-printer.adb
   M /src/locations.adb
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/parser.adb
   M /src/types.ads

	* Proved some more program fragments

------------------------------------------------------------------------
r95 | hugues | 2010-04-30 20:34:17 +0200 (Fri, 30 Apr 2010) | 2 lines
Changed paths:
   M /src/parser.adb
   M /src/spark-strings.adb

        * Prove some more program fragments

------------------------------------------------------------------------
r94 | hugues | 2010-04-27 18:33:16 +0200 (Tue, 27 Apr 2010) | 2 lines
Changed paths:
   M /src/ebnf-lexer.adb
   M /src/ebnf-parser.ads
   M /src/output.ads
   M /src/spark-strings.adb
   M /src/spark-type_image.adb

	* Proved some more functions

------------------------------------------------------------------------
r93 | hugues | 2010-04-26 22:13:59 +0200 (Mon, 26 Apr 2010) | 2 lines
Changed paths:
   M /src/output.adb
   M /src/output.ads

	* Proof Decrement/Increment_Indentation functions

------------------------------------------------------------------------
r92 | hugues | 2010-04-25 22:24:08 +0200 (Sun, 25 Apr 2010) | 2 lines
Changed paths:
   D /src/character_handling.adb
   D /src/character_handling.ads
   M /src/ebnf-lexer.adb
   M /src/ebnf-lexer.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/namet.ads
   D /src/parser_utils.adb
   D /src/parser_utils.ads
   A /src/spark-character_handling.adb (from /src/character_handling.adb:90)
   A /src/spark-character_handling.ads (from /src/character_handling.ads:90)
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/spark_io.adb
   M /src/spark_io.ads

        * Reorganization of package hierarchy

------------------------------------------------------------------------
r91 | hugues | 2010-04-25 22:23:36 +0200 (Sun, 25 Apr 2010) | 2 lines
Changed paths:
   M /src/Makefile.am

	* Correct path to various files

------------------------------------------------------------------------
r90 | hugues | 2010-04-21 17:23:12 +0200 (Wed, 21 Apr 2010) | 2 lines
Changed paths:
   D /src/commonstring.adb
   D /src/commonstring.ads
   A /src/ebnf-lexer.adb (from /src/lexer.adb:89)
   A /src/ebnf-lexer.ads (from /src/lexer.ads:89)
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   D /src/lexer.adb
   D /src/lexer.ads
   M /src/parser.adb
   M /src/parser_utils.adb
   M /src/parser_utils.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads

	* Reorganization of package hierarchy

------------------------------------------------------------------------
r89 | hugues | 2010-04-20 11:30:00 +0200 (Tue, 20 Apr 2010) | 4 lines
Changed paths:
   M /Makefile.am
   M /configure.ac
   M /src/Makefile.am
   D /src/spark.config
   A /support/generate_spark_config.adb

	* Added Generate_SPARK_Config to generate target-specific
	  configuration file for SPARK Examiner

------------------------------------------------------------------------
r88 | hugues | 2010-04-19 22:42:27 +0200 (Mon, 19 Apr 2010) | 2 lines
Changed paths:
   M /src/ebnf-nodes.adb
   M /src/ebnf-printer.adb
   M /src/errors.adb
   M /src/locations.ads
   M /src/output.adb
   M /src/parser.adb
   M /src/spark-type_image.adb
   M /src/spark.config
   M /src/types.ads

	* Prove some more program fragments

------------------------------------------------------------------------
r87 | hugues | 2010-04-19 18:19:41 +0200 (Mon, 19 Apr 2010) | 2 lines
Changed paths:
   M /ROADMAP

	* Tentative roadmap

------------------------------------------------------------------------
r86 | hugues | 2010-04-19 18:19:23 +0200 (Mon, 19 Apr 2010) | 2 lines
Changed paths:
   M /TODO

	* More Todos

------------------------------------------------------------------------
r85 | hugues | 2010-04-19 18:18:56 +0200 (Mon, 19 Apr 2010) | 2 lines
Changed paths:
   M /src/ebnf-printer.adb
   M /src/errors.adb
   M /src/errors.ads
   M /src/output.adb
   M /src/spark-type_image.adb

	* Proof a few functions through careful rewritting of code

------------------------------------------------------------------------
r84 | hugues | 2010-04-19 18:18:15 +0200 (Mon, 19 Apr 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   A /src/spark.config

	* Added configuration file for SPARK Examiner

------------------------------------------------------------------------
r83 | hugues | 2010-04-16 21:26:01 +0200 (Fri, 16 Apr 2010) | 4 lines
Changed paths:
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/parser.adb

	* Reimplemented EBNF.Printer to use a stack, required to avoid
	 implicit recursion

------------------------------------------------------------------------
r82 | hugues | 2010-04-16 15:26:53 +0200 (Fri, 16 Apr 2010) | 2 lines
Changed paths:
   M /src/bs.gpr

	* Minor formatting

------------------------------------------------------------------------
r81 | hugues | 2010-04-15 18:58:39 +0200 (Thu, 15 Apr 2010) | 2 lines
Changed paths:
   A /ebnf/MANIFEST
   M /ebnf/Makefile.am
   A /ebnf/autotest.sh
   A /ebnf/c.ebnf.out
   A /ebnf/compare.py
   A /ebnf/ebnf.ebnf.out
   M /ebnf/idl.ebnf
   M /ebnf/lisp.ebnf
   M /ebnf/wikipedia_example.ebnf
   A /ebnf/wikipedia_example.ebnf.out

	* Added a testsuite

------------------------------------------------------------------------
r80 | hugues | 2010-04-15 18:55:37 +0200 (Thu, 15 Apr 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/errors.adb
   M /src/lexer.adb

	* Justify more flow errors

------------------------------------------------------------------------
r79 | hugues | 2010-04-13 23:04:56 +0200 (Tue, 13 Apr 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb

	* More SPARK'ification

------------------------------------------------------------------------
r78 | hugues | 2010-04-13 22:46:31 +0200 (Tue, 13 Apr 2010) | 3 lines
Changed paths:
   M /src/lexer.adb

	* Justify flow errors in Next_Token

------------------------------------------------------------------------
r77 | hugues | 2010-04-13 22:08:51 +0200 (Tue, 13 Apr 2010) | 2 lines
Changed paths:
   M /src/lexer.adb
   M /src/spark-type_image.adb

	* Justify flow errors in Load_File

------------------------------------------------------------------------
r76 | hugues | 2010-04-13 21:50:31 +0200 (Tue, 13 Apr 2010) | 2 lines
Changed paths:
   M /rpm/SPECS/blackshield.spec

	* Clean up RPM spec file

------------------------------------------------------------------------
r75 | hugues | 2010-04-13 19:02:34 +0200 (Tue, 13 Apr 2010) | 2 lines
Changed paths:
   A /ROADMAP
   M /TODO
   A /private
   A /private/build_rpm.sh
   A /private/do_packaging.sh
   A /rpm
   A /rpm/BUILD
   A /rpm/BUILDROOT
   A /rpm/RPMS
   A /rpm/RPMS/i586
   A /rpm/RPMS/noarch
   A /rpm/RPMS/x86_64
   A /rpm/SOURCES
   A /rpm/SPECS
   A /rpm/SPECS/blackshield.spec
   A /rpm/SRPMS
   A /rpm/tmp

	* Added support for RPM packaging

------------------------------------------------------------------------
r74 | hugues | 2010-04-12 22:50:00 +0200 (Mon, 12 Apr 2010) | 2 lines
Changed paths:
   M /src/namet.adb
   M /src/types.adb
   M /src/types.ads

	* (Int_Image): use Spark.Type_Image.Integer_Image

------------------------------------------------------------------------
r73 | hugues | 2010-04-12 22:45:42 +0200 (Mon, 12 Apr 2010) | 4 lines
Changed paths:
   M /src/spark-type_image.adb

	* (Integer_Image): also handle the case where parameter is
	  negative.

------------------------------------------------------------------------
r72 | hugues | 2010-04-12 18:28:47 +0200 (Mon, 12 Apr 2010) | 4 lines
Changed paths:
   M /src/gnat.adc
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/spark-type_image.adb
   M /src/spark-type_image.ads

	* Add Spark.Type_Image.Integer_Image, replace Integer'Image,
	  which is not supported by Spark
	* No_Recursion is now a supported restriction

------------------------------------------------------------------------
r71 | hugues | 2010-04-09 16:51:53 +0200 (Fri, 09 Apr 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/character_handling.adb
   M /src/character_handling.ads
   M /src/commonstring.adb
   M /src/commonstring.ads
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb
   M /src/errors.adb
   M /src/errors.ads
   M /src/help.adb
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/parser_utils.adb
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads
   M /src/spark_io.adb
   M /src/spark_io.ads
   M /src/types.adb
   M /src/types.ads

	* Add gnatpp option

------------------------------------------------------------------------
r70 | hugues | 2010-04-09 14:28:07 +0200 (Fri, 09 Apr 2010) | 2 lines
Changed paths:
   M /src/lexer.ads
   M /src/namet.adb
   M /src/spark.wrn

	* More SPARK'ification

------------------------------------------------------------------------
r69 | hugues | 2010-04-09 14:20:09 +0200 (Fri, 09 Apr 2010) | 2 lines
Changed paths:
   M /src/Makefile.am

	* Do not use gnatclean

------------------------------------------------------------------------
r68 | hugues | 2010-04-09 14:18:10 +0200 (Fri, 09 Apr 2010) | 2 lines
Changed paths:
   M /TODO
   M /configure.ac
   M /src/Makefile.am
   A /support/spark.m4

	* Macros to check SPARK is installed

------------------------------------------------------------------------
r67 | hugues | 2010-04-09 14:17:18 +0200 (Fri, 09 Apr 2010) | 2 lines
Changed paths:
   M /support/ada.m4

	* Remove useless macros

------------------------------------------------------------------------
r66 | hugues | 2010-04-09 11:44:22 +0200 (Fri, 09 Apr 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   A /src/spark.wrn

	* spark.wrn: Control warning displayed

------------------------------------------------------------------------
r65 | hugues | 2010-04-09 11:12:27 +0200 (Fri, 09 Apr 2010) | 2 lines
Changed paths:
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.ads
   M /src/lexer.ads
   M /src/namet.adb
   M /src/namet.ads

	* More SPARK'ification

------------------------------------------------------------------------
r64 | hugues | 2010-04-08 22:49:00 +0200 (Thu, 08 Apr 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb
   M /src/errors.ads
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/parser.adb
   M /src/parser_utils.ads

	* More SPARK'ification

------------------------------------------------------------------------
r63 | hugues | 2010-04-08 22:48:42 +0200 (Thu, 08 Apr 2010) | 2 lines
Changed paths:
   M /src/gnat.adc

	* Update list of supported restrictions

------------------------------------------------------------------------
r62 | hugues | 2010-04-08 22:48:13 +0200 (Thu, 08 Apr 2010) | 2 lines
Changed paths:
   M /doc/Makefile.am

	* Use different flags for help2man, for Linux/Fedora

------------------------------------------------------------------------
r61 | hugues | 2010-04-08 22:47:40 +0200 (Thu, 08 Apr 2010) | 2 lines
Changed paths:
   M /INSTALL

	* Minor reformatting

------------------------------------------------------------------------
r60 | hugues | 2010-04-08 22:47:11 +0200 (Thu, 08 Apr 2010) | 2 lines
Changed paths:
   M /TODO

	* Update list

------------------------------------------------------------------------
r59 | hugues | 2010-03-31 21:59:14 +0200 (Wed, 31 Mar 2010) | 2 lines
Changed paths:
   M /src/namet.adb
   M /src/namet.ads

	* More SPARK'ification

------------------------------------------------------------------------
r58 | hugues | 2010-03-31 21:12:43 +0200 (Wed, 31 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/namet.adb
   M /src/namet.ads
   M /src/parser.adb

	* More SPARK'ification

------------------------------------------------------------------------
r57 | hugues | 2010-03-30 18:37:02 +0200 (Tue, 30 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads

	* More SPARK'ification

------------------------------------------------------------------------
r56 | hugues | 2010-03-30 18:10:39 +0200 (Tue, 30 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-printer.ads
   M /src/parser.adb

	* More SPARK'ification

------------------------------------------------------------------------
r55 | hugues | 2010-03-29 22:14:38 +0200 (Mon, 29 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads
   M /src/ebnf-parser.adb

	* More SPARK'ification

------------------------------------------------------------------------
r54 | hugues | 2010-03-29 21:26:36 +0200 (Mon, 29 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-nodes.adb
   M /src/ebnf-nodes.ads

	* More SPARK'ification

------------------------------------------------------------------------
r53 | hugues | 2010-03-29 16:31:29 +0200 (Mon, 29 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am

	* Correct packaging

------------------------------------------------------------------------
r52 | hugues | 2010-03-27 22:27:01 +0100 (Sat, 27 Mar 2010) | 2 lines
Changed paths:
   A /src/ebnf-nodes.adb
   A /src/ebnf-nodes.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/parser_utils.adb

	* More SPARK'ification

------------------------------------------------------------------------
r51 | hugues | 2010-03-27 21:46:24 +0100 (Sat, 27 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/lexer.ads
   M /src/parser_utils.adb
   M /src/parser_utils.ads

	* More SPARK'ification

------------------------------------------------------------------------
r50 | hugues | 2010-03-26 16:45:53 +0100 (Fri, 26 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.ads
   M /src/parser.adb
   M /src/parser_utils.adb
   M /src/parser_utils.ads
   M /src/types.ads

	* More SPARK'ification

------------------------------------------------------------------------
r49 | hugues | 2010-03-25 20:58:27 +0100 (Thu, 25 Mar 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   D /src/ebnf-debug.adb
   D /src/ebnf-debug.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/parser.adb
   A /src/spark-type_image.adb
   A /src/spark-type_image.ads
   M /src/spark_io.adb
   M /src/spark_io.ads
   M /src/types.adb
   M /src/types.ads

	* More SPARK'ification

------------------------------------------------------------------------
r48 | hugues | 2010-03-22 21:40:03 +0100 (Mon, 22 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/character_handling.adb
   M /src/character_handling.ads
   M /src/ebnf-debug.adb
   M /src/ebnf-debug.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/errors.adb
   M /src/errors.ads
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.adb
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser_utils.ads
   M /src/spark-strings.adb
   M /src/spark-strings.ads

	* More SPARK'ification

------------------------------------------------------------------------
r47 | hugues | 2010-03-21 20:51:23 +0100 (Sun, 21 Mar 2010) | 2 lines
Changed paths:
   A /src/character_handling.adb
   A /src/character_handling.ads
   A /src/commonstring.adb
   A /src/commonstring.ads
   M /src/ebnf-debug.adb
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/errors.adb
   M /src/lexer.adb
   M /src/locations.adb
   M /src/locations.ads
   M /src/parser.adb
   M /src/spark-command_line.adb
   M /src/spark-command_line.ads
   A /src/spark-strings.adb
   A /src/spark-strings.ads
   M /src/spark_io.ads

	* More SPARK'ification

------------------------------------------------------------------------
r46 | hugues | 2010-03-18 21:34:28 +0100 (Thu, 18 Mar 2010) | 2 lines
Changed paths:
   M /INSTALL
   M /doc/PROBLEM-REPORT-FORM

	* More documentation clean-up

------------------------------------------------------------------------
r45 | hugues | 2010-03-18 21:19:48 +0100 (Thu, 18 Mar 2010) | 2 lines
Changed paths:
   M /doc/bs_ug.texi

	* Clean up documentation

------------------------------------------------------------------------
r44 | hugues | 2010-03-18 21:07:08 +0100 (Thu, 18 Mar 2010) | 3 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-debug.adb
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/gnat.adc
   M /src/help.adb
   M /src/help.ads
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   D /src/nutils.adb
   D /src/nutils.ads
   M /src/parser.adb
   M /src/parser_utils.adb
   M /src/spark-command_line.adb

        * More SPARK'ification 

------------------------------------------------------------------------
r43 | hugues | 2010-03-18 18:40:15 +0100 (Thu, 18 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-debug.adb
   M /src/ebnf-debug.ads
   M /src/ebnf-printer.adb
   M /src/errors.adb
   M /src/errors.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.ads
   M /src/output.adb
   M /src/parser.adb
   A /src/spark-command_line.adb
   A /src/spark-command_line.ads
   A /src/spark.ads
   M /src/spark_io.ads

        * More SPARK'ification 

------------------------------------------------------------------------
r42 | hugues | 2010-03-14 19:01:29 +0100 (Sun, 14 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-debug.adb
   M /src/ebnf-debug.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.ads
   M /src/ebnf.ads
   M /src/errors.ads
   M /src/gnat.adc
   A /src/help.adb
   A /src/help.ads
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/nutils.adb
   M /src/nutils.ads
   M /src/parser.adb
   M /src/parser_utils.adb
   M /src/spark_io.adb
   M /src/spark_io.ads
   M /src/types.ads

	* More SPARK'ification 

------------------------------------------------------------------------
r41 | hugues | 2010-03-12 17:00:52 +0100 (Fri, 12 Mar 2010) | 2 lines
Changed paths:
   M /Makefile.am
   M /TODO

	* More on packaging

------------------------------------------------------------------------
r40 | hugues | 2010-03-11 23:26:07 +0100 (Thu, 11 Mar 2010) | 2 lines
Changed paths:
   M /configure.ac
   M /doc/Makefile.am
   A /doc/PROBLEM-REPORT-FORM
   A /ebnf/Makefile.am
   M /src/Makefile.am
   M /src/bs.gpr

	* Packaging is now complete

------------------------------------------------------------------------
r39 | hugues | 2010-03-11 22:03:51 +0100 (Thu, 11 Mar 2010) | 2 lines
Changed paths:
   M /Makefile.am

	* Add ChangeLog to packaging

------------------------------------------------------------------------
r38 | hugues | 2010-03-11 21:59:52 +0100 (Thu, 11 Mar 2010) | 2 lines
Changed paths:
   M /TODO
   M /doc/Makefile.am
   M /src/Makefile.am

	* Take into account --enable-debug

------------------------------------------------------------------------
r37 | hugues | 2010-03-11 21:55:10 +0100 (Thu, 11 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/errors.adb
   M /src/errors.ads
   M /src/gnat.adc
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/nutils.ads
   M /src/output.adb
   M /src/parser.adb
   M /src/parser_utils.adb
   M /src/spark_io.ads

	* More code SPARK'ification

------------------------------------------------------------------------
r36 | hugues | 2010-03-10 21:37:29 +0100 (Wed, 10 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/bs.gpr
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.ads
   M /src/parser.adb

	* Reformatting

------------------------------------------------------------------------
r35 | hugues | 2010-03-10 21:06:50 +0100 (Wed, 10 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/bs.gpr
   M /src/gnat.adc
   D /src/mknodes.adb
   D /src/mknodes.gpr
   M /src/parser.adb
   D /src/parser.ads

	* Use parser.adb as main file

------------------------------------------------------------------------
r34 | hugues | 2010-03-10 19:09:40 +0100 (Wed, 10 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-debug.ads
   M /src/gnat.adc
   M /src/output.adb
   M /src/output.ads

	* Output is now SPARK-compatible

------------------------------------------------------------------------
r33 | hugues | 2010-03-09 17:35:14 +0100 (Tue, 09 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-debug.adb
   D /src/utils.adb
   D /src/utils.ads

	* Remove the Utils package

------------------------------------------------------------------------
r32 | hugues | 2010-03-08 20:22:41 +0100 (Mon, 08 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile.am
   M /src/ebnf-debug.adb
   M /src/ebnf-debug.ads
   M /src/nutils.ads
   M /src/types.ads
   M /src/utils.adb
   M /src/utils.ads

	* Clean dead code

------------------------------------------------------------------------
r31 | hugues | 2010-03-08 18:55:53 +0100 (Mon, 08 Mar 2010) | 2 lines
Changed paths:
   M /src/ebnf-debug.adb
   M /src/ebnf-debug.ads
   M /src/ebnf-parser.adb
   M /src/ebnf-parser.ads
   M /src/ebnf-printer.adb
   M /src/ebnf-printer.ads
   M /src/gnat.adc
   M /src/namet.adb
   M /src/namet.ads

	* Suppress all use clauses 

------------------------------------------------------------------------
r30 | hugues | 2010-03-08 13:24:46 +0100 (Mon, 08 Mar 2010) | 2 lines
Changed paths:
   M /TODO
   M /src/bs.gpr
   M /src/ebnf-debug.adb
   M /src/ebnf-printer.adb
   A /src/gnat.adc
   M /src/lexer.adb
   M /src/namet.adb
   M /src/output.adb
   M /src/parser.adb
   M /src/spark_io.adb
   M /src/types.ads

	* Add support for some Ada restrictions

------------------------------------------------------------------------
r29 | hugues | 2010-03-07 23:28:52 +0100 (Sun, 07 Mar 2010) | 2 lines
Changed paths:
   M /src/errors.adb
   M /src/errors.ads
   M /src/lexer.adb
   M /src/namet.adb
   M /src/nutils.adb
   M /src/nutils.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   M /src/parser_utils.adb
   M /src/parser_utils.ads

	* Remove some "use" clauses

------------------------------------------------------------------------
r28 | hugues | 2010-03-07 22:24:55 +0100 (Sun, 07 Mar 2010) | 3 lines
Changed paths:
   M /configure.ac
   M /doc/Makefile.am
   A /doc/bs_ug.texi
   A /doc/conventions.texi
   A /doc/gfdl.texi
   M /src/parser.adb

	* Completed stub for documentation

------------------------------------------------------------------------
r27 | hugues | 2010-03-07 21:37:42 +0100 (Sun, 07 Mar 2010) | 2 lines
Changed paths:
   M /Makefile.am
   M /configure.ac
   A /doc
   A /doc/Makefile.am
   A /doc/bs.css
   M /src/Makefile.am

	* Added manpages and corresponding HTML page

------------------------------------------------------------------------
r26 | hugues | 2010-03-07 19:33:20 +0100 (Sun, 07 Mar 2010) | 2 lines
Changed paths:
   M /Makefile.am
   M /TODO
   M /configure.ac
   D /src/Makefile
   A /src/Makefile.am

	* Integrate build to automake files

------------------------------------------------------------------------
r25 | hugues | 2010-03-07 19:24:02 +0100 (Sun, 07 Mar 2010) | 2 lines
Changed paths:
   M /src/Makefile
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/locations.adb
   M /src/locations.ads
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/output.ads
   M /src/parser.adb
   A /src/spark_io.adb
   A /src/spark_io.ads
   M /src/types.ads
   M /src/version.ads.in

	* Now use Spark_IO instead of GNAT.OS_Lib

------------------------------------------------------------------------
r24 | hugues | 2010-03-06 19:42:33 +0100 (Sat, 06 Mar 2010) | 3 lines
Changed paths:
   D /src/charset.adb
   D /src/charset.ads
   M /src/utils.adb
   M /src/utils.ads

	* Remove dead code

------------------------------------------------------------------------
r23 | hugues | 2010-03-04 19:18:14 +0100 (Thu, 04 Mar 2010) | 2 lines
Changed paths:
   M /src/bs.gpr
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb
   M /src/errors.adb
   M /src/errors.ads
   M /src/lexer.adb
   D /src/outfiles.adb
   D /src/outfiles.ads
   M /src/parser.adb
   M /src/parser_utils.adb

	* Remove dependencies on Ada.Text_IO

------------------------------------------------------------------------
r22 | hugues | 2010-03-04 19:17:42 +0100 (Thu, 04 Mar 2010) | 2 lines
Changed paths:
   A /ebnf/c.ebnf
   A /ebnf/idl.ebnf
   A /ebnf/java.ebnf

	* More EBNF examples

------------------------------------------------------------------------
r21 | hugues | 2010-03-03 19:24:07 +0100 (Wed, 03 Mar 2010) | 5 lines
Changed paths:
   A /TODO
   M /configure.ac
   M /src/namet.adb
   M /src/namet.ads
   M /src/output.adb
   M /src/parser.adb
   M /src/types.ads
   A /src/version.ads.in
   A /support/revision_utils.m4

	* (configure.ac, revision_utils.m4): continue packaging
	* (parser.adb, output.adb, types.ads, namet.ad?, version.ads.in):
	  code clean up
	* Added TODO

------------------------------------------------------------------------
r20 | hugues | 2010-03-02 05:50:09 +0100 (Tue, 02 Mar 2010) | 3 lines
Changed paths:
   M /AUTHORS
   M /INSTALL

	* Complete these files

------------------------------------------------------------------------
r19 | hugues | 2010-03-02 05:36:30 +0100 (Tue, 02 Mar 2010) | 3 lines
Changed paths:
   A /AUTHORS
   A /INSTALL
   A /Makefile.am
   A /NEWS
   A /README
   A /configure.ac
   A /support/ada.m4
   A /support/gnu_make.m4
   A /support/reconfig

	* Prepare packaging

------------------------------------------------------------------------
r18 | hugues | 2010-03-02 05:35:39 +0100 (Tue, 02 Mar 2010) | 3 lines
Changed paths:
   M /src/ebnf-parser.adb

	* Minor reformatting

------------------------------------------------------------------------
r17 | hugues | 2010-03-02 04:58:49 +0100 (Tue, 02 Mar 2010) | 4 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/ebnf-printer.adb
   M /src/lexer.adb
   M /src/parser.adb
   M /src/parser_utils.adb

	* Update printer to support (partially) Terminal_String,
	  remove debug traces from parser

------------------------------------------------------------------------
r16 | hugues | 2010-03-02 04:45:36 +0100 (Tue, 02 Mar 2010) | 2 lines
Changed paths:
   M /support/update_changelog.sh

	* Add sed script to remove multiple blank lines

------------------------------------------------------------------------
r15 | hugues | 2010-03-02 04:36:25 +0100 (Tue, 02 Mar 2010) | 2 lines
Changed paths:
   A /support
   A /support/update_changelog.sh

	* Added script to generate ChangeLog

------------------------------------------------------------------------
r14 | hugues | 2010-02-25 13:43:04 +0100 (Thu, 25 Feb 2010) | 3 lines
Changed paths:
   A /src/ebnf-printer.adb
   A /src/ebnf-printer.ads
   M /src/parser.adb

	* Added printer

------------------------------------------------------------------------
r13 | hugues | 2010-02-22 18:42:12 +0100 (Mon, 22 Feb 2010) | 3 lines
Changed paths:
   M /src/ebnf-parser.adb
   M /src/parser_utils.adb
   M /src/parser_utils.ads
   M /src/types.ads

	* Replace P_Generic generic with P_Tokens, not generic

------------------------------------------------------------------------
r12 | hugues | 2010-02-18 18:50:39 +0100 (Thu, 18 Feb 2010) | 3 lines
Changed paths:
   M /ebnf/ebnf.ebnf
   M /src/ebnf-nodes.idl
   M /src/ebnf-parser.adb
   M /src/lexer.adb
   M /src/lexer.ads
   M /src/parser_utils.adb
   M /src/parser_utils.ads

	* Added support for syntactic exception

------------------------------------------------------------------------
r11 | hugues | 2010-02-17 06:27:02 +0100 (Wed, 17 Feb 2010) | 3 lines
Changed paths:
   A /ebnf/canadian_postal_code.ebnf
   M /ebnf/lisp.ebnf
   A /ebnf/wikipedia_example.ebnf

	* More examples

------------------------------------------------------------------------
r10 | hugues | 2010-02-17 06:26:48 +0100 (Wed, 17 Feb 2010) | 3 lines
Changed paths:
   M /src/ebnf-nodes.idl
   M /src/ebnf-parser.adb
   M /src/lexer.adb

	* Added support for grouped sequence

------------------------------------------------------------------------
r9 | hugues | 2010-02-16 16:35:51 +0100 (Tue, 16 Feb 2010) | 3 lines
Changed paths:
   M /src/locations.adb
   M /src/locations.ads
   M /src/nutils.adb
   M /src/parser.adb
   M /src/parser.ads
   M /src/types.adb
   M /src/types.ads

	* Suppress dead code

------------------------------------------------------------------------
r8 | hugues | 2010-02-16 16:02:58 +0100 (Tue, 16 Feb 2010) | 3 lines
Changed paths:
   D /src/nodes.adb
   D /src/nodes.ads

	* Delete useless "nodes" package

------------------------------------------------------------------------
r7 | hugues | 2010-02-16 16:00:20 +0100 (Tue, 16 Feb 2010) | 3 lines
Changed paths:
   A /src/ebnf-parser.adb (from /src/ebnf_parser.adb:5)
   A /src/ebnf-parser.ads (from /src/ebnf_parser.ads:2)
   D /src/ebnf_parser.adb
   D /src/ebnf_parser.ads
   M /src/parser.adb

	* Regorganize packages hierarchy

------------------------------------------------------------------------
r6 | hugues | 2010-02-16 13:35:17 +0100 (Tue, 16 Feb 2010) | 2 lines
Changed paths:
   A /ebnf/lisp.ebnf
   M /src/parser.adb

	* Added LISP

------------------------------------------------------------------------
r5 | hugues | 2010-02-16 12:10:10 +0100 (Tue, 16 Feb 2010) | 3 lines
Changed paths:
   M /src/Makefile
   A /src/charset.adb
   A /src/charset.ads
   A /src/ebnf-debug.adb
   A /src/ebnf-debug.ads
   A /src/ebnf-nodes.idl
   A /src/ebnf.ads
   M /src/ebnf_parser.adb
   M /src/nutils.ads
   M /src/parser.adb
   M /src/parser_utils.adb
   A /src/utils.adb
   A /src/utils.ads

	* Added IDL nodes file, and use it wherever possible

------------------------------------------------------------------------
r4 | hugues | 2010-02-14 12:18:17 +0100 (Sun, 14 Feb 2010) | 3 lines
Changed paths:
   M /src/Makefile
   M /src/output.adb
   D /src/utils.adb
   D /src/utils.ads

	* More clean up

------------------------------------------------------------------------
r3 | hugues | 2010-02-14 09:46:11 +0100 (Sun, 14 Feb 2010) | 3 lines
Changed paths:
   D /src/charset.adb
   D /src/charset.ads
   M /src/lexer.adb
   M /src/lexer.ads

	* Code simplification and some reformatting

------------------------------------------------------------------------
r2 | hugues | 2010-02-14 03:16:58 +0100 (Sun, 14 Feb 2010) | 4 lines
Changed paths:
   M /ebnf/ebnf.ebnf
   A /src
   A /src/Makefile
   A /src/bs.gpr
   A /src/charset.adb
   A /src/charset.ads
   A /src/ebnf_parser.adb
   A /src/ebnf_parser.ads
   A /src/errors.adb
   A /src/errors.ads
   A /src/lexer.adb
   A /src/lexer.ads
   A /src/locations.adb
   A /src/locations.ads
   A /src/mknodes.adb
   A /src/mknodes.gpr
   A /src/namet.adb
   A /src/namet.ads
   A /src/nodes.adb
   A /src/nodes.ads
   A /src/nutils.adb
   A /src/nutils.ads
   A /src/objects
   A /src/outfiles.adb
   A /src/outfiles.ads
   A /src/output.adb
   A /src/output.ads
   A /src/parser.adb
   A /src/parser.ads
   A /src/parser_utils.adb
   A /src/parser_utils.ads
   A /src/types.adb
   A /src/types.ads
   A /src/utils.adb
   A /src/utils.ads

	* First version of hand-written EBNF parser works, still a few
          issues to correct

------------------------------------------------------------------------
r1 | hugues | 2009-12-08 21:21:33 +0100 (Tue, 08 Dec 2009) | 3 lines
Changed paths:
   A /ebnf
   A /ebnf/ebnf.ebnf

	* EBNF file for the EBNF language

------------------------------------------------------------------------
