HybridSal -- A tool for abstracting hybridsal specifications to SAL specifications
Ashish Tiwari
This page will soon be outdated.
The official page is
Hybridsal.
Download
hybridsal-lite.tgz.
Documentation
HybridSalDoc.ps (slightly outdated).
Updates
-
06.06.07: hybridsal2xml/install.sh script had a bug.
This has been fixed in the updated version above.
-
06.19.07: If running using alisp, start alisp and give
the command
(set-case-mode :case-sensitive-lower)
before doing (load "load.lisp")
Return to the Ashish's home page
Return to the Computer Science Laboratory home page