1 Ragel 6.6 - Dec 2, 2009
2 =======================
3 -Applied a number of patches from Diego Elio 'Flameeyes' Pettenò. Should not
4 be modifying the program's arguments. Problem raised by const correctness in
5 gcc 4.4. Other const-correctness and include fixes provided.
6 -Fixed improper allocation of checks in makeIncludePathChecks.
7 -Fixed segfault when there are no machine instantiations.
8 -Fixed wrong line directives. Line directives need to use the fileName stored
9 in the InputLoc stuctures from the parse trees, not the root source file,
10 otherwise actions in included files will have the wrong source file names
11 associated with the text.
12 -Made a number of build system improvements. We locate the DIST file using
13 $srcdir and source it. It contains settings for build_parsers and
14 build_manual. This allows the user of a dist to enable only one.
15 -Added missing files to doc/Makefile.am and examples/Makefile.am.
16 -Added checks for pdflatex and fig2dev is build_manual is on.
17 -Use automake --foreign so we don't need to have INSTALL and NEWS present.
18 -Ragel VIM syntax files should be specialized by host language. Updated the
20 -Just discovered that $srcdir is available in the configure script for
21 checking for the existence of a file created by dist-hook. This lets us write
22 a test that knows the difference between a distribution tarball and something
23 from the repos. The building of the parsers and the manual can now be
24 automatically turned off in a make dist tarball.
25 -Added examples to the dist. Added unicode2ragel.rb to EXTRA_DIST in contrib.
26 -Moved unicode2ragel.rb to the contrib directory.
28 Ragel 6.5 - May 18, 2009
29 ========================
30 -Fixed a bug in graphviz generation. Ragel crashed when using -V and -M and
31 the specified machine referenced another machine that wasn't included in the
33 -The name "CS" is in use on OpenSolaris, changed to vCS to ease compiling
35 -Converted to automake.
36 -REALLY fixed a bug that was intended to be fixed in 6.4:
37 Fixed a problem reading hex numbers that have the high bit set when the
38 alphabet is signed and we are on 64 bit. This was reported by _why. The
39 fix was provided by Wialliam Morgan. The literal 0xffffffff was used for
40 a fully set long when -1L should be used instead.
41 A null patch (whitespace changes) must have gotten checked after I was
42 testing with and without the critical one-line patch and I forgot to enable
43 make sure it was enabled in the final checkin version.
45 Ragel 6.4 - Mar 22, 2009
46 ========================
47 -Moved back to a single executable. The old intermediate format can still be
48 generated using the -x option. Ragel was split into frontend and backend
49 programs in version 5.0. This was done to encourage interoperability with
50 other tools. Since then, ragel has been made to work with qfsm, with ragel
51 producing the intermediate format and qfsm consuming it. However, there has
52 been no use of Ragel as a consumer of state machine data, with Ragel used as
53 a code generator for DFAs. This is not surprising given that much of the
54 complexity of Ragel is in the frontend, where the regular language to DFA
55 compilation happens. Since the full benefits of the split have not
56 materialized, and the split increases the complexity for users, Ragel has
57 been made once again into a single executable.
58 -Applied a fix to the documentation Makefile from John D. Mitchell.
59 -Use CXXFLAGS instead of CFLAGS for C++ compiling. Patch from Diego
61 -Added support for DESTDIR variable. Patch from Diego 'Flameeyes' Pettenò.
62 -Added a script called unicode2ragel.rb for generating unicode machines to
63 the examples directory. From Rakan El-Khalil.
64 -Fixed a copy-paste error in the documentation that was reported by Jose
66 -Added three new write commands:
70 These generate a reference to the start, first final and error state. When
71 there are many different machine specifications in one file it is easy to
72 get the prefix for these wrong (especially when you do a lot of copy-pasting
73 of boilerplate). The problem can be avoided by using write commands.
74 -Fixed a problem reading hex numbers that have the high bit set when the
75 alphabet is signed and we are on 64 bit. This was reported by _why. The fix
76 was provided by Wialliam Morgan. The literal 0xffffffff was used for a fully
77 set long when -1L should be used instead.
79 Ragel 6.3 - Aug 29, 2008
80 ========================
81 -Fixed an assertion that is too strong. In the condition code we need to copy
82 transitions that have non-empty lmActionTable arrays so we don't assert
83 emptiness in the constructor. Lift out the assertion and copy the array in
85 -Fixed and improved multiple include prevention. We now track the entire
86 include history of a parser state to prevent duplicates.
87 -Fixed crash on failed lookup of goto/call/etc target.
89 Ragel 6.2 - May 9, 2008
90 =======================
91 -Bug fix: The lm_switch actions needs to set p from tokend when there is no
93 -Bug fix: when not using indicies we can't use a transitions's id to identify
94 the eof transition to take. Instead add the transition to the end of the
95 transition list and store its position in a new var called pos. The pos var
96 is then used as the index.
97 -Bug fix: an fnext followed by an fbreak in -G2 was not working. The fbreak
98 was not aware that the fnext causes the cs variable to be forced active. In
99 this case fbreak does not need to save cs because it is already current.
100 -Bug fix: need to compute the low and high character-space keys from the
101 condition-trans overlap when computing an expansion. Can't use the range
102 supplied from the condition overlap since they may not match. An incorrect
103 machine that accepted 1(!cond1, !cond2) was generated for the following
104 grammar. This bug was reported by Tim Chklovski.
106 sc1 = 1..2 when cond1;
107 sc2 = 1..2 when cond2;
108 main := sc1 | c | sc2;
109 -Bug fix: error messages in start label analysis of join operations were
110 causing assertion failures because location info was not set. Fixed by
112 -Include and import file searching now searches for the file name given based
113 on the location of the current file, not ragel's current path.
114 Additional search locations can be given using the -I option.
115 -Rubinius code generation was updated to the latest Rubinius. Patch from Evan
117 -Switched from strcasecmp to strcmp for testing long arguments.
118 -Applied a patch from Andrei Polushin for setting the error message format.
119 --error-format=gnu (default)
121 -Now using the _WIN32 define instead of _WIN32. Other MSVC compilation
122 improvments from Andrei Polushin.
123 -Added the hyperref package to the manual.
125 Ragel 6.1 - Mar 26, 2008
126 ========================
127 -Scanners now ensure that any leaving actions at the end of a pattern are
128 executed. They are always executed before the pattern action.
129 -Added an option -d for turning off the removal of duplicate actions from
131 -Need to unset the final state status of the start state in kleene star if it
132 is set. It is possible to crash ragel when the warning is ignored.
133 -In the dot file generation we need to print any actions that are in
134 State::eofTrans. These come from scanners only.
135 -Use @docdir@ for the docdir Makefile variable.
136 -Check for ar and ranlib in the configure script.
138 Ragel 6.0 - Jan 12, 2008
139 ========================
140 -Removed the 'noend' write option from examples/atoi.rl. This example is
141 referenced a lot as a first example and as such it shouldn't contain a
142 special purpose write option like 'noend'.
143 -Introcuded the "eof" variable for indicating the end of file. The p variable
144 is checked against eof when the processing loop reaches the end of a block.
145 If p == eof at this time then the EOF actions are executed. The variable is
146 required only when EOF actions have been emebedded.
147 -The "write eof" command is no longer needed and was removed.
148 -Scanners now use EOF actions to generate tokens. This eliminates the need to
149 flush the last token.
150 -Restructured the Java driver; a switch statement with fallthrough cases are
151 now used to emulate gotos.
152 -Ruby code generation was also restructured. Gotos are elmulated using a
154 -Went back to 3.X semantics for >, % and error actions. The > operator also
155 embeds a leaving action/priority into the start state if it is final. If EOF
156 happens in a state with a leaving operator then the leaving action is
157 executed. If EOF happens in a non-final state that has an error action, the
158 error action is executed.
159 -The "ragel" program now executes frontend and backend processes separately,
160 connecting them with a temporary file in the current directory. Without the
161 -x option the "ragel" program marshals arguments and calls the frontend and
162 backend. With the -x option the "ragel" program acts as the frontend only.
163 -Added name finding for executables. If any forward slash is found in argv0
164 then it is assumed that the path is explicit and the path to the backend
165 executable should be derived from that. Whe check that location and also go
166 up one then inside a directory of the same name in case we are executing
167 from the source tree. If no forward slash is found it is assumed the file is
168 being run from the installed location. The PREFIX supplied during
169 configuration is used.
170 -On windows GetModuleFileNameEx is used to find out where the the current
171 process's binary is. That location is searched first. If that fails then we
172 go up one directory and look for the executable inside a directory of the
173 same name in case we are executing from the source tree.
174 -Changed the -l option in rlgen-cd to -L because it is covered in the
175 frontend. Added a passthrough in the frontend for the backend options.
176 -Dot file generation can now be invoked using the -V option to ragel. We
177 now require an input file. If standard in is used then we don't have a file
178 name on which to base the output.
179 -Able to build native windows executables using Cygwin+MinGW.
180 -Patch from David Waite: Large arrays are now created by copying in the data
181 from smaller arrays using System.arraycopy(). This eliminates the debug data
182 associated with explicit initialization statements. It is also much easier
183 on the java compiler which can run out of memory compiling very large
184 machines. The downside is that it takes slightly longer to initialize static
186 -The fbreak statement now advances p.
187 -In the :> :>> and <: operators it was possible for the priority assignment
188 to be bypassed via the zero length string. In :> this was fixed
189 automatically with the semantics change to the entering priority operator.
190 If the start state is final it now embeds a leaving action into it,
191 preventing persistance through the zero length string. In :>> and <: this
192 was fixed explicitly. With <: the entering priority operator was used and
193 with :> a special exception was added. Since it uses the finishing
194 transition operator it also adds a leaving priority to the start state if it
196 -Ranlib is now run on the archives. Patch from Kenny MacDermid.
197 -The case statement syntax in ruby code generation used a form depreciated in
198 Ruby 1.9. Updated it.
199 -Made a number of fixes that eliminate warnings in GCC 4.3. Mostly concern
200 the now depreciate automatic conversion of string contsants to "char*" type.
201 Other fixes include adding parenthesis around && within ||.
202 -The "tokstart" and "tokend" variables were changed to "ts" and "te".
204 Ragel 5.25 - Dec 24, 2007
205 =========================
206 -Fixed segfault reported by Ryan Phelps. Affected Java and Ruby code
207 generation. The dataExpr variable was not initialized.
208 -Fixed incorrect case label in test/runtests. Caused Objective-C tests to be
210 -Added missing include to common.cpp.
212 Ragel 5.24 - Sep 16, 2007
213 =========================
214 -Applied patch from Victor Hugo Borja <vic@rubyforge.org>. This patch
215 implements -T1 -F0 -F1 and -G0 in the ruby code generator. Goto-driven code
216 generation is experimental and requires rubinius asm directives (specify
217 with --rbx option). These code generators pass all the ruby tests.
218 -If the condition embedding code runs out of available characters in the
219 keyspace an error message is emitted.
220 -The first example that appeared in the manual used the special-purpose
221 'noend' write option. This caused confusion. Now a basic example appears
223 -Added two new statements: prepush and postpop. These are code blocks that
224 are written out during call and return statements. The prepush code is
225 written immediately before pushing the current state to the state stack
226 during a call. The postpop code is written immediately after popping the
227 current state during return. These can be used to implement a dynamically
230 Ragel 5.23 - Jul 24, 2007
231 =========================
232 -Eliminated the use of callcc as an alternative to goto. Instead, the named
233 breaks implementation used in the Java code generator is imitated using
234 control flow variables.
235 -Improved the error message given when there is a write statement but no
236 machine instantiations and hence no state machine.
237 -Documentation improvements: updates to "Machine Instantiation", "Write Init"
238 and "Write Exports" sectons. Added the "Variables Used by Ragel" section.
239 -Renamed "Entering Actions" to "Starting Actions."
240 -Other documentation updates.
242 Ragel 5.22 - June 14, 2007
243 ==========================
244 -Bug fix: need to isolate the start state of a scanner before setting the
245 to-state and from-state actions which clear and set tokstart. This affected
246 very simple scanners only. Most scanners have an isolated start state due to
247 the pattern structure.
248 -Bug fix: when -S or -M was given the ragel version number was not emitted,
249 causing the backend to reject the intermediate format. From Tim Potter.
250 -The p varialbe is now set up at the beginning of a scanner action, rather
251 than at the end. This leaves scanner actions free to manipulate p and
252 removes the need for the special holdTE and execTE (TE for tokend) versions
253 of hold and exec. It also removes the need to set p = tokend-1 immediately
254 before any control flow. We loose the ability to determine where in the
255 input stream a scanner action is executed, however this information is of
256 little use because it is primarily an artifact of the scanner implementation
257 (sometimes the last char, other times later on). The gains of this change
258 are consistency and simplicity.
259 -The "data" variable (used in Java and Ruby code generation only) can now be
260 overridden using the variable statement.
262 Ragel 5.21 - May 9, 2007
263 ========================
264 -Fixed an inconsistency in the value of p following an error. In the C
265 directly executable code (rlgen-cd -G2) p is left at the character where
266 the error occurred, which is correct. In all other code generators it was
267 left at the following character. This was fixed. Now in all code generators
268 p is left at the character where the error occurred.
269 -Bug fix: when fhold was used in scanner pattern actions which get executed
270 on the last character of the pattern (pattern matches which do not require
271 any lookahead), fhold was modifying p instead of tokend. This was fixed and
272 the patact.rl test was modified to cover the case.
273 -Fixed typos in the guide, improved the state action embedding operator
274 section and added subsections on the variable, import, and export
276 -Implemented a better solution than the pri hack for resolving the '-'
277 ambiguity: force a shortest match of term.
278 -Fixed bugs in the binary searching for condition keys in both the Ruby and
279 Java code generation.
280 -Can now embed the negative sense of a condition. Added a language-
281 independent test case for this feature and the necessary transformation
283 -Added new condition embedding syntax:
284 expr inwhen cond - The transitions into the machine (starting transitions).
285 expr outwhen cond - The pending transitions out of the machine.
286 -The argument to the variable statement which affects the name of the current
287 state variable was changed from "curstate" to "cs" (the default name used
288 for the current state)
289 -Implemented the other variables names in the variable statement. Now all
290 variables (p, pe, cs, top, stack, act, tokstart, tokend) can be renamed.
291 -Parse errors in the intermediate XML file now cause the backend to exit
292 immediately rather then forge on. The recovery infrastructure isn't there
293 and segfaults are likely.
294 -When no input is given to the backend program, it should not print an error
295 message, it should just return a non-zero exit status. The assumption is
296 that the frontend printed an error.
297 -The version number is now included in the intermediate file. An error is
298 emitted if there is a mismatch.
299 -The alphabet type is now communicated from the frontend to the backend using
300 a one-word internal name instead of an array offset.
301 -The Ruby host language types had been just copied from Java. Reduced them to
302 two basic types: char and int, both signed with the usual C sizes.
304 Ragel 5.20 - Apr 7, 2007
305 ========================
306 -The cs variable is now always initialized, unless the "nocs" option is given
307 to the write init command. If there is no main machine, cs is initialized to
308 the entry point defined by the last machine instantiation.
309 -A number of fixes were made to the Ruby code generator.
310 -The frontend now scans ruby comments and regular expressions.
311 -A transformation for Ruby was added to the language-independent test suite.
312 The Ruby code generator passes on all the language-independent tests.
313 -A new Ruby test and two language-independent tests were added.
314 -Some portability fixes were made (Patches from Josef Goettgens and Aaron
316 -Fixed a make dependency bug which caused a problem for parallel building
317 (Patch from Jeremy Hinegardner).
319 Ragel 5.19 - Mar 14, 2007
320 =========================
321 -Added an import statement to ragel. This statement takes a literal string as
322 an argument, interprets it as a file name, then scrapes the file for
323 sequences of tokens that match the following forms. Tokens inside ragel
324 sections are ignored. An example is in test/import1.rl
328 "define" name lit_string
329 -Added an export mechanism which writes defines for single character machines
330 that have been tagged with the export keyword in their definition. Defines
331 are used for C, ints for D, Java and Ruby. Examples of the export feature
332 are in test/export*.rl.
333 -All machine instantiations are now always generated, even if they are not
334 referenced. In the backend, entry points for all instantiations are written
335 out alongside start, error and first final states.
336 -If the main machine is not present then do not emit an error. Generate the
337 machine without a start state and do not initialize cs in the write init
339 -Added an option -l to rlgen-cd which inhibits the writing of #line
341 -Added a new syntax for verbose embeddings. This adds parentheses:
343 Verbose embeddings without parentheses can make code difficult to read
344 because they force a space in the middle of an action embedding. There is a
345 tendency to associtate spaces with concatenation. Without syntax
346 highlighting to make it clear that the embedding type is a keyword, the
347 problem is especially bad. The danger is that a verbose embedding could be
348 read as an embedding of the keyword representing the empbedding type. With
349 parentheses, verbose embeddings read much more clearly.
350 -Conditions now have a forced order when more than one is executed on a
351 single character. Previously ordering relied on pointers, which caused
352 results to vary by compiler. Ordering is now done using conditon action
353 declaration order. This fixes the failure of cond4.rl which occured with
354 g++ 4.1 and other compiler versions.
355 -In the port from flex to ragel, the name separator :: in Ragel code was
357 -In the examples directory switched from rlcodegen to rlgen-cd. Silenced a
358 warning in statechart.rl.
359 -In the root makefile the distclean target was fixed. It was calling clean in
360 the subdirs. In docs, the clean target was not deleting the new manpages for
361 the rlgen-* programs. Fixed.
362 -Portability and other fixes from Josef Goettgens were applied.
363 -The @datadir@ and @mandir@ variables are made use of in doc/Makefile.in for
364 specifying where documentation should be installed. Patch from Marcus
367 Ragel 5.18 - Feb 13, 2007
368 =========================
369 -There is now a 100% correspondence between state id numbers in the
370 intermediate XML file, Graphviz dot files and generated code. This was
371 achieved by moving code which determines if the error state is necessary
372 into the frontend, and then assigning state numbers before writing out the
374 -Backened class structure was reorganized to make it easier to add new code
375 generators without having to also modify the existing code generators.
376 -The C and D code generation executable was changed to rlgen-cd.
377 -The Java code generation was split out into it's own exectuable (rlgen-java)
378 to allow it to freely diverge from the C/D-based code generation.
379 -The graphviz dot file generation was also split out to it's own executable
381 -The Ruby code generation patch from Victor Hugo Borja was added. This is
382 highly experimental code and is not yet completely functional. It is in the
383 executable rlgen-ruby.
384 -The problem with large state machine machines in Java was fixed. This
385 problem was discovered by Colin Fleming, who also contributed a patch.
386 Rather than specify arrays as comma-separated lists of literals, array
387 initialization is now done in a static function. This is the approach used
388 by the Java compiler. Unlike the compiler Ragel is careful split large
389 initilization functions.
390 -The manual was expanded and reorganized somewhat.
391 -Eliminated per-example directories in examples/.
392 -Made some fixes to the pullscan.rl example.
393 -In the frontend CR characters are now treated as whitespace.
394 -Updated to the latest aapl. This completely eliminates the shallowCopy
395 function. With that, a definitive memory leak is fixed.
396 -Control codes with escape sequences are now printable characters (-p
397 option). Also, the space character is now printed as SP.
398 -Fixed the null dereference and consequential segfault which occurred when
399 trying to create empty machines with [] and // and /a[]b/.
400 -Fixed the segfault which occured when a machine reference failed.
401 -Discontinuing ragel.spec. It is more appropriate for this to be written by
402 package maintenance developers.
404 Ragel 5.17 - Jan 28, 2007
405 =========================
406 -The scanners and parsers in both the frontend and backend programs were
407 completely rewritten using Ragel and Kelbt.
408 -The '%when condition' syntax was functioning like '$when condition'. This
410 -In the Vim syntax file fixes to the matching of embedding operators were
411 made. Also, improvements to the sync patterns were made.
412 -Added pullscan.rl to the examples directory. It is an example of doing
413 pull-based scanning. Also, xmlscan.rl in rlcodegen is a pull scanner.
414 -The introduction chapter of the manual was improved. The manually-drawn
415 figures for the examples were replaced with graphviz-drawn figures.
417 Ragel 5.16 - Nov 20, 2006
418 =========================
419 -Policy change: the fhold and fexec directives did not function correctly in
420 scanner pattern actions. In this context manipulations of p may be lost or
421 made invalid. In the previous version of Ragel they were banned because of
422 this. Instead of banning these directives they have been fixed. The fexec
423 and fhold directives now manipulate tokend, which is now always used to
424 update p when the action terminates.
426 Ragel 5.15 - Oct 31, 2006
427 =========================
428 -A language independent test harness was introduced. Test cases can be
429 written using a custom mini-language in the embedded actions. This
430 mini-language is then translated to C, D and Java when generating the
431 language-specific test cases.
432 -Several existing tests have been ported to the language-independent format
433 and a number of new language-independent test cases have been added.
434 -The state-based embedding operators which access states that are not the
435 start state and are not final (the 'middle' states) have changed. They
437 <@/ eof action into middle states
438 <@! error action into middle states
439 <@^ local error action into middle states
440 <@~ to-state action into middle states
441 <@* from-state action into middle states
443 <>/ eof action into middle states
444 <>! error action into middle states
445 <>^ local error action into middle states
446 <>~ to-state action into middle states
447 <>* from-state action into middle states
448 -The verbose form of embeddings using the <- operator have been removed.
449 This syntax was difficult to remember.
450 -A new verbose form of state-based embedding operators have been added.
451 These are like the symbol versions, except they replace the symbols:
453 with literal keywords:
455 -The following words have been promoted to keywords:
456 when eof err lerr to from
457 -The write statment now gets its own lexical scope in the scanner to ensure
458 that commands are passed through as is (not affected by keywords).
459 -Bug fix: in the code generation of fret in scanner actions the adjustment to
460 p that is needed in some cases (dependent on content of patterns) was not
462 -The fhold directive, which decrements p, cannot be permitted in the pattern
463 action of a scanner item because it will not behave consistently. At the end
464 of a pattern action p could be decremented, set to a new value or left
465 alone. This depends on the contents of the scanner's patterns. The user
466 cannot be expected to predict what will happen to p.
467 -Conditions in D code require a cast to the widec type when computing widec.
468 -Like Java, D code also needs if (true) branches for control flow in actions
469 in order to fool the unreachable code detector. This is now abstracted in
470 all code generators using the CTRL_FLOW() function.
471 -The NULL_ITEM value in java code should be -1. This is needed for
472 maintaining tokstart.
474 Ragel 5.14 - Oct 1, 2006
475 ========================
476 -Fixed the check for use of fcall in actions embedded within longest match
477 items. It was emitting an error if an item's longest-match action had an
478 fcall, which is allowed. This bug was introduced while fixing a segfault in
480 -A new minimization option was added: MinimizeMostOps (-l). This option
481 minimizes at every operation except on chains of expressions and chains of
482 terms (eg, union and concat). On these chains it minimizes only at the last
483 operation. This makes test cases with many states compile faster, without
484 killing the performance on grammars like strings2.rl.
485 -The -l minimiziation option was made the default.
486 -Fixes to Java code: Use of the fc value did not work, now fixed. Static data
487 is now declared with the final keyword. Patch from Colin Fleming. Conditions
488 now work when generating Java code.
489 -The option -p was added to rlcodegen which causes printable characters to be
490 printed in GraphViz output. Patch from Colin Fleming.
491 -The "element" keyword no longer exists, removed from vim syntax file.
492 Updated keyword highlighting.
493 -The host language selection is now made in the frontend.
494 -Native host language types are now used when specifying the alphtype.
495 Previously all languages used the set defined by C, and these were mapped to
496 the appropriate type in the backend.
498 Ragel 5.13 - Sep 7, 2006
499 ========================
500 -Fixed a careless error which broke Java code generation.
502 Ragel 5.12 - Sep 7, 2006
503 ========================
504 -The -o flag did not work in combination with -V. This was fixed.
505 -The split code generation format uses only the required number of digits
506 when writing out the number in the file name of each part.
507 -The -T0, -F0 and -G0 codegens should write out the action list iteration
508 variables only when there are regular, to state or from state actions. The
509 code gens should not use anyActions().
510 -If two states have the same EOF actions, they are written out in the finish
512 -The split and in-place goto formats would sometimes generate _out when it is
513 not needed. This was fixed.
514 -Improved the basic partitioning in the split code gen. The last partition
515 would sometimes be empty. This was fixed.
516 -Use of 'fcall *' was not causing top to be initialized. Fixed.
517 -Implemented a Java backend, specified with -J. Only the table-based format
519 -Implemented range compression in the frontend. This has no effect on the
520 generated code, however it reduces the work of the backend and any programs
521 that read the intermediate format.
523 Ragel 5.11 - Aug 10, 2006
524 =========================
525 -Added a variable to the configure.in script which allows the building of
526 the parsers to be turned off (BUILD_PARSERS). Parser building is off by
527 default for released versions.
528 -Removed configure tests for bison defines header file. Use --defines=file
530 -Configure script doesn't test for bison, flex and gperf when building of the
531 parsers is turned off.
532 -Removed check for YYLTYPE structure from configure script. Since shipped
533 code will not build parsers by default, we don't need to be as accomodating
534 of other versions of bison.
535 -Added a missing include that showed up with g++ 2.95.3.
536 -Failed configure test for Objective-C compiler is now silent.
538 Ragel 5.10 - Jul 31, 2006
539 =========================
540 -Moved the check for error state higher in the table-based processing loop.
541 -Replaced naive implementations of condition searching with proper ones. In
542 the table-based formats the searching is also table-based. In the directly
543 executed formats the searching is also directly executable.
544 -The minimization process was made aware of conditions.
545 -A problem with the condition implementation was fixed. Previously we were
546 taking pointers to transitions and then using them after a call to
547 outTransCopy, which was a bad idea because they may be changed by the call.
548 -Added test mailbox3.rl which is based on mailbox2.rl but includes conditions
549 for restricting header and message body lengths.
550 -Eliminated the initial one-character backup of p just before resuming
552 -Added the -s option to the frontend for printing statistics. This currently
553 includes just the number of states.
554 -Sped up the generation of the in-place goto-driven (-G2) code style.
555 -Implemented a split version of in-place goto-driven code style. This code
556 generation style is suitable for producing fast implementations of very
557 large machines. Partitioning is currently naive. In the future a
558 high-quality partitioning program will be employed. The flag for accessing
559 this feature is -Pn, where n is the number of partitions.
560 -Converted mailbox1.rl, strings2.rl and cppscan1.rl tests to support the
561 split code generation.
562 -Fixes and updates were made to the runtests script: added -c for compiling
563 only, changed the -me option to -e, and added support for testing the split
566 Ragel 5.9 - Jul 19, 2006
567 ========================
568 -Fixed a bug in the include system which caused malformed output from the
569 frontend when the include was made from a multi-line machine spec and the
570 included file ended in a single line spec (or vice versa).
571 -Static data is now const.
572 -Actions which referenced states but were not embedded caused the frontend to
574 -Manual now built with pdflatex.
575 -The manual was reorganized and expanded. Chapter sequence is now:
576 Introduction, Constructing Machines, Embedding Actions, Controlling
577 Nondeterminism and Interfacing to the Host program.
579 Ragel 5.8 - Jun 17, 2006
580 ========================
581 -The internal representation of the alphabet type has been encapsulated
582 into a class and all operations on it have been defined as C++ operators.
583 -The condition implementation now supports range transitions. This allows
584 conditions to be embedded into arbitrary machines. Conditions are still
586 -More condition embedding operators were added
587 1. Isolate the start state and embed a condition into all transitions
590 2. Embed a condition into all transitions:
591 when cond OR $when cond OR $?cond
592 3. Embed a condition into pending out transitions:
594 -Improvements were made to the determinization process to support pending out
596 -The Vim sytax file was fixed so that :> doesn't cause the match of a label.
597 -The test suite was converted to a single-file format which uses less disk
598 space than the old directory-per-test format.
600 Ragel 5.7 - May 14, 2006
601 ========================
602 -Conditions will not be embedded like actions because they involve a
603 manipulation of the state machine they are specified in. They have therefore
604 been taken out of the verbose action embedding form (using the <- compound
605 symbol). A new syntax for specifying conditions has been created:
606 m = '\n' when {i==4};
607 -Fixed a bug which prevented state machine commands like fcurs, fcall, fret,
608 etc, from being accounted for in from-state actions and to-state actions.
609 This prevented some necessary support code from being generated.
610 -Implemented condition testing in remaining code generators.
611 -Configure script now checks for gperf, which is required for building.
612 -Added support for case-insensitive literal strings (in addition to regexes).
613 A case-insensitive string is made by appending an 'i' to the literal, as in
615 -Fixed a bug which caused all or expressions inside of all regular
616 expressions to be case-insensitive. For example /[fo]o bar/ would make the
617 [fo] part case-insensitive even though no 'i' was given following the
620 Ragel 5.6 - Apr 1, 2006
621 =======================
622 -Added a left-guarded concatenation operator. This operator <: is equivalent
623 to ( expr1 $1 . expr2 >0 ). It is useful if you want to prefix a sequence
624 with a sequence of a subset of the characters it matches. For example, one
625 can consume leading whitespace before tokenizing a sequence of whitespace
626 separated words: ( ' '* <: ( ' '+ | [a-z]+ )** )
627 -Removed context embedding code, which has been dead since 5.0.
629 Ragel 5.5 - Mar 28, 2006
630 ========================
631 -Implemented a case-insensitive option for regular expressions: /get/i.
632 -If no input file is given to the ragel program it reads from standard input.
633 -The label of the start state has been changed from START to IN to save on
634 required screen space.
635 -Bug fix: \0 was not working in literal strings, due to a change that reduced
636 memory usage by concatenating components of literal strings. Token data
637 length is now passed from the scanner to the paser so that we do not need to
638 rely on null termination.
640 Ragel 5.4 - Mar 12, 2006
641 ========================
642 -Eliminated the default transition from the frontend implementation. This
643 default transition was a space-saving optimization that at best could reduce
644 the number of allocated transitions by one half. Unfortunately it
645 complicated the implementation and this stood in the way of introducing
646 conditionals. The default transition may be reintroduced in the future.
647 -Added entry-guarded concatenation. This operator :>, is syntactic sugar
648 for expr1 $0 . expr >1. This operator terminates the matching of the first
649 machine when a first character of the second machine is matched. For
650 example in any* . ';' we never leave the any* machine. If we use any* :> ';'
651 then the any* machine is terminiated upon matching the semi-colon.
652 -Added finish-guarded concatenation. This operator :>>, is syntactic sugar
653 for expr1 $0 . expr @1. This operator is like entry guarded concatenation
654 except the first machine is terminated when the second machine enters a
655 final state. This is useful for delaying the guard until a full pattern is
656 matched. For example as in '/*' any* :>> '*/'.
657 -Added strong subtraction. Where regular subtraction removes from the first
658 machine any strings that are matched by the second machine, strong
659 subtraction removes any strings from the first that contain any strings of
660 the second as a substring. Strong subtraction is syntactic sugar for
661 expr1 - ( any* expr2 any* ).
662 -Eliminated the use of priorities from the examples. Replaced with
663 subtraction, guarded concatenation and longest-match kleene star.
664 -Did some initial work on supporting conditional transitions. Far from
665 complete and very buggy. This code will only be active when conditionals are
668 Ragel 5.3 - Jan 27, 2006
669 ========================
670 -Added missing semi-colons that cause the build to fail when using older
672 -Fix for D code: if the contents of an fexec is a single word, the generated
673 code will get interpreted as a C-style cast. Adding two brackets prevents
674 this. Can now turn eliminate the "access this.;" in cppscan5 that was used to
675 get around this problem.
676 -Improved some of the tag names in the intermediate format.
677 -Added unsigned long to the list of supported alphabet types.
678 -Added ids of actions and action lists to XML intermediate format. Makes it
680 -Updated to latest Aapl package.
682 Ragel 5.2 - Jan 6, 2006
683 ========================
684 -Ragel emits an error if the target of fentry, fcall, fgoto or fnext is inside
685 a longest match operator, or if an action embedding in a longest match
686 machine uses fcall. The fcall command can still be used in pattern actions.
687 -Made improvements to the clang, rlscan, awkemu and cppscan examples.
688 -Some fixes to generated label names: they should all be prefixed with _.
689 -A fix to the Vim syntax highlighting script was made
690 -Many fixes and updates to the documentation. All important features and
691 concepts are now documented. A second chapter describing Ragel's use
694 Ragel 5.1 - Dec 22, 2005
695 ========================
696 -Fixes to the matching of section delimiters in Vim syntax file.
697 -If there is a longest match machine, the tokend var is now initialized by
698 write init. This is not necessary for correct functionality, however
699 prevents compiler warnings.
700 -The rlscan example was ported to the longest match operator and changed to
702 -Fix to the error handling in the frontend: if there are errors in the lookup
703 of names at machine generation time then do not emit anything.
704 -If not compiling the full machine in the frontend (by using -M), avoid
705 errors and segfaults caused by names that are not part of the compiled
707 -Longest match bug fix: need to init tokstart when returing from fsm calls
708 that are inside longest match actions.
709 -In Graphviz drawing, the arrow into the start state is not a real
710 transition, do not draw to-state actions on the label.
711 -A bug fix to the handling of non-tag data within an XML tag was made.
712 -Backend exit value fixed: since the parser now accepts nothing so as to
713 avoid a redundant parse error when the frontend dies, we must force an
714 error. The backend should now be properly reporting errors.
715 -The longest match machine now has it's start state set final. An LM machine
716 is in a final state when it has not matched anything, when it has matched
717 and accepted a token and is ready for another, and when it has matched a
718 token but is waiting for some lookahead before determining what to do about
719 it (similar to kleene star).
720 -Element statement removed from some tests.
721 -Entry point names are propagated to the backend and used to label the entry
722 point arrows in Graphviz output.
724 Ragel 5.0 - Dec 17, 2005
725 ========================
726 (additional details in V5 release notes)
727 -Ragel has been split into two executables: A frontend which compiles
728 machines and emits them in an XML format, and a backend which generates code
729 or a Graphviz dot file from the XML input. The purpose of this split is to
730 allow Ragel to interface with other tools by means of the XML intermediate
731 format and to reduce complexity by strictly separating the previously
732 entangled phases. The intermediate format will provide a better platform
733 inspecting compiled machines and for extending Ragel to support other host
735 -The host language interface has been reduced significantly. Ragel no longer
736 expects the machine to be implemented as a structure or class and does not
737 generate functions corresponding to initialization, execution and EOF.
738 Instead, Ragel just generates the code of these components, allowing all of
739 them to be placed in a single function if desired. The user specifies a
740 machine in the usual manner, then indicates at which place in the program
741 text the state machine code is to be generated. This is done using the write
742 statement. It is possible to specify to Ragel how it should access the
743 variables it needs (such as the current state) using the access statement.
744 -The host language embedding delimiters have been changed. Single line
745 machines start with '%%' and end at newline. Multiline machines start with
746 '%%{' and end with '}%%'. The machine name is given with the machine
747 statement at the very beginning of the specification. This purpose of this
748 change is to make it easier separate Ragel code from the host language. This
749 will ease the addition of supported host languages.
750 -The structure and class parsing which was previously able to extract a
751 machine's name has been removed since this feature is dependent on the host
752 language and inhibits the move towards a more language-independent frontend.
753 -The init, element and interface statements have been made obsolete by the
754 new host language interface and have been removed.
755 -The fexec action statement has been changed to take only the new position to
756 move to. This statement is more useful for moving backwards and reparsing
757 input than for specifying a whole new buffer entirely and has been shifted
758 to this new use. Giving it only one argument also simplifies the parsing of
759 host code embedded in a Ragel specification. This will ease the addition of
760 supported host languages.
761 -Introduced the fbreak statement, which allows one to stop processing data
762 immediately. The machine ends up in the state that the current transition
763 was to go to. The current character is not changed.
764 -Introduced the noend option for writing the execute code. This inhibits
765 checking if we have reached pe. The machine will run until it goes into the
766 error state or fbreak is hit. This allows one to parse null-terminate
767 strings without first computing the length.
768 -The execute code now breaks out of the processing loop when it moves into
769 the error state. Previously it would run until pe was hit. Breaking out
770 makes the noend option useful when an error is encountered and allows
771 user code to determine where in the input the error occured. It also
772 eliminates needlessly iterating the input buffer.
773 -Introduced the noerror, nofinal and noprefix options for writing the machine
774 data. The first two inhibit the writing of the error state and the
775 first-final state should they not be needed. The noprefix eliminates the
776 prefixing of the data items with the machine name.
777 -Support for the D language has been added. This is specified in the backend
779 -Since the new host language interface has been reduced considerably, Ragel
780 no longer needs to distinguish between C-based languages. Support for C, C++
781 and Objective-C has been folded into one option in the backend: -C
782 -The code generator has been made independent of the languages that it
783 supports by pushing the language dependent apsects down into the lower
784 levels of the code generator.
785 -Many improvements to the longest match construction were made. It is no
786 longer considered experimental. A longest match machine must appear at the
787 top level of a machine instantiation. Since it does not generate a pure
788 state machine (it may need to backtrack), it cannot be used as an operand to
790 -References to the current character and current state are now completely
791 banned in EOF actions.
793 Ragel 4.2 - Sep 16, 2005
794 ========================
795 (additional details in V4 release notes)
796 -Fixed a bug in the longest match operator. In some states it's possible that
797 we either match a token or match nothing at all. In these states we need to
798 consult the LmSwitch on error so it must be prepared to execute an error
799 handler. We therefore need to init act to this error value (which is zero).
800 We can compute if we need to do this and the code generator emits the
801 initialization only if necessary.
802 -Changed the definition of the token end of longest match actions. It now
803 points to one past the last token. This makes computing the token length
804 easier because you don't have to add one. The longest match variables token
805 start, action identifier and token end are now properly initialized in
806 generated code. They don't need to be initialized in the user's code.
807 -Implemented to-state and from-state actions. These actions are executed on
808 transitions into the state (after the in transition's actions) and on
809 transitions out of the state (before the out transition's actions). See V4
810 release notes for more information.
811 -Since there are no longer any action embedding operators that embed both on
812 transitions and on EOF, any actions that exist in both places will be there
813 because the user has explicitly done so. Presuming this case is rare, and
814 with code duplication in the hands of the user, we therefore give the EOF
815 actions their own action switch in the finish() function. This is further
816 motivated by the fact that the best solution is to do the same for to-state
817 and from-state actions in the main loop.
818 -Longest match actions can now be specified using a named action. Since a
819 word following a longest match item conflicts with the concatenation of a
820 named machine, the => symbol must come immediately before a named action.
821 -The longest match operator permits action and machine definitions in the
822 middle of a longest match construction. These are parsed as if they came
823 before the machine definition they are contained in. Permitting action and
824 machine definitions in a longest match construction allows objects to be
825 defined closer to their use.
826 -The longest match operator can now handle longest match items with no
827 action, where previously Ragel segfaulted.
828 -Updated to Aapl post 2.12.
829 -Fixed a bug in epsilon transition name lookups. After doing a name lookup
830 the result was stored in the parse tree. This is wrong because if a machine
831 is used more than once, each time it may resolve to different targets,
832 however it will be stored in the same place. We now store name resolutions
833 in a separated data structure so that each walk of a parse tree uses the
834 name resolved during the corresponding walk in the name lookup pass.
835 -The operators used to embed context and actions into states have been
836 modified. The V4 release notes contain the full details.
837 -Added zlen builtin machine to represent the zero length machine. Eventually
838 the name "null" will be phased out in favour of zlen because it is unclear
839 whether null matches the zero length string or if it does not match any
840 string at all (as does the empty builtin).
841 -Added verbose versions of action, context and priority embedding. See the V4
842 release notes for the full details. A small example:
843 machine <- all exec { foo(); } <- final eof act1
844 -Bugfix for machines with epsilon ops, but no join operations. I had
845 wrongfully assumed that because epsilon ops can only increase connectivity,
846 that no states are ever merged and therefore a call to fillInStates() is not
847 necessary. In reality, epsilon transitions within one machine can induce the
848 merging of states. In the following, state 2 follows two paths on 'i':
849 main := 'h' -> i 'i h' i: 'i';
850 -Changed the license of the guide from a custom "do not propagate modified
851 versions of this document" license to the GPL.
853 Ragel 4.1 - Jun 26, 2005
854 ========================
855 (additional details in V4 release notes)
856 -A bug in include processing was fixed. Surrounding code in an include file
857 was being passed through to the output when it should be ignored. Includes
858 are only for including portions of another machine into he current. This
859 went unnoticed because all tested includes were wrapped in #ifndef ...
860 #endif directives and so did not affect the compilation of the file making
862 -Fixes were made to Vim syntax highlighting file.
863 -Duplicate actions are now removed from action lists.
864 -The character-level negation operator ^ was added. This operator produces a
865 machine that matches single characters that are not matched by the machine
866 it is applied to. This unary prefix operator has the same precedence level
868 -The use of + to specify the a positive literal number was discontinued.
869 -The parser now assigns the subtraction operator a higher precedence than
870 the negation of literal number.
872 Ragel 4.0 - May 26, 2005
873 ========================
874 (additional details in V4 release notes)
875 -Operators now strictly embed into a machine either on a specific class of
876 characters or on EOF, but never both. This gives a cleaner association
877 between the operators and the physical state machine entitites they operate
878 on. This change is made up of several parts:
879 1. '%' operator embeds only into leaving characters.
880 2. All global and local error operators only embed on error character
881 transitions, their action will not be triggerend on EOF in non-final
883 3. EOF action embedding operators have been added for all classes of states
884 to make up for functionality removed from other operators. These are
886 4. Start transition operator '>' no longer implicitly embeds into leaving
887 transtions when start state is final.
888 -Ragel now emits warnings about the improper use of statements and values in
889 action code that is embedded as an EOF action. Warnings are emitted for fpc,
890 fc, fexec, fbuf and fblen.
891 -Added a longest match construction operator |* machine opt-action; ... *|.
892 This is for repetition where an ability to revert to a shorter, previously
893 matched item is required. This is the same behaviour as flex and re2c. The
894 longest match operator is not a pure FSM construction, it introduces
895 transitions that implicitly hold the current character or reset execution to
896 a previous location in the input. Use of this operator requires the caller
897 of the machine to occasionally hold onto data after a call to the exectute
898 routine. Use of machines generated with this operator as the input to other
899 operators may have undefined results. See examples/cppscan for an example.
900 This is very experimental code.
901 -Action ids are only assigned to actions that are referenced in the final
902 constructed machine, preventing gaps in the action id sequence. Previously
903 an action id was assigned if the action was referenced during parsing.
904 -Machine specifications now begin with %% and are followed with an optional
905 name and either a single Ragel statement or a sequence of statements
907 -Ragel no longer generates the FSM's structure or class. It is up to the user
908 to declare the structure and to give it a variable named curs of type
909 integer. If the machine uses the call stack the user must also declare a
910 array of integers named stack and an integer variable named top.
911 -In the case of Objective-C, Ragel no longer generates the interface or
912 implementation directives, allowing the user to declare additional methods.
913 -If a machine specification does not have a name then Ragel tries to find a
914 name for it by first checking if the specification is inside a struct, class
915 or interface. If it is not then it uses the name of the previous machine
916 specification. If still no name is found then this is an error.
917 -Fsm specifications now persist in memory and statements accumulate.
918 -Ragel now has an include statement for including the statements of a machine
919 spec in another file (perhaps because it is the corresponding header file).
920 The include statement can also be used to draw in the statements of another
921 fsm spec in the current file.
922 -The fstack statement is now obsolete and has been removed.
923 -A new statement, simply 'interface;', indicates that ragel should generate
924 the machine's interface. If Ragel sees the main machine it generates the
925 code sections of the machine. Previously, the header portion was generated
926 if the (now removed) struct statement was found and code was generated if
927 any machine definition was found.
928 -Fixed a bug in the resolution of fsm name references in actions. The name
929 resolution code did not recurse into inline code items with children
930 (fgoto*, fcall*, fnext*, and fexec), causing a segfault at code generation
932 -Cleaned up the code generators. FsmCodeGen was made into a virtual base
933 class allowing for the language/output-style specific classes to inherit
934 both a language specific and style-specific base class while retaining only
935 one copy of FsmCodeGen. Language specific output can now be moved into the
936 language specific code generators, requiring less duplication of code in the
937 language/output-style specific leaf classes.
938 -Fixed bugs in fcall* implementation of IpgGoto code generation.
939 -If the element type has not been defined Ragel now uses a constant version
940 of the alphtype, not the exact alphtype. In most cases the data pointer of
941 the execute routine should be const. A non-const element type can still be
942 defined with the element statement.
943 -The fc special value now uses getkey for retrieving the current char rather
944 than *_p, which is wrong if the element type is a structure.
945 -User guide converted to TeX and updated for new 4.0 syntax and semantics.
947 Ragel 3.7 - Oct 31, 2004
948 ========================
949 -Bug fix: unreferenced machine instantiations causing segfault due to name
950 tree and parse tree walk becomming out of syncronization.
951 -Rewrote representation of inline code blocks using a tree data structure.
952 This allows special keywords such as fbuf to be used as the operatands of
954 -Documentation updates.
955 -When deciding whether or not to generate machine instantiations, search the
956 entire name tree beneath the instantiation for references, not just the
958 -Removed stray ';' in keller2.rl
959 -Added fexec for restarting the machine with new buffer data (state stays the
960 same), fbuf for retrieving the the start of the buf, and fblen for
961 retrieving the orig buffer length.
962 -Implemented test/cppscan2 using fexec. This allows token emitting and restart
963 to stay inside the execute routine, instead of leaving and re-entering on
965 -Changed examples/cppscan to use fexec and thereby go much faster.
966 -Implemented flex and re2c versions of examples/cppscan. Ragel version
967 goes faster than flex version but not as fast as re2c version.
968 -Merged in Objective-C patch from Erich Ocean.
969 -Turned off syncing with stdio in C++ tests to make them go faster.
970 -Renamed C++ code generaion classes with the Cpp Prefix instead of CC to make
972 -In the finish function emit fbuf as 0 cast to a pointer to the element type
973 so it's type is not interpreted as an integer.
974 -The number -128 underflows char alphabets on some architectures. Removed
976 -Disabled the keller2 test because it causes problems on many architectures
977 due to its large size and compilation requirements.
979 Ragel 3.6 - Jul 10, 2004
980 ========================
981 -Many documentation updates.
982 -When resolving names, return a set of values so that a reference in an
983 action block that is embedded more than once won't report distinct entry
984 points that are actually the same.
985 -Implemented flat tables. Stores a linear array of indicies into the
986 transition array and only a low and high key value. Faster than binary
987 searching for keys but not usable for large alphabets.
988 -Fixed bug in deleting of transitions leftover from converstion from bst to
989 list implementation of transitions. Other code cleanup.
990 -In table based output calculate the cost of using an index. Don't use if
992 -Changed fstate() value available in init and action code to to fentry() to
993 reflect the fact that the values returned are intended to be used as targets
994 in fgoto, fnext and fcall statements. The returned state is not a unique
995 state representing the label. There can be any number of states representing
997 -Added keller2 test, C++ scanning tests and C++ scanning example.
998 -In table based output split up transitions into targets and actions. This
999 allows actions to be omitted.
1000 -Broke the components of the state array into separate arrays. Requires
1001 adding some fields where they could previously be omitted, however allows
1002 finer grained control over the sizes of items and an overal size reduction.
1003 Also means that state numbers are not an offset into the state array but
1004 instead a sequence of numbers, meaning the context array does not have any
1006 -Action lists and transition also have their types chosen to be the smallest
1007 possible for accomodating the contained values.
1008 -Changed curs state stored in fsm struct from _cs to curs. Keep fsm->curs ==
1009 -1 while in machine. Added tests curs1 and curs2.
1010 -Implemented the notion of context. Context can be embedded in states using
1011 >:, $:, @: and %: operators. These embed a named context into start states,
1012 all states, non-start/non-final and final states. If the context is declared
1013 using a context statment
1015 then the context can be quered for any state using fsm_name_ctx_name(state)
1016 in C code and fsm_name::ctx_name(state) in C++ code. This feature makes it
1017 possible to determine what "part" of the machine is currently active.
1018 -Fixed crash on machine generation of graphs with no final state. If there
1019 is no reference to a final state in a join operation, don't generate one.
1020 -Updated Vim sytax: added labels to inline code, added various C++ keywords.
1021 Don't highlight name separations as labels. Added switch labels, improved
1022 alphtype, element and getkey.
1023 -Fixed line info in error reporting of bad epsilon trans.
1024 -Fixed fstate() for tab code gen.
1025 -Removed references to malloc.h.
1027 Ragel 3.5 - May 29, 2004
1028 ========================
1029 -When parse errors occur, the partially generated output file is deleted and
1030 an non-zero exit status is returned.
1031 -Updated Vim syntax file.
1032 -Implemented the setting of the element type that is passed to the execute
1033 routine as well as method for specifying how ragel should retrive the key
1034 from the element type. This lets ragel process arbitrary structures inside
1035 of which is the key that is parsed.
1036 element struct Element;
1037 getkey fpc->character;
1038 -The current state is now implemented with an int across all machines. This
1039 simplifies working with current state variables. For example this allows a
1040 call stack to be implemented in user code.
1041 -Implemented a method for retrieving the current state, the target state, and
1043 fcurs -retrieve the current state
1044 ftargs -retrieve the target state
1045 fstate(name) -retrieve a named state.
1046 -Implemented a mechanism for jumping to and calling to a state stored in a
1048 fgoto *<expr>; -goto the state returned by the C/C++ expression.
1049 fcall *<expr>; -call the state returned by the C/C++ expression.
1050 -Implemented a mechanism for specifying the next state without immediately
1051 transfering control there (any code following statement is executed).
1052 fnext label; -set the state pointed to by label as the next state.
1053 fnext *<expr>; -set the state returned by the C/C++ expression as the
1055 -Action references are determined from the final machine instead of during
1056 the parse tree walk. Some actions can be referenced in the parse tree but not
1057 show up in the final machine. Machine analysis is now done based on this new
1059 -Named state lookup now employs a breadth-first search in the lookup and
1060 allows the user to fully qualify names, making it possible to specify
1061 jumps/calls into parts of the machine deep in the name hierarchy. Each part
1062 of name (separated by ::) employs a breadth first search from it's starting
1064 -Name references now must always refer to a single state. Since references to
1065 multiple states is not normally intended, it no longer happens
1066 automatically. This frees the programmer from thinking about whether or not
1067 a state reference is unique. It also avoids the added complexity of
1068 determining when to merge the targets of multiple references. The effect of
1069 references to multiple states can be explicitly created using the join
1070 operator and epsilon transitions.
1071 -M option was split into -S and -M. -S specifies the machine spec to generate
1072 for graphviz output and dumping. -M specifies the machine definition or
1074 -Machine function parameters are now prefixed with and underscore to
1075 avoid the hiding of class members.
1077 Ragel 3.4 - May 8, 2004
1078 =======================
1079 -Added the longest match kleene star operator **, which is synonymous
1080 with ( ( <machine> ) $0 %1 ) *.
1081 -Epsilon operators distinguish between leaving transitions (going to an
1082 another expression in a comma separated list) and non-leaving transitions.
1083 Leaving actions and priorities are appropriately transferred.
1084 -Relative priority of following ops changed to:
1088 If label is done first then the isolation of the start state in > operators
1089 will cause the label to point to the old start state that doesn't have the
1090 new action/priority.
1091 -Merged >! and >~, @! and @~, %! and %~, and $! and $~ operators to have one
1092 set of global error action operators (>!, @!, %! and $!) that are invoked on
1093 error by unexpected characters as well as by unexepected EOF.
1094 -Added the fpc keyword for use in action code. This is a pointer to the
1095 current character. *fpc == fc. If an action is invoked on EOF then fpc == 0.
1096 -Added >^, @^, %^, and $^ local error operators. Global error operators (>!,
1097 @!, $!, and %!) cause actions to be invoked if the final machine fails.
1098 Local error actions cause actions to be invoked if if the current machine
1100 -Changed error operators to mean embed global/local error actions in:
1101 >! and !^ -the start state.
1102 @! and @^ -states that are not the start state and are not final.
1103 %! and %^ -final states.
1104 $! and $^ -all states.
1105 -Added >@! which is synonymous >! then @!
1106 -Added >@^ which is synonymous >^ then @^
1107 -Added @%! which is synonymous @! then %!
1108 -Added @%^ which is synonymous >^ then @^
1109 -FsmGraph representation of transition lists was changed from a mapping of
1110 alphabet key -> transition objects using a BST to simply a list of
1111 transition objects. Since the transitions are no longer divided by
1112 single/range, the fast finding of transition objects by key is no longer
1113 required functionality and can be eliminated. This new implementation uses
1114 the same amount of memory however causes less allocations. It also make more
1115 sense for supporting error transitions with actions. Previously an error
1116 transition was represented by a null value in the BST.
1117 -Regular expression ranges are checked to ensure that lower <= upper.
1118 -Added printf-like example.
1119 -Added atoi2, erract2, and gotcallret to the test suite.
1120 -Improved build test to support make -jN and simplified the compiling and
1123 Ragel 3.3 - Mar 7, 2004
1124 =======================
1125 -Portability bug fixes were made. Minimum and maximum integer values are
1126 now taken from the system. An alignment problem on 64bit systems
1129 Ragel 3.2 - Feb 28, 2004
1130 ========================
1131 -Added a Vim syntax file.
1132 -Eliminated length var from generated execute code in favour of an end
1133 pointer. Using length requires two variables be read and written. Using an
1134 end pointer requires one variable read and written and one read. Results in
1135 more optimizable code.
1136 -Minimization is now on by default.
1137 -States are ordered in output by depth first search.
1138 -Bug in minimization fixed. States were not being distinguished based on
1140 -Added null and empty builtin machines.
1141 -Added EOF error action operators. These are >~, >@, $~, and %~. EOF error
1142 operators embed actions to take if the EOF is seen and interpreted as an
1143 error. The operators correspond to the following states:
1145 -any state with a transition to a final state
1146 -any state with a transiion out
1148 -Fixed bug in generation of unreference machine vars using -M. Unreferenced
1149 vars don't have a name tree built underneath when starting from
1150 instantiations. Need to instead build the name tree starting at the var.
1151 -Calls, returns, holds and references to fc in out action code are now
1152 handled for ipgoto output.
1153 -Only actions referenced by an instantiated machine expression are put into
1154 the action index and written out.
1155 -Added rlscan, an example that lexes Ragel input.
1157 Ragel 3.1 - Feb 18, 2004
1158 ========================
1159 -Duplicates in OR literals are removed and no longer cause an assertion
1161 -Duplicate entry points used in goto and call statements are made into
1162 deterministic entry points.
1163 -Base FsmGraph code moved from aapl into ragel, as an increasing amount
1164 of specialization is required. Too much time was spent attempting to
1165 keep it as a general purpose template.
1166 -FsmGraph code de-templatized and heirarchy squashed to a single class.
1167 -Single transitions taken out of FsmGraph code. In the machine construction
1168 stage, transitions are now implemented only with ranges and default
1169 transtions. This reduces memory consumption, simplifies code and prevents
1170 covered transitions. However it requires the automated selection of single
1171 transitions to keep goto-driven code lean.
1172 -Machine reduction completely rewritten to be in-place. As duplicate
1173 transitions and actions are found and the machine is converted to a format
1174 suitable for writing as C code or as GraphViz input, the memory allocated
1175 for states and transitions is reused, instead of newly allocated.
1176 -New reduction code consolodates ranges, selects a default transition, and
1177 selects single transitions with the goal of joining ranges that are split by
1178 any number of single characters.
1179 -Line directive changed from "# <num> <file>" to the more common format
1180 "#line <num> <file>".
1181 -Operator :! changed to @!. This should have happened in last release.
1182 -Added params example.
1184 Ragel 3.0 - Jan 22, 2004
1185 ========================
1186 -Ragel now parses the contents of struct statements and action code.
1187 -The keyword fc replaces the use of *p to reference the current character in
1189 -Machine instantiations other than main are allowed.
1190 -Call, jump and return statements are now available in action code. This
1191 facility makes it possible to jump to an error handling machine, call a
1192 sub-machine for parsing a field or to follow paths through a machine as
1193 determined by arbitrary C code.
1194 -Added labels to the language. Labels can be used anywhere in a machine
1195 expression to define an entry point. Also references to machine definitions
1196 cause the implicit creation of a label.
1197 -Added epsilon transitions to the language. Epsilon operators may reference
1198 labels in the current name scope resolved when join operators are evaluated
1199 and at the root of the expression tree of machine assignment/instantiation.
1200 -Added the comma operator, which joins machines together without drawing any
1201 transitions between them. This operator is useful in combination with
1202 labels, the epsilon operator and user code transitions for defining machines
1203 using the named state and transition list paradigm. It is also useful for
1204 invoking transitions based on some analysis of the input or on the
1206 -Added >!, :!, $!, %! operators for specifying actions to take should the
1207 machine fail. These operators embed actions to execute if the machine
1210 -any state with a transition to a final state
1211 -any state with a transiion out
1213 The general rule is that if an action embedding operator embeds an action
1214 into a set of transitions T, then the error-counterpart with a ! embeds an
1215 action into the error transition taken when any transition T is a candidate,
1216 but does not match the input.
1217 -The finishing augmentation operator ':' has been changed to '@'. This
1218 frees the ':' symbol for machine labels and avoids hacks to the parser to
1219 allow the use of ':' for both labels and finishing augmentations. The best
1220 hack required that label names be distinct from machine definition names as
1221 in main := word : word; This restriction is not good because labels are
1222 local to the machine that they are used in whereas machine names are global
1223 entities. Label name choices should not be restricted by the set of names
1224 that are in use for machines.
1225 -Named priority syntax now requires parenthesis surrounding the name and
1226 value pair. This avoids grammar ambiguities now that the ',' operator has
1227 been introduced and makes it more clear that the name and value are an
1229 -Backslashes are escaped in line directive paths.
1231 Ragel 2.2 - Oct 6, 2003
1232 =======================
1233 -Added {n}, {,n}, {n,} {n,m} repetition operators.
1234 <expr> {n} -- exactly n repetitions
1235 <expr> {,n} -- zero to n repetitions
1236 <expr> {n,} -- n or more repetitions
1237 <expr> {n,m} -- n to m repetitions
1238 -Bug in binary search table in Aapl fixed. Fixes crashing on machines that
1239 add to action tables that are implicitly shared among transitions.
1240 -Tests using obsolete minimization algorithms are no longer built and run by
1242 -Added atoi and concurrent from examples to the test suite.
1244 Ragel 2.1 - Sep 22, 2003
1245 ========================
1246 -Bug in priority comparison code fixed. Segfaulted on some input with many
1247 embedded priorities.
1248 -Added two new examples.
1250 Ragel 2.0 - Sep 7, 2003
1251 =======================
1252 -Optional (?), One or More (+) and Kleene Star (*) operators changed from
1253 prefix to postfix. Rationale is that postfix version is far more common in
1254 regular expression implementations and will be more readily understood.
1255 -All priority values attached to transitions are now accompanied by a name.
1256 Transitions no longer have default priority values of zero assigned
1257 to them. Only transitions that have different priority values assigned
1258 to the same name influence the NFA-DFA conversion. This scheme reduces
1259 side-effects of priorities.
1260 -Removed the %! statement for unsetting pending out priorities. With
1261 named priorities, it is not necessary to clear the priorities of a
1262 machine with $0 %! because non-colliding names can be used to avoid
1264 -Removed the clear keyword, which was for removing actions from a machine.
1265 Not required functionality and it is non-intuitive to have a language
1266 feature that undoes previous definitions.
1267 -Removed the ^ modifier to repetition and concatenation operators. This
1268 undocumented feature prevented out transitions and out priorities from being
1269 transfered from final states to transitions leaving machines. Not required
1270 functionality and complicates the language unnecessarily.
1271 -Keyword 'func' changed to 'action' as a part of the phasing out of the term
1272 'function' in favour of 'action'. Rationale is that the term 'function'
1273 implies that the code is called like a C function, which is not necessarily
1274 the case. The term 'action' is far more common in state machine compiler
1276 -Added the instantiation statement, which looks like a standard variable
1277 assignment except := is used instead of =. Instantiations go into the
1278 same graph dictionary as definitions. In the the future, instantiations
1279 will be used as the target for gotos and calls in action code.
1280 -The main graph should now be explicitly instantiated. If it is not,
1281 a warning is issued.
1282 -Or literal basic machines ([] outside of regular expressions) now support
1283 negation and ranges.
1284 -C and C++ interfaces lowercased. In the C interface an underscore now
1285 separates the fsm machine and the function name. Rationale is that lowercased
1286 library and generated routines are more common.
1288 int fsm_init( struct clang *fsm );
1289 int fsm_execute( struct clang *fsm, char *data, int dlen );
1290 int fsm_finish( struct clang *fsm );
1293 int fsm::execute( char *data, int dlen );
1295 -Init, execute and finish all return -1 if the machine is in the error state
1296 and can never accept, 0 if the machine is in a non-accepting state that has a
1297 path to a final state and 1 if the machine is in an accepting state.
1298 -Accept routine eliminated. Determining whether or not the machine accepts is
1299 done by examining the return value of the finish routine.
1300 -In C output, fsm structure is no longer a typedef, so referencing requires
1301 the struct keyword. This is to stay in line with C language conventions.
1302 -In C++ output, constructor is no longer written by ragel. As a consequence,
1303 init routine is not called automatically. Allows constructor to be supplied
1304 by user as well as the return value of init to be examined without calling it
1306 -Static start state and private structures are taken out of C++ classes.
1308 Ragel 1.5.4 - Jul 14, 2003
1309 ==========================
1310 -Workaround for building with bison 1.875, which produces an
1311 optimization that doesn't build with newer version gcc.
1313 Ragel 1.5.3 - Jul 10, 2003
1314 ==========================
1315 -Fixed building with versions of flex that recognize YY_NO_UNPUT.
1316 -Fixed version numbers in ragel.spec file.
1318 Ragel 1.5.2 - Jul 7, 2003
1319 =========================
1320 -Transition actions and out actions displayed in the graphviz output.
1321 -Transitions on negative numbers handled in graphviz output.
1322 -Warning generated when using bison 1.875 now squashed.
1324 Ragel 1.5.1 - Jun 21, 2003
1325 ==========================
1326 -Bugs fixed: Don't delete the output objects when writing to standard out.
1327 Copy mem into parser buffer with memcpy, not strcpy. Fixes buffer mem errror.
1328 -Fixes for compiling with Sun WorkShop 6 compilers.
1330 Ragel 1.5.0 - Jun 10, 2003
1331 ==========================
1332 -Line directives written to the output so that errors in the action code
1333 are properly reported in the ragel input file.
1334 -Simple graphviz dot file output format is supported. Shows states and
1335 transitions. Does not yet show actions.
1336 -Options -p and -f dropped in favour of -d output format.
1337 -Added option -M for specifying the machine to dump with -d or the graph to
1339 -Error recovery implemented.
1340 -Proper line and column number tracking implemented in the scanner.
1341 -All action/function code is now embedded in the main Execute routine. Avoids
1342 duplication of action code in the Finish routine and the need to call
1343 ExecFuncs which resulted in huge code bloat. Will also allow actions to
1344 modify cs when fsm goto, call and return is supported in action code.
1345 -Fsm spec can have no statements, nothing will be generated.
1346 -Bug fix: Don't accept ] as the opening of a .-. range a reg exp.
1347 -Regular expression or set ranges (ie /[0-9]/) are now handled by the parser
1348 and consequently must be well-formed. The following now generates a parser
1349 error: /[+-]/ and must be rewritten as /[+\-]/. Also fixes a bug whereby ]
1350 might be accepted as the opening of a .-. range causing /[0-9]-[0-9]/ to
1352 -\v, \f, and \r are now treated as whitespace in an fsm spec.
1354 Ragel 1.4.1 - Nov 19, 2002
1355 ==========================
1356 -Compile fixes. The last release (integer alphabets) was so exciting
1357 that usual portability checks got bypassed.
1359 Ragel 1.4.0 - Nov 19, 2002
1360 ==========================
1361 -Arbitrary integer alphabets are now fully supported! A new language
1363 'alphtype <type>' added for specifying the type of the alphabet. Default
1364 is 'char'. Possible alphabet types are:
1365 char, unsigned char, short, unsigned short, int, unsigned int
1366 -Literal machines specified in decimal format can now be negative when the
1367 alphabet is a signed type.
1368 -Literal machines (strings, decimal and hex) have their values checked for
1369 overflow/underflow against the size of the alphabet type.
1370 -Table driven and goto driven output redesigned to support ranges. Table
1371 driven uses a binary search for locating single characters and ranges. Goto
1372 driven uses a switch statement for single characters and nested if blocks for
1374 -Switch driven output removed due to a lack of consistent advantages. Most of
1375 the time the switch driven FSM is of no use because the goto FSM makes
1376 smaller and faster code. Under certain circumstances it can produce smaller
1377 code than a goto driven fsm and be almost as fast, but some sporadic case
1378 does not warrant maintaining it.
1379 -Many warnings changed to errors.
1380 -Added option -p for printing the final fsm before minimization. This lets
1381 priorities be seen. Priorties are all reset to 0 before minimization. The
1382 exiting option -f prints the final fsm after minimization.
1383 -Fixed a bug in the clang test and example that resulted in redundant actions
1386 Ragel 1.3.4 - Nov 6, 2002
1387 =========================
1388 -Fixes to Chapter 1 of the guide.
1389 -Brought back the examples and made them current.
1390 -MSVC is no longer supported for compiling windows binaries because its
1391 support for the C++ standard is frustratingly inadequate, it will cost money
1392 to upgrade if it ever gets better, and MinGW is a much better alternative.
1393 -The build system now supports the --host= option for building ragel
1394 for another system (used for cross compiling a windows binary with MinGW).
1395 -Various design changes and fixes towards the goal of arbitrary integer
1396 alphabets and the handling of larger state machines were made.
1397 -The new shared vector class is now used for action lists in transitions and
1398 states to reduce memory allocations.
1399 -An avl tree is now used for the reduction of transitions and functions of an
1400 fsm graph before making the final machine. The tree allows better scalability
1401 and performance by not requiring consecutively larger heap allocations.
1402 -Final stages in the separation of fsm graph code from action embedding and
1403 priority assignment is complete. Makes the base graph leaner and easier to reuse
1404 in other projects (like Keller).
1406 Ragel 1.3.3 - Oct 22, 2002
1407 ==========================
1408 -More diagrams were added to section 1.7.1 of the user guide.
1409 -FSM Graph code was reworked to spearate the regex/nfa/minimizaion graph
1410 algorithms from the manipulation of state and transition properties.
1411 -An rpm spec file from Cris Bailiff was added. This allows an rpm for ragel
1412 to be built with the command 'rpm -ta ragel-x.x.x.tar.gz'
1413 -Fixes to the build system and corresponding doc updates in the README.
1414 -Removed autil and included the one needed source file directly in the top
1415 level ragel directory.
1416 -Fixed a bug that nullified the 20 times speedup in large compilations
1417 claimed by the last version.
1418 -Removed awk from the doc build (it was added with the last release -- though
1419 not mentioned in the changelog).
1420 -Install of man page was moved to the doc dir. The install also installs the
1421 user guide to $(PREFIX)/share/doc/ragel/
1423 Ragel 1.3.2 - Oct 16, 2002
1424 ==========================
1425 -Added option -v (or --version) to show version information.
1426 -The subtract operator no longer removes transition data from the machine
1427 being subtracted. This is left up to the user for the purpose of making it
1428 possible to transfer transitions using subtract and also for speeding up the
1429 subtract routine. Note that it is possible to explicitly clear transition
1430 data before a doing a subtract.
1431 -Rather severe typo bug fixed. Bug was related to transitions with higher
1432 priorities taking precedence. A wrong ptr was being returned. It appears to
1433 have worked most of the time becuase the old ptr was deleted and the new one
1434 allocated immediatly after so the old ptr often pointed to the same space.
1436 -Bug in the removing of dead end paths was fixed. If the start state
1437 has in transitions then those paths were not followed when finding states to
1438 keep. Would result in non-dead end states being removed from the graph.
1439 -In lists and in ranges are no longer maintained as a bst with the key as the
1440 alphabet character and the value as a list of transitions coming in on that
1441 char. There is one list for each of inList, inRange and inDefault. Now that
1442 the required functionality of the graph is well known it is safe to remove
1443 these lists to gain in speed and footprint. They shouldn't be needed.
1444 -IsolateStartState() runs on modification of start data only if the start
1445 state is not already isolated, which is now possible with the new in list
1447 -Concat, Or and Star operators now use an approximation to
1448 removeUnreachableStates that does not require a traversal of the entire
1449 graph. This combined with an 'on-the-fly' management of final bits and final
1450 state status results is a dramatic speed increase when compiling machines
1451 that use those operators heavily. The strings2 test goes 20 times faster.
1452 -Before the final minimization, after all fsm operations are complete,
1453 priority data is reset which enables better minimization in cases where
1454 priorities would otherwise separate similar states.
1456 Ragel 1.3.1 - Oct 2, 2002
1457 =========================
1458 -Range transitions are now used to implement machines made with /[a-z]/ and
1459 the .. operator as well as most of the builtin machines. The ranges are not
1460 yet reflected in the output code, they are expanded as if they came from the
1461 regular single transitions. This is one step closer to arbitrary integer
1463 -The builtin machine 'any' was added. It is equiv to the builtin extend,
1464 matching any characters.
1465 -The builtin machine 'cntrl' now includes newline.
1466 -The builtin machine 'space' now includes newline.
1467 -The builtin machine 'ascii' is now the range 0-127, not all characters.
1468 -A man page was written.
1469 -A proper user guide was started. Chapter 1: Specifying Ragel Programs
1470 was written. It even has some diagrams :)
1472 Ragel 1.3.0 - Sep 4, 2002
1473 =========================
1474 -NULL keyword no longer used in table output.
1475 -Though not yet in use, underlying graph structure changed to support range
1476 transitions. As a result, most of the code that walks transition lists is now
1477 implemented with an iterator that hides the complexity of the transition
1478 lists and ranges. Range transitions will be used to implement /[a-z]/ style
1479 machines and machines made with the .. operator. Previously a single
1480 transition would be used for each char in the range, which is very costly.
1481 Ranges eliminate much of the space complexity and allow for the .. operator
1482 to be used with very large (integer) alphabets.
1483 -New minimization similar to Hopcroft's alg. It does not require n^2 space and
1484 runs close to O(n*log(n)) (an exact analysis of the alg is very hard). It is
1485 much better than the stable and approx minimization and obsoletes them both.
1486 An exact implementation of Hopcroft's alg is desirable but not possible
1487 because the ragel implementation does not assume a finite alphabet, which
1488 Hopcroft's requires. Ragel will support arbitrary integer alphabets which
1489 must be treated as an infinite set for implementation considerations.
1490 -New option -m using above described minimization to replace all previous
1491 minimization options. Old options sill work but are obsolete and not
1493 -Bug fixed in goto style output. The error exit set the current state to 0,
1494 which is actually a valid state. If the machine was entered again it would go
1495 into the first state, very wrong. If the first state happened to be final then
1496 an immediate finish would accept when in fact it should fail.
1497 -Slightly better fsm minimization now capable due to clearing of the
1498 transition ordering numbers just prior to minimization.
1500 Ragel 1.2.2 - May 25, 2002
1501 ==========================
1502 -Configuration option --prefix now works when installing.
1503 -cc file extension changed to cpp for better portability.
1504 -Unlink of output file upon error no longer happens, removes dependency on
1505 unlink system command.
1506 -All multiline strings removed: not standard c++.
1507 -Awk build dependency removed.
1508 -MSVC 6.0 added to the list of supported compilers (with some tweaking of
1509 bison and flex output).
1511 Ragel 1.2.1 - May 13, 2002
1512 ==========================
1513 -Automatic dependencies were fixed, they were not working correctly.
1514 -Updated AUTHORS file to reflect contributors.
1515 -Code is more C++ standards compliant: compiles with g++ 3.0
1516 -Fixed bugs that only showed up in g++ 3.0
1517 -Latest (unreleased) Aapl.
1518 -Configuration script bails out if bison++ is installed. Ragel will not
1519 compile with bison++ because it is coded in c++ and bison++ automatically
1520 generates a c++ parser. Ragel uses a c-style bison parser.
1522 Ragel 1.2.0 - May 3, 2002
1523 =========================
1524 -Underlying graph structure now supports default transitions. The result is
1525 that a transition does not need to be made for each char of the alphabet
1526 when making 'extend' or '/./' machines. Ragel compiles machines that
1527 use the aforementioned primitives WAY faster.
1528 -The ugly hacks needed to pick default transitions now go away due to
1529 the graph supporting default transitions directly.
1530 -If -e is given, but minimization is not turned on, print a warning.
1531 -Makefiles use automatic dependencies.
1533 Ragel 1.1.0 - Apr 15, 2002
1534 ==========================
1535 -Added goto fsm: much faster than any other fsm style.
1536 -Default operator (if two machines are side by side with no operator
1537 between them) is concatenation. First showed up in 1.0.4.
1538 -The fsm machine no longer auotmatically builds the flat table for
1539 transition indicies. Instead it keeps the key,ptr pair. In tabcodegen
1540 the flat table is produced. This way very large alphabets with sparse
1541 transitions will not consume large amounts of mem. This is also in prep
1542 for fsm graph getting a default transition.
1543 -Generated code contains a statement explicitly stating that ragel fsms
1544 are NOT covered by the GPL. Technically, Ragel copies part of itself
1545 to the output to make the generic fsm execution routine (for table driven
1546 fsms only) and so the output could be considered under the GPL. But this
1547 code is very trivial and could easlily be rewritten. The actual fsm data
1548 is subject to the copyright of the source. To promote the use of Ragel,
1549 a special exception is made for the part of the output copied from Ragel:
1550 it may be used without restriction.
1551 -Much more elegant code generation scheme is employed. Code generation
1552 class members need only put the 'codegen' keyword after their 'void' type
1553 in order to be automatically registerd to handle macros of the same name.
1554 An awk script recognises this keyword and generates an appropriate driver.
1555 -Ragel gets a test suite.
1556 -Postfunc and prefunc go away because they are not supported by non
1557 loop-driven fsms (goto, switch) and present duplicate functionality.
1558 Universal funcs can be implemented by using $ operator.
1559 -Automatic dependencies used in build system, no more make depend target.
1560 -Code generation section in docs.
1561 -Uses the latests aapl.
1563 Ragel 1.0.5 - Mar 3, 2002
1564 =========================
1565 -Bugfix in SetErrorState that caused an assertion failure when compiling
1566 simple machines that did not have full transition tables (and thus did
1567 not show up on any example machines). Assertion failure did not occur
1568 when using the switch statement code as ragel does not call SetErrorState
1570 -Fixed some missing includes, now compiles on redhat.
1571 -Moved the FsmMachTrans Compare class out of FsmMachTrans. Some compilers
1572 don't deal with nested classes in templates too well.
1573 -Removed old unused BASEREF in fsmgraph and ragel now compiles using
1574 egcs-2.91.66 and presumably SUNWspro. The baseref is no longer needed
1575 because states do not support being elements in multiple lists. I would
1576 rather be able to support more compilers than have this feature.
1577 -Started a README with compilation notes. Started an AUTHORS file.
1578 -Started the user documentation. Describes basic machines and operators.
1580 Ragel 1.0.4 - Mar 1, 2002
1581 =========================
1582 -Ported to the version of Aapl just after 2.2.0 release. See
1583 http://www.ragel.ca/aapl/ for details on aapl.
1584 -Fixed a bug in the clang example: the newline machine was not stared.
1585 -Added explanations to the clang and mailbox examples. This should
1586 help people that want to learn the lanuage as the manual is far from
1589 Ragel 1.0.3 - Feb 2, 2002
1590 =========================
1591 -Added aapl to the ragel tree. No longer requires you to download
1592 and build aapl separately. Should avoid discouraging impatient users
1593 from compiling ragel.
1594 -Added the examples to the ragel tree.
1595 -Added configure script checks for bison and flex.
1596 -Fixed makefile so as not to die with newer versions of bison that
1597 write the header of the parser to a .hh file.
1598 -Started ChangeLog file.
1600 Ragel 1.0.2 - Jan 30, 2002
1601 ==========================
1602 -Bug fix in calculating highIndex for table based code. Was using
1603 the length of out tranisition table rather than the value at the
1605 -If high/low index are at the limits, output a define in their place,
1606 not the high/low values themselves so as not to cause compiler warnings.
1607 -If the resulting machines don't have any indicies or functions, then
1608 omit the empty unrefereced static arrays so as not to cause compiler
1609 warnings about unused static vars.
1610 -Fixed variable sized indicies support. The header cannot have any
1611 reference to INDEX_TYPE as that info is not known at the time the header
1612 data is written. Forces us to use a void * for pointers to indicies. In
1613 the c++ versions we are forced to make much of the data non-member
1614 static data in the code portion for the same reason.
1616 Ragel 1.0.1 - Jan 28, 2002
1617 ==========================
1618 -Exe name change from reglang to ragel.
1619 -Added ftabcodegen output code style which uses a table for states and
1620 transitions but uses a switch statement for the function execution.
1621 -Reformatted options in usage dump to look better.
1622 -Support escape sequences in [] sections of regular expressions.
1624 Ragel 1.0 - Jan 25, 2002
1625 ========================