https://github.com/viperproject/chalice2silver

https://github.com/viperproject/chalice2silver

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/viperproject/chalice2silver
• Owner: viperproject
• License: other
• Created: 2020-03-23T15:14:52.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-03-23T15:20:30.000Z (about 6 years ago)
• Last Synced: 2026-02-02T17:13:02.981Z (4 months ago)
• Language: Scala
• Size: 23.8 MB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 46
• Metadata Files:
  • Readme: README.txt
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
Chalice2Silver - README

Chalice2Silver is a translator from front-end verification language Chalice to the

intermediate representation language Silver, which is used by verification and static analysis

tools, such as the symbolic execution engine Silicon.

Please read the Wiki for instructions on how to use Chalice2Silver.