Commit Graph

Select branches

Hide Pull Requests

domains-test

main

operators

primes

Mono Color

• 22a9626581 Doz progression main Albin Chaboissier 2026-02-15 15:15:09 +01:00
• d4e0c02b53 Merge branch 'main' of ssh://git.chaboissier.fr:222/octagonal/picolog Albin Chaboissier 2026-02-12 21:00:15 +01:00
• 5458b3a822 Domains test domains-test Albin Chaboissier 2026-02-12 20:59:45 +01:00
• 2c6d14234c Merge branch 'main' of ssh://git.chaboissier.fr:222/octagonal/picolog Albin Chaboissier 2026-02-12 20:08:40 +01:00
• 66e1659c5b Starting a CLP(Z) engine Albin Chaboissier 2026-02-12 20:08:13 +01:00
• 27af8c9263 Merge remote-tracking branch 'origin/main' into operators operators supersurviveur 2026-02-10 22:23:52 +01:00
• c82384764c Use custom operators supersurviveur 2026-02-10 22:18:51 +01:00
• 54724c2f4c Caching was a bad idea Albin Chaboissier 2026-02-10 21:48:58 +01:00
• d8180a982e Finishes cache Albin Chaboissier 2026-02-10 18:11:50 +01:00
• 1c17aa20c2 Starts proof cache infra Albin Chaboissier 2026-02-10 17:21:06 +01:00
• 21414f75db Adds operators supersurviveur 2026-02-10 15:41:56 +01:00
• 298d179943 Adds not prover primes Albin Chaboissier 2026-02-10 00:07:06 +01:00
• 70afc2a201 Putting provers in separate files Albin Chaboissier 2026-02-09 23:26:29 +01:00
• 3fd8414ba2 Better looking indentation Albin Chaboissier 2026-02-09 22:49:26 +01:00
• c920ef8d99 Removes all warnings Albin Chaboissier 2026-02-09 22:38:23 +01:00
• 5b9df71704 Somewhat indented trace + Or prover Albin Chaboissier 2026-02-09 22:32:01 +01:00
• 1ab7d7bf95 Ugly and print, and simplified body prover depth Albin Chaboissier 2026-02-09 18:08:13 +01:00
• a151b772aa Starts a good tracing interface Albin Chaboissier 2026-02-09 16:40:51 +01:00
• 0f721e34c4 Adding format Albin Chaboissier 2026-02-09 11:04:42 +01:00
• bce33de71e Compiling Albin Chaboissier 2026-02-09 11:00:53 +01:00
• b80077f3a7 Starting tracer Albin Chaboissier 2026-02-09 10:56:15 +01:00
• 694a84fb00 Fixes infinite loop Albin Chaboissier 2026-02-09 09:07:38 +01:00
• 134ebc6dc6 Working Albin Chaboissier 2026-02-08 22:48:51 +01:00
• ced43b76bf First Albin Chaboissier 2026-02-08 16:34:55 +01:00