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
Go from Code to Production URL in Seconds
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Rate This Project
Login To Rate This Project
User Reviews
-
5 out of 5 starsI 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?
