#standard #lustre #suite #node #chandeliers #definition

nightly chandeliers-std

A standard library for the Chandeliers suite

20 releases (1 stable)

1.0.0 Jan 5, 2024
0.6.1 Jan 4, 2024
0.5.2 Dec 29, 2023
0.5.0 Nov 24, 2023
0.2.6 Oct 27, 2023

#1429 in Algorithms


Used in chandeliers-lus

MIT/Apache

62KB
1.5K SLoC

Chandeliers-Std

Standard library for the Chandeliers suite (Lustre-in-Rust).


This crates provides definitions of Lustre nodes written in the style of Candle (see chandeliers-sem). These nodes usually cannot be primitively expressed in pure Lustre.

Provided

Type conversions

In module cast:

extern node float_of_int(i : int) returns (f : float);
extern node ceil(f : float) returns (i : int);
extern node floor(f : float) returns (i : int);

Randomness

In module rand:

extern node random_int() returns (i : int);
extern node random_float() returns (f : float);
extern node random_bool() returns (b : bool);

lib.rs:

"Standard library" of Candle.

Dependencies

~340KB