Tools for the formal semantics of SDL-2000 (ITU-T Specification and Description Language)
License
BSD LicenseFollow SDL Formal Semantics Tool Chain
Other Useful Business Software
Gen AI apps are built with MongoDB Atlas
MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Rate This Project
Login To Rate This Project
User Reviews
-
I have a problem. When I try to compile, I have the following error: -sh-3.2$ make all cd Syntax;make runtime make[1]: se ingresa al directorio `/home/salcaraz/sdlc/SDLC/Syntax' kc++ --yystype syn-abstract.k syn-semantics.k syn-pretty.k syn-genlex.k syn-gentoken.k syn-genyacc.k syn-ast2kst_simple.k syn-genk.k syn-gentxt.k syn-genasm.k syn-genasml.k syn-gensatanictoken.k syn-gensatanicsel.k syn-gensatanicin.k fallthrough.k syn-print.k syn-ast2kst.k kc++: error at syn-genasml.k:1 col:92: syntax error, unexpected $undefined specification -> @1 declarations . declarations -> declarations . declaration ' token last read was: ' make[1]: *** [.kc_time_stamp] Error 1 make[1]: se sale del directorio `/home/salcaraz/sdlc/SDLC/Syntax' make: *** [runtime_syntax] Error 2 ¿could you help me, please?