saltoILversion Documentation on ocaml.org
Salto Intermediate Language
The Salto Intermediate Language is a simplified version of the OCaml TypedTree. This library provides function to transform the OCaml TypedTree into the Salto IL, and to transform the Salto IL into the OCaml ParseTree.
| Authors | Benoît Montagu <benoit.montagu@inria.fr> and Pierre Lermusiaux <pierre.lermusiaux@inria.fr> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://gitlab.inria.fr/salto/salto-il |
| Issue Tracker | https://gitlab.inria.fr/salto/salto-il/-/issues |
| Maintainers | Benoît Montagu <benoit.montagu@inria.fr> and Pierre Lermusiaux <pierre.lermusiaux@inria.fr> |
| Dependencies |
|
| Source [http] | https://salto.gitlabpages.inria.fr/salto-IL/releases/saltoIL-0.2.1.tbz sha256=5714a2ab14c9834796bdeb9cc4268f07db64616661e62ba57b844f43aca92391 sha512=120588de6c6260c7a6526b6c940670f18727adb913f0bfcd27e5cb7148cea8277a7f47aeb64eb497f42649ced18f2e9bf4da4b973e5bc125711a11863e6fb98f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/saltoIL/saltoIL.0.2.1/opam |
Required by
- salto-analyzer>=0.2


