blob: fe3d3db14540cb9affbc8eeb32cf495859ba4311 (
plain)
1
2
3
4
5
6
7
|
Copyright (c) 2000-2003 by Lucent Technologies - Bell Laboratories
All Rights Reserved. This software is for educational purposes only.
Permission is given to distribute this code provided that this intro-
ductory message is not removed and no monies are exchanged.
No guarantee is expressed or implied by the distribution of this code.
Software written by Gerard J. Holzmann based on the public domain
ANSI-C parser Ctree Version 0.14 from Shaun Flisakowski
|