simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-05 19:00:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
1932 commits 53 branches 1 tag 17 MiB

Default branch

main

6c8d6840f8 · chore: update workflows · Updated 2025-01-27 21:49:09 -05:00
 ZIP  TAR.GZ

Branches

wip-levels-in-kernel

1530b761b0 · wip: leancheck · Updated 2025-01-27 21:52:00 -05:00    simon

0
20
 ZIP  TAR.GZ
gh-pages

2c7065e7fd · deploy: eff6016151 · Updated 2023-12-27 17:31:52 -05:00    simon

1932
57
 ZIP  TAR.GZ
master

eff6016151 · support trace-fuchsia if present · Updated 2023-12-27 17:24:35 -05:00    simon

4
0
 Included
 ZIP  TAR.GZ
wip-19

da5cd7fbc2 · fix: compute model even if (potentially) new interface eqns are produced · Updated 2023-06-27 10:59:29 -04:00    simon

10
1
 ZIP  TAR.GZ
wip-ccsat

0393fae090 · cdsat · Updated 2023-05-09 20:42:24 -04:00    simon

23
23
 ZIP  TAR.GZ
wip-cdsat

566d0d64a2 · detail · Updated 2023-05-07 21:03:35 -04:00    simon

23
21
 ZIP  TAR.GZ
wip-produce-smtlib-models

7fbfb8439b · Merge branch 'master' into wip-produce-smtlib-models · Updated 2023-04-20 22:10:03 -04:00    simon

23
0
 Included
 ZIP  TAR.GZ
wip-use-trace-for-proofs

5ca966a827 · depth-restricted printing for terms and pterms · Updated 2022-10-13 21:43:16 -04:00    simon

45
0
 Included
 ZIP  TAR.GZ
wip-parser

ff2600a4e9 · test: add test for proof syntax · Updated 2022-10-10 13:41:12 -04:00    simon

71
12
 ZIP  TAR.GZ
wip-preprocess-2022-08-31

86106f182b · chore: makefile targets for some incremental benchs · Updated 2022-09-16 21:08:58 -04:00    simon

107
0
 Included
 ZIP  TAR.GZ
wip-optim-lra-2022-08-31

e74439cf2a · wip: new attempt at theory combination · Updated 2022-09-01 22:34:27 -04:00    simon

138
0
 Included
 ZIP  TAR.GZ
wip-defunctorize-terms

83a4ae46c1 · fix: use standard = even for LRA terms · Updated 2022-08-28 00:22:51 -04:00    simon

154
0
 Included
 ZIP  TAR.GZ
wip-th-comb

83a4ae46c1 · fix: use standard = even for LRA terms · Updated 2022-08-28 00:22:51 -04:00    simon

154
0
 Included
 ZIP  TAR.GZ
todo

f96967b0da · delete todo · Updated 2022-08-27 14:01:41 -04:00    simon

1932
8
 ZIP  TAR.GZ
wip-defunctorize-terms-UF-in-CC-expl

cca2c48f07 · feat(cc): add small union-find on the side to make expls smaller · Updated 2022-08-21 22:57:10 -04:00    simon

180
1
 ZIP  TAR.GZ
wip-better-cc-2022-07-21

7bbe70b060 · bugfix in CC · Updated 2022-08-12 23:07:59 -04:00    simon

307
1
 ZIP  TAR.GZ
wip-simplify-functors-2022-07-15

b10aaf05f2 · wip: expose bug caused by order of event handlers · Updated 2022-07-20 21:40:04 -04:00    simon

317
0
 Included
 ZIP  TAR.GZ
wip-model-th-comb

b16fce6f26 · Merge branch 'master' into wip-model-th-comb · Updated 2022-07-14 21:46:36 -04:00    simon

340
0
 Included
 ZIP  TAR.GZ
wip-preprocess-2022-02-04

65d4a90df1 · tef: stop compression, too fragile. just emit a .json file · Updated 2022-02-18 14:59:26 -05:00    simon

353
0
 Included
 ZIP  TAR.GZ
wip-lia

2885563929 · fix(lra): better handling of model production for preprocessed-away terms · Updated 2022-02-03 14:24:07 -05:00    simon

377
0
 Included
 ZIP  TAR.GZ