Opam Package lascar.0.7.0

Package info

opam-namelascar
opam-version0.7.0
synopsisA library for manipulating Labeled Transition Systems in OCaml
descriptionA library for manipulating Labeled Transition Systems in OCaml
authors
  • Jocelyn Sérot <jocelyn.serot@uca.fr>
homepagehttp://github.com/jserot/lascar
licenseMIT
changes-fileCHANGES.md
readme-fileREADME.md
deps (4)
revdeps (1)
metas (2)
libraries (2)

Package modules

Package sources

lascar

Package files

lib/lascar/valuation.mli
lib/lascar/valuation.ml
lib/lascar/utils/utils__Tree.cmx
lib/lascar/utils/utils__Tree.cmti
lib/lascar/utils/utils__Tree.cmt
lib/lascar/utils/utils__Tree.cmi
lib/lascar/utils/utils__Stringable.cmx
lib/lascar/utils/utils__Stringable.cmti
lib/lascar/utils/utils__Stringable.cmt
lib/lascar/utils/utils__Stringable.cmi
lib/lascar/utils/utils__StringExt.cmx
lib/lascar/utils/utils__StringExt.cmti
lib/lascar/utils/utils__StringExt.cmt
lib/lascar/utils/utils__StringExt.cmi
lib/lascar/utils/utils__SetExt.cmx
lib/lascar/utils/utils__SetExt.cmti
lib/lascar/utils/utils__SetExt.cmt
lib/lascar/utils/utils__SetExt.cmi
lib/lascar/utils/utils__Parsing.cmx
lib/lascar/utils/utils__Parsing.cmti
lib/lascar/utils/utils__Parsing.cmt
lib/lascar/utils/utils__Parsing.cmi
lib/lascar/utils/utils__OrderedTypeExt.cmx
lib/lascar/utils/utils__OrderedTypeExt.cmti
lib/lascar/utils/utils__OrderedTypeExt.cmt
lib/lascar/utils/utils__OrderedTypeExt.cmi
lib/lascar/utils/utils__Option.cmx
lib/lascar/utils/utils__Option.cmti
lib/lascar/utils/utils__Option.cmt
lib/lascar/utils/utils__Option.cmi
lib/lascar/utils/utils__Misc.cmx
lib/lascar/utils/utils__Misc.cmti
lib/lascar/utils/utils__Misc.cmt
lib/lascar/utils/utils__Misc.cmi
lib/lascar/utils/utils__ListExt.cmx
lib/lascar/utils/utils__ListExt.cmti
lib/lascar/utils/utils__ListExt.cmt
lib/lascar/utils/utils__ListExt.cmi
lib/lascar/utils/utils__FilenameExt.cmx
lib/lascar/utils/utils__FilenameExt.cmti
lib/lascar/utils/utils__FilenameExt.cmt
lib/lascar/utils/utils__FilenameExt.cmi
lib/lascar/utils/utils__Dot.cmx
lib/lascar/utils/utils__Dot.cmti
lib/lascar/utils/utils__Dot.cmt
lib/lascar/utils/utils__Dot.cmi
lib/lascar/utils/utils.ml
lib/lascar/utils/utils.cmxs
lib/lascar/utils/utils.cmxa
lib/lascar/utils/utils.cmx
lib/lascar/utils/utils.cmt
lib/lascar/utils/utils.cmi
lib/lascar/utils/utils.cma
lib/lascar/utils/utils.a
lib/lascar/utils/tree.mli
lib/lascar/utils/tree.ml
lib/lascar/utils/stringable.mli
lib/lascar/utils/stringable.ml
lib/lascar/utils/stringExt.mli
lib/lascar/utils/stringExt.ml
lib/lascar/utils/setExt.mli
lib/lascar/utils/setExt.ml
lib/lascar/utils/parsing.mli
lib/lascar/utils/parsing.ml
lib/lascar/utils/orderedTypeExt.mli
lib/lascar/utils/orderedTypeExt.ml
lib/lascar/utils/option.mli
lib/lascar/utils/option.ml
lib/lascar/utils/misc.mli
lib/lascar/utils/misc.ml
lib/lascar/utils/listExt.mli
lib/lascar/utils/listExt.ml
lib/lascar/utils/filenameExt.mli
lib/lascar/utils/filenameExt.ml
lib/lascar/utils/dot.mli
lib/lascar/utils/dot.ml
lib/lascar/utils
lib/lascar/opam
lib/lascar/nfa.mli
lib/lascar/nfa.ml
lib/lascar/moore.mli
lib/lascar/moore.ml
lib/lascar/mealy.mli
lib/lascar/mealy.ml
lib/lascar/ltsa.mli
lib/lascar/ltsa.ml
lib/lascar/lts.mli
lib/lascar/lts.ml
lib/lascar/lascar__Valuation.cmx
lib/lascar/lascar__Valuation.cmti
lib/lascar/lascar__Valuation.cmt
lib/lascar/lascar__Valuation.cmi
lib/lascar/lascar__Nfa.cmx
lib/lascar/lascar__Nfa.cmti
lib/lascar/lascar__Nfa.cmt
lib/lascar/lascar__Nfa.cmi
lib/lascar/lascar__Moore.cmx
lib/lascar/lascar__Moore.cmti
lib/lascar/lascar__Moore.cmt
lib/lascar/lascar__Moore.cmi
lib/lascar/lascar__Mealy.cmx
lib/lascar/lascar__Mealy.cmti
lib/lascar/lascar__Mealy.cmt
lib/lascar/lascar__Mealy.cmi
lib/lascar/lascar__Ltsa.cmx
lib/lascar/lascar__Ltsa.cmti
lib/lascar/lascar__Ltsa.cmt
lib/lascar/lascar__Ltsa.cmi
lib/lascar/lascar__Lts.cmx
lib/lascar/lascar__Lts.cmti
lib/lascar/lascar__Lts.cmt
lib/lascar/lascar__Lts.cmi
lib/lascar/lascar__Fsm_value.cmx
lib/lascar/lascar__Fsm_value.cmti
lib/lascar/lascar__Fsm_value.cmt
lib/lascar/lascar__Fsm_value.cmi
lib/lascar/lascar__Fsm_transition.cmx
lib/lascar/lascar__Fsm_transition.cmti
lib/lascar/lascar__Fsm_transition.cmt
lib/lascar/lascar__Fsm_transition.cmi
lib/lascar/lascar__Fsm_expr.cmx
lib/lascar/lascar__Fsm_expr.cmti
lib/lascar/lascar__Fsm_expr.cmt
lib/lascar/lascar__Fsm_expr.cmi
lib/lascar/lascar__Fsm_condition.cmx
lib/lascar/lascar__Fsm_condition.cmti
lib/lascar/lascar__Fsm_condition.cmt
lib/lascar/lascar__Fsm_condition.cmi
lib/lascar/lascar__Fsm_action.cmx
lib/lascar/lascar__Fsm_action.cmti
lib/lascar/lascar__Fsm_action.cmt
lib/lascar/lascar__Fsm_action.cmi
lib/lascar/lascar__Fsm.cmx
lib/lascar/lascar__Fsm.cmti
lib/lascar/lascar__Fsm.cmt
lib/lascar/lascar__Fsm.cmi
lib/lascar/lascar__Dfa.cmx
lib/lascar/lascar__Dfa.cmti
lib/lascar/lascar__Dfa.cmt
lib/lascar/lascar__Dfa.cmi
lib/lascar/lascar__Conv.cmx
lib/lascar/lascar__Conv.cmti
lib/lascar/lascar__Conv.cmt
lib/lascar/lascar__Conv.cmi
lib/lascar/lascar__Builtins.cmx
lib/lascar/lascar__Builtins.cmti
lib/lascar/lascar__Builtins.cmt
lib/lascar/lascar__Builtins.cmi
lib/lascar/lascar.ml
lib/lascar/lascar.cmxs
lib/lascar/lascar.cmxa
lib/lascar/lascar.cmx
lib/lascar/lascar.cmt
lib/lascar/lascar.cmi
lib/lascar/lascar.cma
lib/lascar/lascar.a
lib/lascar/fsm_value.mli
lib/lascar/fsm_value.ml
lib/lascar/fsm_transition.mli
lib/lascar/fsm_transition.ml
lib/lascar/fsm_expr.mli
lib/lascar/fsm_expr.ml
lib/lascar/fsm_condition.mli
lib/lascar/fsm_condition.ml
lib/lascar/fsm_action.mli
lib/lascar/fsm_action.ml
lib/lascar/fsm.mli
lib/lascar/fsm.ml
lib/lascar/dune-package
lib/lascar/dfa.mli
lib/lascar/dfa.ml
lib/lascar/conv.mli
lib/lascar/conv.ml
lib/lascar/builtins.mli
lib/lascar/builtins.ml
lib/lascar/META
lib/lascar
doc/lascar/README.md
doc/lascar/LICENSE
doc/lascar/CHANGES.md
doc/lascar/CHANGES.html
doc/lascar