summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2024-10-14Use more idiomatic saturating_addArnaud Bailly
2024-10-13Limit grade to 255Arnaud Bailly
2024-10-12Add java evaluatorArnaud Bailly
2024-10-11Add elixir codeArnaud Bailly
2024-10-10Add simple script to compute rust coverageArnaud Bailly
2024-10-10Built-in /eval endpoint sometimes return garbageArnaud Bailly
2024-10-10Improve leaderboard to add timestamp and resultArnaud Bailly
2024-10-10Instructions to build serverArnaud Bailly
2024-10-10Update READMEArnaud Bailly
2024-10-10Adding a small support for the begining of Workshop the firstxvw
2024-10-10Lower bound for query delay to 500msArnaud Bailly
2024-10-10Ensure eval endpoint evaluates all expressions sentArnaud Bailly
2024-10-10Log responses from clientArnaud Bailly
2024-10-10Narrow lock scope to prevent locking leaderboardArnaud Bailly
2024-10-10Remove mock state to simplify passing web dataArnaud Bailly
2024-10-10Render leaderboard template from clients dataArnaud Bailly
2024-10-10Add name to client registrationArnaud Bailly
2024-10-09Generate multiple expressionsArnaud Bailly
2024-10-09Fix tests and app spines representationsArnaud Bailly
2024-10-09Use 32 bits seed for generating termsArnaud Bailly
2024-10-09[wip] generate nested terms through pairing functionArnaud Bailly
2024-10-09[wip] client generates applications with more than 2 termsArnaud Bailly
2024-10-09Derive seed for Rng from client idArnaud Bailly
2024-10-09Generate simple lambda formsArnaud Bailly
2024-10-08Generate nested binary applicationsArnaud Bailly
Also factor out common strategies into functions
2024-10-08Generate simple applicationsArnaud Bailly
2024-10-07Change delay on test success/failureArnaud Bailly
2024-10-06Use proptest's Strategy to generate expressionsArnaud Bailly
2024-10-06Restructure Client to contain all test execution logicArnaud Bailly
2024-10-06Spawn one thread per registered clientArnaud Bailly
2024-10-05Server can also evaluate expressionsArnaud Bailly
2024-10-05Basic loop to send requests to registered clientsArnaud Bailly
2024-10-04Spawn thread to start sending requests to clientsArnaud Bailly
2024-10-04Client can only register once with same URLArnaud Bailly
Actually, logic is now mocked so tests should be refactored to test the logic one level down
2024-10-04[wip] client can only register once with same URLArnaud Bailly
2024-10-04Generate new id upon receiving registration requestArnaud Bailly
2024-10-03Test post with registration echoed backArnaud Bailly
2024-10-03Introduce web app using actix-webArnaud Bailly
2024-10-01Rename eval() to be more specificArnaud Bailly
2024-10-01Simplify eval() to match WHNF definitionArnaud Bailly
2024-10-01Output tester's result in JSONArnaud Bailly
2024-10-01Add test for natural numbers additionArnaud Bailly
2024-09-30Add some documentation and a sample for pairsArnaud Bailly
2024-09-29Implement sub-process based testerArnaud Bailly
2024-09-29More sample basic lambda termsArnaud Bailly
2024-09-29[wip] Draft tester programArnaud 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-25Extract IO operations to own moduleArnaud Bailly
2024-09-25Ensure application has at least two valuesArnaud Bailly
2024-09-25Desugar application of more than 2 valuesArnaud Bailly
2024-09-25Allow multiple variables in single lambdaArnaud Bailly
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-05 22:08:28 +0000