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/lsp/
loop.ml
August 2025
Guillaume Bury
ad0cc67c
Copied
Failed
Copy SHA
Smtlib Printer
(#211)
(#211)
Copy SHA
Browse repository
committed
1y ago
June 2023
hra687261
eb523dd2
Copied
Failed
Copy SHA
Don't load all preludes if one of them is opened Also, preserve the order of prelude files as they were received
Copy SHA
Browse repository
committed
3y ago
Basile Clément
05558815
Copied
Failed
Copy SHA
Add support for prelude
files
files
Copy SHA
Browse repository
committed
3y ago
January 2023
Hichem R. A
2d49a4bb
Copied
Failed
Copy SHA
Possibility to add preludes to dolmenls
(#116)
(#116)
Copy SHA
Browse repository
committed
3y ago
December 2022
Guillaume Bury
fca57cab
Copied
Failed
Copy SHA
Fix windows build and tests
(#117)
(#117)
Copy SHA
Browse repository
committed
3y ago
October 2022
Guillaume Bury
62e4586f
Copied
Failed
Copy SHA
Group state keys by module with an init
function
function
Copy SHA
Browse repository
committed
4y ago
June 2022
Guillaume Bury
b7965511
Copied
Failed
Copy SHA
Add minimal report style
Copy SHA
Browse repository
committed
4y ago
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
November 2021
Guillaume Bury
f547d9cd
Copied
Failed
Copy SHA
Remove now useless "context" param
Copy SHA
Browse repository
committed
5y ago
Guillaume Bury
6ce44012
Copied
Failed
Copy SHA
Add contextual location printing
Copy SHA
Browse repository
committed
5y ago
October 2021
Guillaume Bury
ebef4082
Copied
Failed
Copy SHA
WIP
Copy SHA
Browse repository
committed
5y ago
Guillaume Bury
1f90b0ed
Copied
Failed
Copy SHA
Add cli option to control warnings
Copy SHA
Browse repository
committed
5y ago
Guillaume Bury
7163d3e9
Copied
Failed
Copy SHA
More structured errors and warnings
Copy SHA
Browse repository
committed
5y ago
François Bobot
6a9d0eec
Copied
Failed
Copy SHA
[Pipeline] Don't print the backtrace
directly
directly
Copy SHA
Browse repository
committed
5y 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
March 2021
Guillaume Bury
88792d24
Copied
Failed
Copy SHA
Various fixes
Copy SHA
Browse repository
committed
5y ago
October 2020
Guillaume Bury
43ebb7f8
Copied
Failed
Copy SHA
More structured syntax errors
Copy SHA
Browse repository
committed
6y ago
September 2020
Guillaume Bury
57b137ac
Copied
Failed
Copy SHA
Lots of error handling changed
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
fe7476f6
Copied
Failed
Copy SHA
Explicit state passing in pipeline
Copy SHA
Browse repository
committed
6y ago
August 2020
Guillaume Bury
0f300234
Copied
Failed
Copy SHA
Better lang version check for headers
Copy SHA
Browse repository
committed
6y ago
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
ed3d8bb2
Copied
Failed
Copy SHA
Location refactor to reduce memory usage
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
f0c0662e
Copied
Failed
Copy SHA
Fix build and deps correctly
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
d691b0f4
Copied
Failed
Copy SHA
Add warning limit
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
Guillaume Bury
e21e7399
Copied
Failed
Copy SHA
Lots of fixes
Copy SHA
Browse repository
committed
6y ago
May 2020
Guillaume Bury
28840ce8
Copied
Failed
Copy SHA
Lots of fixes + reworked arith filters
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
e889d198
Copied
Failed
Copy SHA
Lots of bug fixes
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
25374b31
Copied
Failed
Copy SHA
Fix syntax errors reporting when message is empty
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
9fac20a0
Copied
Failed
Copy SHA
Fix build problems
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
98fd0a04
Copied
Failed
Copy SHA
Small cleanup
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
83b2d039
Copied
Failed
Copy SHA
Overhaul of the error/warning reporting logic
Copy SHA
Browse repository
committed
6y ago
April 2020
Guillaume Bury
c7ffc864
Copied
Failed
Copy SHA
Better error messages
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
0981f203
Copied
Failed
Copy SHA
Add debug option to dolmen bin
Copy SHA
Browse repository
committed
6y ago
Guillaume Bury
0d17af77
Copied
Failed
Copy SHA
Implement UF/DT theory restrictions
(#36)
(#36)
Copy SHA
Browse repository
committed
6y ago
February 2020
Guillaume Bury
e5d4d109
Copied
Failed
Copy SHA
Typechecking and LSP
server
server
Copy SHA
Browse repository
committed
6y ago
