The latest version of ivory-eval is 0.1.0.6-0.

ivory-eval

Version 0.1.0.3 revision 0 uploaded by LeePike.

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

Components