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
Iris Powered By Generali - Iris puts your customer in control of their identity.
Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.
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?
