lambda-nantes/pbt/ts/src/property.ts, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/pbt/ts/src/property.ts?h=main2026-09-01T05:58:04ZReplace jest with vitest2026-09-01T05:58:04ZArnaud Baillyarnaud@pankzsoft.com2026-08-30T16:08:55Zurn:sha1:b3285b3f5878d705fcbeb7165097b6623a02f553
This implies fixing some quirky modules import logic. Thanks to Claude
for fixing this whole s**t
add simple classification2025-12-02T08:59:30ZArnaud Baillyarnaud@pankzsoft.com2025-12-02T08:59:30Zurn:sha1:03dd55c022c6077b50429b33f2889bbcec9f0435adapt Bank interface to async2025-12-02T03:43:49ZArnaud Baillyarnaud@pankzsoft.com2025-12-02T03:43:49Zurn:sha1:83d63d6d3248666ebb23c7c29f0c58775f277482Make property async aware2025-12-02T03:24:15ZArnaud Baillyarnaud@pankzsoft.com2025-12-02T03:24:15Zurn:sha1:8a6cfd0187b149a1ce83f62af62bb227ee441277fix eslint errors and warnings2025-12-01T16:32:33ZArnaud Baillyarnaud@pankzsoft.com2025-12-01T16:32:33Zurn:sha1:03d9f62f99afbae961fbf5846f015be5f6eee2b1complete operations sequence tests2025-12-01T16:16:38ZArnaud Baillyarnaud@pankzsoft.com2025-12-01T16:16:38Zurn:sha1:01660b4c6ac5d451102d73a7df22483f9fcc2ea1implement op sequence property2025-12-01T15:54:06ZArnaud Baillyarnaud@pankzsoft.com2025-12-01T15:54:06Zurn:sha1:f8f9f6d77ad589dcbdf2749cade4cadc827c805fmore checks on shrinking2025-12-01T08:08:49ZArnaud Baillyarnaud@pankzsoft.com2025-12-01T08:08:49Zurn:sha1:8736fba2ab94cd307905585f81f87d4df9eef3e4start simple bank example2025-11-29T08:07:09ZArnaud Baillyarnaud@pankzsoft.com2025-11-29T08:07:09Zurn:sha1:a8c27de3f4434d8a08e953b95b47a4161f9473ed[pbt] expose simpler interface Property.run2025-11-15T08:33:09ZArnaud Baillyarnaud@pankzsoft.com2025-11-15T08:33:09Zurn:sha1:57472750c9cd14b9907895e5269b3be01819c7b3