source: mainline/contrib/arch@ 0a1a313

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Name Size Rev Age Author Last Change
../
kernel 6d4c549   16 years martin streamline the behavior protocols add support for initialization and …
uspace 0a1a313   16 years martin fix protocols w.r.t. nested calls
hadlbppp.py 39.1 KB ​ 100aaf5   16 years martin add support for generating Extended Bahavior Protocols output
HelenOS.adl 954 bytes ​ 82cf692   16 years martin protocol closure (now all bindings are satisfied and the whole …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.