Sign in
Join now
dolmen
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from gbury/dolmen
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
src/bin/
loop.ml
August 2025
Guillaume Bury
ad0cc67c
Copied
Failed
Copy SHA
Smtlib Printer
(#211)
(#211)
Copy SHA
Browse repository
committed
1y ago
March 2023
Guillaume Bury
1ee1de39
Copied
Failed
Copy SHA
Flow check + some windows fixes
(#135)
(#135)
Copy SHA
Browse repository
committed
3y ago
June 2022
Guillaume Bury
d9b45538
Copied
Failed
Copy SHA
Change state to hmap to simplify deps between modules
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
908cdf48
Copied
Failed
Copy SHA
WIP
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
2deab1e8
Copied
Failed
Copy SHA
Somewhat working
Copy SHA
Browse repository
committed
4y ago
April 2021
Guillaume Bury
b708ca23
Copied
Failed
Copy SHA
Add higher-order type-checking to Dolmen
(#66)
(#66)
Copy SHA
Browse repository
committed
5y ago
August 2020
Guillaume Bury
cd9127fc
Copied
Failed
Copy SHA
Add header check
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
e92866d1
Copied
Failed
Copy SHA
Re-organized pipes to make them more local
Copy SHA
Browse repository
committed
6y ago
July 2020
Guillaume Bury
f0c0662e
Copied
Failed
Copy SHA
Fix build and deps correctly
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
55299308
Copied
Failed
Copy SHA
Untangling the
spaghetti
spaghetti
Copy SHA
Browse repository
committed
6y ago
May 2020
Guillaume Bury
73d0b662
Copied
Failed
Copy SHA
Simplified error printing when limits are reached
Copy SHA
Browse repository
committed
6y ago
