lambda-nantes/rust/Cargo.toml, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust/Cargo.toml?h=main 2025-01-25T09:45:41Z Move λ-calcul workshop code to subdirectory 2025-01-25T09:45:41Z Arnaud Bailly arnaud.bailly@iohk.io 2025-01-25T09:45:41Z urn:sha1:7752d73216578d5961751b5d0535088d384b4aa6 Render leaderboard template from clients data 2024-10-10T06:16:44Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T06:16:44Z urn:sha1:492a9e7ae1b50bd2e46daf589a6e52388703ec7e Use proptest's Strategy to generate expressions 2024-10-06T19:11:04Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-06T19:11:04Z urn:sha1:a2220cd6ca103b636567b557d21ab345c6ab99e0 Restructure Client to contain all test execution logic 2024-10-06T14:05:32Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-06T14:05:32Z urn:sha1:aaaee7bdc476f5f0631dc0d2f367c54bdfe03d12 Server can also evaluate expressions 2024-10-05T13:04:10Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-05T13:04:10Z urn:sha1:d96f415a2cfb55715c095cc9c2775b1413e06203 Basic loop to send requests to registered clients 2024-10-05T08:41:55Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-05T08:41:55Z urn:sha1:22a53ab297447c2f044d01bf443f7b140745762f Spawn thread to start sending requests to clients 2024-10-04T15:17:10Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-04T15:17:10Z urn:sha1:c7ecec3f7e64bfbc8dc0231d538599716e1ccf88 Generate new id upon receiving registration request 2024-10-04T06:13:17Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-04T06:13:17Z urn:sha1:2498ba2b3dc57fa7f47fe7eced0dbab1bbfb5336 Introduce web app using actix-web 2024-10-03T07:45:45Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-03T07:45:45Z urn:sha1:5d68c51f98faea7a4b16c25741d5a637305687be Output tester's result in JSON 2024-10-01T07:47:37Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-01T07:47:37Z urn:sha1:19eb33ef04103ca4a6eb4af3e1940c2a5779e1ad