CSY/reowolf Files · Cargo.toml · Centrum Wiskunde & Informatica (CWI)

Files @ 3ffeb97c88a7

Branch filter:

Location: CSY/reowolf/Cargo.toml

3ffeb97c88a7 1.2 KiB text/plain Show Annotation Show as Raw Download as Raw

Add docs for implementing infinite types in a value based language.

Since we are a value based language and do not have the concept of
pointers, then if we want to lay out the memory of datatypes we run
into a problem when the types represent recursive datastructures:
these are infinite in size. So we have an algorithm for turning
some types into pointer-like things, such that we can lay everything
out in memory.

[package]
name = "reowolf_rs"
version = "0.1.4"
authors = [
	"Christopher Esterhuyse <esterhuy@cwi.nl, christopher.esterhuyse@gmail.com>",
	"Hans-Dieter Hiep <hdh@cwi.nl>"
]
edition = "2018"

[dependencies]
# convenience macros
maplit = "1.0.2"
derive_more = "0.99.2"

# runtime
bincode = "1.3.1"
serde = { version = "1.0.114", features = ["derive"] }
getrandom = "0.1.14" # tiny crate. used to guess controller-id

# network
mio = { version = "0.7.0", package = "mio", features = ["udp", "tcp", "os-poll"] }
socket2 = { version = "0.3.12", optional = true }

# protocol
backtrace = "0.3"
lazy_static = "1.4.0"

# ffi

# socket ffi
libc = { version = "^0.2", optional = true }
os_socketaddr = { version = "0.1.0", optional = true }

[dev-dependencies]
# test-generator = "0.3.0"
crossbeam-utils = "0.7.2"
lazy_static = "1.4.0"

[lib]
crate-type = [
	"rlib", # for use as a Rust dependency. 
	"cdylib" # for FFI use, typically C.
]

[features]
default = ["ffi"]
ffi = [] # see src/ffi/mod.rs
ffi_pseudo_socket_api = ["ffi", "libc", "os_socketaddr"]# see src/ffi/pseudo_socket_api.rs.
endpoint_logging = [] # see src/macros.rs
session_optimization = [] # see src/runtime/setup.rs
no_logging = [] # see src/macros.rs