The latest version of ivory-eval is 0.1.0.6-0.
ivory-eval
Version 0.1.0.3 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Simple concrete evaluator for Ivory programs
- Description
Warning! This module is experimental and its implementation may change dramatically.
- Author
- Galois, Inc.
- Bug reports
- n/a
- Category
- Testing
- Copyright
- 2014 Galois, Inc.
- Homepage
- http://smaccmpilot.org/languages/ivory-introduction.html
- Maintainer
- leepike@galois.com
- Package URL
- n/a
- Stability
- n/a