SourceForge logo
SourceForge logo

SDL Formal Semantics Tool Chain

Status: Beta
Brought to you by: loewis
Share This
Email in envelope

Get an email when there's a new version of SDL Formal Semantics Tool Chain

Linux Windows

Tools for the formal semantics of SDL-2000 (ITU-T Specification and Description Language)

Project Activity

See All Activity >

License

BSD License

Follow SDL Formal Semantics Tool Chain

SDL Formal Semantics Tool Chain Web Site

You Might Also Like
Run your private office with the ONLYOFFICE Icon
Run your private office with the ONLYOFFICE

Secure office and productivity apps

A Comprehensive Alternative to Office 365 for Business
Learn More
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 5 / 5

User Reviews

  • salcaraz Posted 2014年06月12日
    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?
Read more reviews>

Additional Project Details

Operating Systems

BSD, Linux, Windows

Intended Audience

Developers, Telecommunications Industry

Programming Language

C#, C++

Related Categories

C# Code Generators, C# Scientific Engineering, C++ Code Generators, C++ Scientific Engineering

Registered

2003年07月05日
Thanks for helping keep SourceForge clean.
X

Briefly describe the problem (required):
Upload screenshot of ad (required):
Select a file, or drag & drop file here.
Screenshot instructions:

Click URL instructions:
Right-click on the ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Ad destination/click URL:

AltStyle によって変換されたページ (->オリジナル) /