package libsail

You can search for identifiers within the package.

in-package search v0.2.0

Sail is a language for describing the instruction semantics of processors

Install

dune-project

Dependency

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

Authors

Maintainers

S

Sail Devs <cl-sail-dev@lists.cam.ac.uk>

Sources

sail-0.20.1.tbz

sha256=ba81b8d7aa5705e04064013ab20c006b80c6db44f95225ac4fbf6042297e50eb

sha512=7f4418a8c9b5982bc30f9f9de2036a8ee7bf463edd0ade3c4b8d592935d9548fc006f95e3ee8e52cbed20f3c3f839a68daacab00cfa49b5f302d70c7b49264c6

doc/libsail/Libsail/Constant_propagation_mutrec/index.html

Module `Libsail.Constant_propagation_mutrec`Source

Sourceval targets : Ast.id list ref

Sourceval is_const_exp : Type_check.tannot Ast.exp -> bool

Sourceval is_const_fexp : Type_check.tannot Ast.fexp -> bool

Sourceval recheck_exp : Type_check.tannot Ast.exp -> Type_check.tannot Ast.exp

Sourceval generate_fun_id : Ast.id -> Type_check.tannot Ast.exp list -> Ast.id

Source

val generate_val_spec : 
  Type_check.Env.t ->
  Ast.id ->
  Type_check.tannot Ast.exp list ->
  Parse_ast.l ->
  Type_check.tannot ->
  Ast_util.untyped_def * Ast.typ_arg Ast_util.KBindings.t

Source

val const_prop : 
  string ->
  Type_check.Env.t ->
  Type_check.typed_ast ->
  Type_check.tannot Ast.exp Ast_util.Bindings.t ->
  Ast.typ_arg Ast_util.KBindings.t ->
  Type_check.tannot Ast.exp ->
  Type_check.tannot Ast.exp

Source

val prop_args_pexp : 
  string ->
  Type_check.Env.t ->
  Type_check.typed_ast ->
  Ast.typ_arg Ast_util.KBindings.t ->
  Type_check.tannot Ast.exp list ->
  Type_check.tannot Ast.pexp ->
  Type_check.tannot Ast.pexp

Source

val rewrite_ast : 
  string ->
  Effects.side_effect_info ->
  Type_check.Env.t ->
  (Type_check.tannot, Type_check.env) Ast_defs.ast ->
  Type_check.typed_ast * Effects.side_effect_info * Type_check.Env.t

package libsail

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/libsail/Libsail/Constant_propagation_mutrec/index.html

Module Libsail.Constant_propagation_mutrecSource

dune-project
Dependency

Module `Libsail.Constant_propagation_mutrec`Source