summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
These are the classical properties from Claessen and Hughes' paper. Shrinking is too expensive as it is so need to prune recursion tree.
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
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-06 05:15:10 +0000