index
:
lambda-nantes
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
rust
/
Cargo.toml
Age
Commit message (
Collapse
)
Author
2024-10-10
Render leaderboard template from clients data
Arnaud Bailly
2024-10-06
Use proptest's Strategy to generate expressions
Arnaud Bailly
2024-10-06
Restructure Client to contain all test execution logic
Arnaud Bailly
2024-10-05
Server can also evaluate expressions
Arnaud Bailly
2024-10-05
Basic loop to send requests to registered clients
Arnaud Bailly
2024-10-04
Spawn thread to start sending requests to clients
Arnaud Bailly
2024-10-04
Generate new id upon receiving registration request
Arnaud Bailly
2024-10-03
Introduce web app using actix-web
Arnaud Bailly
2024-10-01
Output tester's result in JSON
Arnaud Bailly
2024-09-29
[wip] Draft tester program
Arnaud Bailly
The goal is to have a simple CLI that will repeatedly run sequence of tests against a known (Rest-ish) API, until all tests are "green".
2024-09-25
Extract IO operations to own module
Arnaud Bailly
2024-09-24
alpha-conversion when substituting variables under lambda
Arnaud Bailly
2024-09-23
Add property for evaluating numbers
Arnaud Bailly
2024-09-23
Scaffolding of main, library, and tests
Arnaud Bailly
2024-09-23
Started Rust interpreter
Arnaud Bailly