Download Latest Version redlib.a.130816.tar.gz (2.4 MB)
Email in envelope

Get an email when there's a new version of REDLIB

Name Modified Size InfoDownloads / Week
Parent folder
README.red.syntax.110305.txt 2011-03-05 802 Bytes
redlex.l 2011-03-05 86.4 kB
red.syntax.110304.TXT 2011-03-05 12.4 kB
Totals: 3 Items   99.6 kB 0
** THANKS FOR YOUR INTERESTS AT RED ** 
There are two files that you can download for the syntax of RED. 

  red.syntax.******.txt
  This is the yacc grammar rules for RED. 
  However, there is much more to the modeling of communicating timed automatas. 
  You will also see rules for the GUI display, 
  the run-time query through REDLIB, and 
  the debugging purpose. 
  
  redlex.l 
  This is the LEX lexical analyzer for RED.
  The file contains the definitions of all the tokens in RED. 
  Some tokens are recognized with the help of certain data-structures 
  internal to our parser. 
  We do not have an idea how to explain this clearly. 
  So we decide to have the source code of the token analyzer here 
  for your reference. 
  
If there are any questions, please do not hesitate to ask us. 
Source: README.red.syntax.110305.txt, updated 2011-03-05