summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2026-03-22Add builtin arithmetic operatorsArnaud Bailly
* also allow choosing evaluator * ensures equivalence of evaluators up-to α-renaming * checks server accepts answers from challenge
2026-03-22Add integration test for all challengesArnaud Bailly
2026-03-22Add integers parsingArnaud Bailly
2026-03-21Add more challenges and plans for enhancement of the interpreterArnaud Bailly
2025-12-20Loop until failing one challengeEmmanuel Gaillot
2025-12-20Post solutionEmmanuel Gaillot
2025-12-20Unregister userEmmanuel Gaillot
2025-12-20Wait for user input before endingEmmanuel Gaillot
… In preparation for unregistering user at the end.
2025-12-20Solve retrieved challengeEmmanuel Gaillot
2025-12-20Retrieve next challengeEmmanuel Gaillot
2025-12-20Register userEmmanuel Gaillot
2025-12-18Add some details to presenationArnaud Bailly
2025-12-10Add basic readme for Prolog workshopArnaud Bailly
2025-12-08added prolog directoryArnaud Bailly
2025-12-02rename fake/real matching propertyArnaud Bailly
2025-12-02update bank with model and flow of talkArnaud Bailly
2025-12-02add simple classificationArnaud Bailly
2025-12-02disable auto linting after testsArnaud Bailly
2025-12-02fix copy/paste bugArnaud Bailly
2025-12-02introduce test (with a bug) using LevelDBArnaud Bailly
2025-12-02adapt Bank interface to asyncArnaud Bailly
2025-12-02Make property async awareArnaud Bailly
2025-12-01fix eslint errors and warningsArnaud Bailly
2025-12-01complete operations sequence testsArnaud Bailly
2025-12-01implement op sequence propertyArnaud Bailly
2025-12-01more checks on shrinkingArnaud Bailly
2025-11-29start simple bank exampleArnaud Bailly
2025-11-19Minor renamingArnaud Bailly
2025-11-19added stateful PBT kata from SW Crafters NantesArnaud Bailly
2025-11-15[pbt] expose simpler interface Property.runArnaud Bailly
2025-11-15[pbt] configure running tests w/ jestArnaud Bailly
2025-11-07fix call-by-value evaluator base on NBEArnaud Bailly
2025-11-06fix terminal heightArnaud Bailly
2025-11-06evaluate terms when defining themArnaud Bailly
2025-11-06updated challengesArnaud Bailly
2025-11-06draft env-based normaliserArnaud Bailly
2025-11-06update slides PDFArnaud Bailly
2025-11-06revealjs version of slidesArnaud Bailly
2025-11-05fix encoding for apiArnaud Bailly
2025-11-05update slides with repo QRCodeArnaud Bailly
2025-11-05add challenges file to deploymentArnaud Bailly
2025-11-05clear command output on UIArnaud Bailly
2025-11-05add slides for newcraftsArnaud Bailly
2025-11-05better logging when loading challengesArnaud Bailly
2025-11-05provide help on the leaderboard and OpenAPI specificationArnaud Bailly
2025-11-05provide session id to user so they can reconnectArnaud Bailly
2025-11-05allow reconnecting with to REPL with tokenArnaud Bailly
2025-11-05better name for log identifierArnaud Bailly
2025-11-05Immediately flush logs after writingArnaud Bailly
2025-11-05add help panel to the REPLArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 05:47:44 +0000