2009-08-06 Michael Weber * src/CodeGen/VType.java (vtypeIntern), src/CodeGen/VAddr.java (vaddrIntern): treat array reference "a" without subscript as "a[0]", like in SPIN. * src/Start.java: "java -jar ..." starts compiler (non-backwards compatible change to the command-line interface) 2007-03-27 Michael Weber * Released version 1.2.5 2007-03-26 Michael Weber * src/StatSem/StatSem.java (visitNode_mtype): process children reversed, so that "mtype { a, b }; mtype { c, d };" yields mapping: a = 2, b = 1, c = 4, d = 3; reported by * src/CodeGen/CodeGen.java (CodeGen): zero mtype value means uninitialized, like in SPIN; prints as "0" * src/Ast/AstNodesGenerator.java (writeVisitor): added acceptChildrenReversed method * testing/testfiles/mtype1_test.pr, testing/testfiles/mtype2_test.pr: added 2007-03-10 Michael Weber * Released version 1.2.4 * build.xml: changed from CVS to SVN. Needs SvnAnt and probably ant >= 1.7.0. 2007-03-09 Michael Weber * src/CodeGen/Recv.java (visitNode_eval): handle mtype definitions inside eval. * src/parser/promela.sablecc: allow multiple separators in a row (; ->) as extension to the SPIN Book grammar 2006-07-06 Michael Weber * CodeGen: use NIPS_HOME environment variable if set * BUGS: #4 (remote refs only visible in top-level scope of a process) 2006-02-06 Michael Weber * src/CodeGen/Expr.java: bug fixes in code generator (visitNode_bit_or) renamed from visitNode_bit_pipe. (visitNode_bit_xor) renamed from visitNode_bit_exp. 2006-02-03 Michael Weber * Released version 1.2.3 * build.xml (source-dist): pull repo from CVS and make tarball * Makefile: removed; now using ant * src/xml/XmlSerializer.java (main): loads XSL style sheet from xml/parse2ast.xsl * src/xml/parse2ast.xsl: now uses dtd from classpath://xml/promela-ast.dtd * CodeGen, StatSem, lexer, xml-serializer, DEMO, display-parser, display-xml: adapted to use jar instead of build directory * src/xml/XmlVisitorGeneratorTask.java: Ant task which wraps the XmlVisitorGenerator command line tool. Thanks to Stephan Mueller. * src/Ast/AstNodesGeneratorTask.java: Ant task which wraps the AstNodesGenerator command line tool. Thanks to Stephan Mueller. * src/Start.java: new; provide trampoline for multiple entry points into jar, e.g.: java -jar nips-promela-compiler.jar xml.XmlSerializer ... * build.properties: new; canonical place for version number * build.xml: new; now the default way to build the compiler 2006-01-22 Michael Weber * src/CodeGen/Expr.java, testing/testfiles/boolean_expr_test.pr: * implemented short-circuit semantics for || and && otherwise hilarity ensues with expressions like: x < max && array[x] 2006-01-16 Michael Weber * testing/testfiles/shift_test.pr: * added test for << and >> operators (shift) * CodeGen: bail out on error, quoting variables * src/xml/parse2ast.xsl: Renamed elements to match DTD and compiler l-shift -> ltlt r-shift -> gtgt 2006-01-01 Gustavo Quiros * src/CodeGen/Expr.java: applied patch: structure information for remote variables (with ".") 2005-11-24 Michael Weber * src/CodeGen/CodeGen.java: band-aid to make CodeGen really accept an output file as second parameter 2005-10-03 Stefan Schuermans * src/parser/promela.sablecc, src/xml/parse2ast.xsl, src/xml/promela-ast.dtd: forgot to change email address at three locations 2005-09-30 Stefan Schuermans * testing/parser/NegParserTest.java, testing/parser/OneParserTest.java, testing/parser/ParserTest.java, testing/xmlserializer/OneXmlSerializerTest.java, testing/xmlserializer/XmlSerializerTest.java, src/lexer/LexerMain.java, src/lexer/PromelaLexer.java, src/parser/Utilities.java, src/parser/promela.sablecc, src/xml/XmlHandler.java, src/xml/XmlSerializer.java, src/xml/XmlVisitorGenerator.java, src/xml/parse2ast.xsl, src/xml/promela-ast.dtd, testing/lexer/LexerTest.java, testing/lexer/OneLexerTest.java, src/StatSem/AstPrinter.java, src/StatSem/StatSem.java, src/StatSem/SymTab/DuplicateDeclaration.java, src/StatSem/SymTab/Scope.java, src/StatSem/SymTab/SymTab.java, src/StatSem/SymTab/SymTabArray.java, src/StatSem/SymTab/SymTabArrayBase.java, src/StatSem/SymTab/SymTabArrayChan.java, src/StatSem/SymTab/SymTabArrayUType.java, src/StatSem/SymTab/SymTabEntry.java, src/StatSem/SymTab/SymTabMType.java, src/StatSem/SymTab/SymTabProc.java, src/StatSem/SymTab/SymTabUType.java, src/StatSem/SymTab/SymTabVar.java, src/StatSem/SymTab/SymTabVarBase.java, src/StatSem/SymTab/SymTabVarChan.java, src/StatSem/SymTab/SymTabVarOrArray.java, src/StatSem/SymTab/SymTabVarUType.java, src/StatSem/SymTab/Util.java, src/display/ASTDisplay.java, src/display/ParserMain.java, src/display/XMLDisplay.java, src/CodeGen/Init.java, src/CodeGen/Instr/DLList.java, src/CodeGen/Instr/DLListEl.java, src/CodeGen/Instr/Instr.java, src/CodeGen/Instr/InstrChanNew.java, src/CodeGen/Instr/InstrChanOfs.java, src/CodeGen/Instr/InstrFlag.java, src/CodeGen/Instr/InstrFlags.java, src/CodeGen/Instr/InstrIdxCheck.java, src/CodeGen/Instr/InstrInfo.java, src/CodeGen/Instr/InstrJump.java, src/CodeGen/Instr/InstrLVar.java, src/CodeGen/Instr/InstrLabel.java, src/CodeGen/Instr/InstrLoadCon.java, src/CodeGen/Instr/InstrLoadSpecial.java, src/CodeGen/Instr/InstrLoadVar.java, src/CodeGen/Instr/InstrLoadVarAddr.java, src/CodeGen/Instr/InstrLoop.java, src/CodeGen/Instr/InstrPrintS.java, src/CodeGen/Instr/InstrPrintV.java, src/CodeGen/Instr/InstrReal.java, src/CodeGen/Instr/InstrReg.java, src/CodeGen/Instr/InstrRun.java, src/CodeGen/Instr/InstrSeq.java, src/CodeGen/Instr/InstrSimple.java, src/CodeGen/Instr/InstrSize.java, src/CodeGen/Instr/InstrSrcLoc.java, src/CodeGen/Instr/InstrStep.java, src/CodeGen/Instr/InstrStoreVar.java, src/CodeGen/Instr/InstrStoreVarAddr.java, src/CodeGen/Instr/InstrStrInf.java, src/CodeGen/Instr/InstrTrunc.java, src/CodeGen/InvalidAddress.java, src/CodeGen/InvalidEntryCnt.java, src/CodeGen/InvalidType.java, src/CodeGen/LabelFactory.java, src/CodeGen/LabelFinder.java, src/CodeGen/NotDeclared.java, src/CodeGen/Proc.java, src/CodeGen/Prog.java, src/CodeGen/Recv.java, src/CodeGen/Run.java, src/CodeGen/SStmnt.java, src/CodeGen/Send.java, src/CodeGen/Sequence.java, src/CodeGen/Step.java, src/CodeGen/Stmnt.java, src/CodeGen/VAddr.java, src/CodeGen/VType.java, src/CodeGen/VValue.java, ChangeLog, README, doc/doc.txt, src/Ast/AstCreator.java, src/Ast/AstNodesGenerator.java, src/Ast/InlineProcessor.java, src/CodeGen/BreakLabel.java, src/CodeGen/CodeGen.java, src/CodeGen/CodeGenEx.java, src/CodeGen/Constants.java, src/CodeGen/ErrorCollector.java, src/CodeGen/Expr.java: preparing release 1.2.1 1.2.1 2005-09-30 ---------------- added variable names as structure information removal of libs not needed repaired code for "int x = 5; int y = x;" 1.2 2005-09-06 -------------- first public release