package encoding

You can search for identifiers within the package.

in-package search v0.2.0

Smt encoding library

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

F

Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Maintainers

F

Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

md5=dc6d0f89b7b3c38c78c2844a54c6386b

sha512=03b70558322ef654bc1a3ea3ff1c029b8aecd7ed35d98ad4b4089c00905ee6eade180d5a4f4470078217ae60830591528ff2ccdc861083c840a0c52606cb0220

doc/encoding/Encoding/Ty/index.html

Module `Encoding.Ty`Source

Sourcetype _ cast =

| C8 : int cast
| C32 : int32 cast
| C64 : int64 cast

Sourcetype sz =

| S8
| S32
| S64

Sourcetype t =

| Ty_int
| Ty_real
| Ty_bool
| Ty_str
| Ty_bitv of sz
| Ty_fp of sz

Sourcetype unop =

| Neg
| Not
| Clz
| Abs
| Sqrt
| Nearest
| Is_nan
| Ceil
| Floor
| Len
| Trim

Sourcetype binop =

| Add
| Sub
| Mul
| Div
| DivU
| Rem
| RemU
| Shl
| ShrA
| ShrL
| And
| Or
| Xor
| Pow
| Min
| Max
| Rotl
| Rotr
| Nth
| Concat

Sourcetype relop =

| Eq
| Ne
| Lt
| LtU
| Gt
| GtU
| Le
| LeU
| Ge
| GeU

Sourcetype triop =

| Ite
| Substr

Sourcetype cvtop =

| ToString
| OfString
| ToBool
| OfBool
| Reinterpret_int
| Reinterpret_float
| DemoteF64
| PromoteF32
| ConvertSI32
| ConvertUI32
| ConvertSI64
| ConvertUI64
| TruncSF32
| TruncUF32
| TruncSF64
| TruncUF64
| WrapI64
| ExtS of int
| ExtU of int
| String_to_code
| String_from_code

Sourceval pp_unop : Format.formatter -> unop -> unit

Sourceval pp_binop : Format.formatter -> binop -> unit

Sourceval pp_triop : Format.formatter -> triop -> unit

Sourceval pp_relop : Format.formatter -> relop -> unit

Sourceval pp_cvtop : Format.formatter -> cvtop -> unit

Sourceval pp : Format.formatter -> t -> unit

Sourceval string_of_type : t -> string

Sourceval size : t -> int