# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies. # # If you are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" name = "osiris-typed" version = "0.1.1" authors = ["Sébastien Geldreich"] description = "A type context for a virtual machine." readme = "README.md" keywords = [ "virtual-machine", "processor", "type-system", ] categories = [ "virtualization", "emulators", ] license = "MIT" repository = "https://asgard.trehinos.eu/osiris/typed" [dependencies.osiris-data] version = "0.*" features = ["data"] default-features = false [dependencies.osiris-process] version = "0.*" features = ["base-floating"] default-features = false