• Join/Login
  • Business Software
  • Open Source Software
  • For Vendors
  • Blog
  • About
  • More
    • Articles
    • Create
    • SourceForge Podcast
    • Site Documentation
    • Subscribe to our Newsletter
    • Support Request
SourceForge logo
For Vendors Help Create Join Login
SourceForge logo
Business Software
Open Source Software
SourceForge Podcast
Resources
  • Articles
  • Case Studies
  • Blog
Menu
  • Help
  • Create
  • Join
  • Login
  • Home
  • Browse
  • Community Z Tools
  • Code
Community Z Tools

Community Z Tools Code

Tool support for the Z formal notation

Status: Beta
Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller
  • Summary
  • Files
  • Reviews
  • Support
  • Mailing Lists
  • Bugs
  • Feature Requests
  • News
  • Discussion
  • Code
Menu ▾ ▴
 
  • Browse Commits
  • Fork
  • Merge Requests 0
  • Forks 1

Branches

  • master
  • circus-time
  • czt_0_5
  • czt_1_0
  • default-section-parents
  • eclipse-circus
  • grammar0_patches
  • jaxb2
  • modelinfo
  • oh-circus
  • More Branches

Tags

  • OLD_PARSER
  • before-removal-of-generated-classes
  • corejava_1_1_0
  • corejava_1_1_1
  • corejava_1_1_2
  • corejava_1_2_0
  • czt_0_1
  • czt_0_2
  • czt_0_3
  • czt_0_4
  • More Tags

Commit [803e15]  Maximize  Restore  History

ADD: communication as part of channel set expressions rather than just list of DECORWORD names.

TODO: update smart scanner

Leo Freitas Leo Freitas 2016-12-07

Browse code at this revision

Parent: [a3dcee]

Child: [2c0c2f]

changed parser/parser-src/src/main/resources/templates/Parser.xml
parser/parser-src/src/main/resources/templates/Parser.xml Diff Switch to side-by-side view
Loading...
SourceForge
  • Create a Project
  • Open Source Software
  • Business Software
  • Top Downloaded Projects
Company
  • About
  • Team
  • SourceForge Headquarters
    1320 Columbia Street Suite 310
    San Diego, CA 92101
    +1 (858) 422-6466
Resources
  • Support
  • Site Documentation
  • Site Status
  • SourceForge Reviews
SourceForge logo
© 2025 Slashdot Media. All Rights Reserved.
Terms Privacy Opt Out Advertise