Skip to content

Parameterised Scribble protocol descripton language support library

Notifications You must be signed in to change notification settings

sessionc/libscribble

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

29 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

libscribble

Scribble protocol descripton language support library for Session C.

This library includes the role-parametrised "Pabble" extension of Scribble language.

Dependencies:

  • sessionc/libsesstype
  • A recent version of lex/yacc

About

Parameterised Scribble protocol descripton language support library

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages