summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2025-10-09feat: add AST representation choice for registrationArnaud Bailly
2025-10-09chore: check JSON representation of ValueArnaud Bailly
2025-10-09feat: serve /static directoryArnaud Bailly
2025-10-09chore: add rust workspace file to please eglotArnaud Bailly
2025-10-09fix: clarify registration and use of netcatArnaud Bailly
2025-09-27feedback from geek campArnaud Bailly
2025-09-25add readmeArnaud Bailly
2025-07-06feat: start working on typecheckerArnaud Bailly
2025-06-28Typo: remove pluralEmmanuel Gaillot
2025-01-31Added example in Haskell and some more commentsArnaud Bailly
2025-01-26Move shared code to libraryArnaud Bailly
2025-01-26Add some more interesting links about PBTArnaud Bailly
2025-01-26Report reverse/reverse propertyArnaud Bailly
2025-01-26Improve array shrinkingArnaud Bailly
2025-01-25Added some 'interesting' properties about listsArnaud Bailly
2025-01-25Generate a random listArnaud Bailly
2025-01-25Start TS tiny PBT implementationArnaud Bailly
2025-01-25Fix links from toplevel README.mdArnaud Bailly
2025-01-25Link to README filesArnaud Bailly
2025-01-25Introduce PBT workshopArnaud Bailly
2025-01-25Move λ-calcul workshop code to subdirectoryArnaud Bailly
2024-10-16Add clojure evaluatorCédric
2024-10-16Delete duplicated files in java implementationCédric
2024-10-15Keep tester thread handle and abort when unregisteringArnaud Bailly
2024-10-14Refactor test result handling to separate mutation from evaluationArnaud Bailly
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-06 01:41:32 +0000