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/loop/
report.ml
November 2023
Guillaume Bury
b14eb8a2
Copied
Failed
Copy SHA
Add proper support for `:named` smtlib annotations
(#199)
(#199)
Copy SHA
Browse repository
committed
2y ago
February 2023
Guillaume Bury
9453b8f2
Copied
Failed
Copy SHA
Add interleaved mode for model verification
(#131)
(#131)
Copy SHA
Browse repository
committed
3y ago
June 2022
Hichem R. A
31c006e8
Copied
Failed
Copy SHA
Complete and fix alt-ergo's native language typing
(#89)
(#89)
Copy SHA
Browse repository
committed
4y ago
October 2021
Guillaume Bury
5d886963
Copied
Failed
Copy SHA
Add cli options to list and/or print doc for reports
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
