monobloc
An experimental programming language.
Star
Fork
Watch

Commits on wip

Hanno Braun
WIP v0
committed
Hanno Braun
WIP syntax
committed
Hanno Braun
WIP continuations
committed
Hanno Braun
Retire repository main
committed
Hanno Braun
Add conversions from 32-bit types to `Value`
committed
Hanno Braun
Track values on a stack at runtime
committed
Hanno Braun
Generate return parameters for calls to `TestHost`
committed
Hanno Braun
Store arguments of calls to `TestHost`
committed
Hanno Braun
Add `HostCall`
committed
Hanno Braun
Add `Value`
committed
Hanno Braun
Split property test into more specific ones
committed
Hanno Braun
Make name of test more specific
committed
Hanno Braun
Prepare to split property test into multiple
committed
Hanno Braun
Fix abort condition in property test
committed
Hanno Braun
Simplify values tests
committed
Hanno Braun
Remove redundant code
committed
Hanno Braun
Remove debug output
committed
Hanno Braun
Move end-to-end tests to dedicated crate
committed
Hanno Braun
Add missing re-export of `HostFnAttrs`
committed
Hanno Braun
Add property test
committed
Hanno Braun
Trigger error, if exceeding stack capacity
committed
Hanno Braun
Leaving values on the stack triggers error
committed
Hanno Braun
Producing and then consuming a value is valid
committed
Hanno Braun
Allow hosts to specify number of return params
committed
Hanno Braun
Missing function call args trigger compile error
committed
Hanno Braun
Prepare for follow-on change
committed
Hanno Braun
Allow hosts to specify number of function params
committed
Hanno Braun
Remove `TestHostFn::name`
committed
Hanno Braun
Add `name` field to `HostFnAttrs`
committed
Hanno Braun
Upgrade direct dependencies
committed
Hanno Braun
Rename `builder` to `dev`
committed
Hanno Braun
builder: Add `upgrade` command
committed
Hanno Braun
builder: Add explicit `build` CLI command
committed
Hanno Braun
builder: Add dependency on `clap`
committed
Hanno Braun
builder: Prepare to add more functionality
committed
Hanno Braun
Move `tests.rs` to `tests/mod.rs`
committed
Hanno Braun
Consolidate redundant code
committed
Hanno Braun
Add `HostFnAttrs`
committed
Hanno Braun
Move `ContinuationHostFn` into `continuations`
committed
Hanno Braun
Decouple `TestHost` from `ContinuationTestHost`
committed
Hanno Braun
Add `TestHostFn::name`
committed
Hanno Braun
Add `TestHostFn::from_id`
committed
Hanno Braun
Add `TestHostFn::id`
committed
Hanno Braun
Simplify `where` clause
committed
Hanno Braun
Add trait `TestHostFn`
committed
Hanno Braun
Rename `TestHostFn` to `ContinuationHostFn`
committed
Hanno Braun
Add comment on uncategorized tests
committed
Hanno Braun
Group continuation tests in dedicated module
committed
Hanno Braun
Make `TestHost` function resolution more generic
committed
Hanno Braun
Make `TestHost` call tracking more generic
committed
Hanno Braun
Move testing infrastructure to dedicated module
committed
Hanno Braun
Include mutation testing in CI build
committed
Hanno Braun
Set up mutation testing using `cargo-mutants`
committed
Hanno Braun
Document development setup in README
committed
Hanno Braun
Implement CI build in a local build tool
committed
Hanno Braun
Set up Cargo workspace
committed
Hanno Braun
Set up direnv
committed
Hanno Braun
Add `shell.nix`
committed
Hanno Braun
Check that correct code calls host functions
committed
Hanno Braun
Check that correct code compiles
committed