octagonal

octagonal pushed to main at octagonal/oxydsp

2026-03-13 21:57:16 +01:00

866a5dd501 Working base

octagonal renamed repository from rdsp to octagonal/rdsp-old

2026-03-10 17:39:58 +01:00

octagonal pushed to main at octagonal/picolog

2026-02-15 15:15:14 +01:00

22a9626581 Doz progression

d4e0c02b53 Merge branch 'main' of ssh://git.chaboissier.fr:222/octagonal/picolog

27af8c9263 Merge remote-tracking branch 'origin/main' into operators

c82384764c Use custom operators

21414f75db Adds operators

Compare 5 commits »

octagonal pushed to domains-test at octagonal/picolog

2026-02-12 21:21:44 +01:00

5458b3a822 Domains test

octagonal created branch domains-test in octagonal/picolog

2026-02-12 21:21:43 +01:00

octagonal pushed to main at octagonal/picolog

2026-02-12 20:08:47 +01:00

2c6d14234c Merge branch 'main' of ssh://git.chaboissier.fr:222/octagonal/picolog

66e1659c5b Starting a CLP(Z) engine

Compare 2 commits »

octagonal pushed to main at octagonal/picolog

2026-02-10 21:49:05 +01:00

54724c2f4c Caching was a bad idea

octagonal pushed to main at octagonal/picolog

2026-02-10 18:11:56 +01:00

d8180a982e Finishes cache

octagonal pushed to primes at octagonal/picolog

2026-02-10 17:36:30 +01:00

octagonal created branch primes in octagonal/picolog

2026-02-10 17:36:30 +01:00

octagonal pushed to main at octagonal/picolog

2026-02-10 17:21:12 +01:00

1c17aa20c2 Starts proof cache infra

octagonal pushed to main at octagonal/picolog

2026-02-10 00:07:10 +01:00

298d179943 Adds not prover

70afc2a201 Putting provers in separate files

3fd8414ba2 Better looking indentation

c920ef8d99 Removes all warnings

5b9df71704 Somewhat indented trace + Or prover

Compare 5 commits »

octagonal pushed to main at octagonal/picolog

2026-02-09 18:08:17 +01:00

1ab7d7bf95 Ugly and print, and simplified body prover depth

octagonal pushed to main at octagonal/picolog

2026-02-09 16:40:56 +01:00

a151b772aa Starts a good tracing interface

octagonal pushed to main at octagonal/picolog

2026-02-09 11:04:45 +01:00

0f721e34c4 Adding format

octagonal pushed to main at octagonal/picolog

2026-02-09 11:00:57 +01:00

bce33de71e Compiling

octagonal pushed to main at octagonal/picolog

2026-02-09 10:57:34 +01:00

b80077f3a7 Starting tracer

694a84fb00 Fixes infinite loop

Compare 2 commits »

octagonal pushed to main at octagonal/nanolog

2026-02-08 21:31:38 +01:00

64c6d5129f Finsih

octagonal pushed to main at octagonal/nanolog

2026-02-08 11:59:15 +01:00

2aa3907965 Kinda working

octagonal pushed to main at octagonal/nanolog

2026-02-07 22:15:12 +01:00

3c51b65be2 Coroutines