lambda-nantes/rust, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/rust?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 Keep tester thread handle and abort when unregistering 2024-10-15T06:46:50Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-15T06:46:50Z urn:sha1:d41911f506abf3c6338c511147adacc64583eeb1 Refactor test result handling to separate mutation from evaluation 2024-10-14T06:10:21Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-14T06:10:21Z urn:sha1:ac8b273d21ad4c50a1abe4583cfcaf540530eb6f Use more idiomatic saturating_add 2024-10-14T05:34:45Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-14T05:34:45Z urn:sha1:f356030ecb84a925848f59912cf880ff293b9286 Limit grade to 255 2024-10-13T20:48:31Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-13T20:48:31Z urn:sha1:d32a31646c2e2357e94b22b3e6c1e2aab035d5c4 Add simple script to compute rust coverage 2024-10-10T16:37:19Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T16:37:19Z urn:sha1:8094716f7c9a3d9f2886132e7419b377abb97b3b Built-in /eval endpoint sometimes return garbage 2024-10-10T16:28:45Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T16:28:45Z urn:sha1:6c6528ae00bbbdce5571379bb2ad2118632d5dbf Improve leaderboard to add timestamp and result 2024-10-10T16:23:02Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T16:23:02Z urn:sha1:653c7d93e9f8ecae78bdd2d884cce59041b11202 Instructions to build server 2024-10-10T15:27:42Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T15:27:35Z urn:sha1:c511c31fe25045b46a57b11201704ff55207e808 Update README 2024-10-10T15:27:41Z Arnaud Bailly arnaud.bailly@iohk.io 2024-10-10T15:16:09Z urn:sha1:9133a6c9877d3752f8440cd8c9cff25918c468db