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/model/
fun.ml
May 2023
Guillaume Bury
d8857a5b
Copied
Failed
Copy SHA
Model fixes
(#151)
(#151)
Copy SHA
Browse repository
committed
3y ago
October 2022
Guillaume Bury
5cbea9de
Copied
Failed
Copy SHA
Support coercion in models (only arith ones for now)
Copy SHA
Browse repository
committed
4y ago
June 2022
Guillaume Bury
1da50e58
Copied
Failed
Copy SHA
Better handling of corner cases in models + adjusted err/warn messages
Copy SHA
Browse repository
committed
4y ago
François Bobot
444ef4a3
Copied
Failed
Copy SHA
[Model] Add fp theory
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
37d1ef53
Copied
Failed
Copy SHA
WIP
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
763680bd
Copied
Failed
Copy SHA
Support division by zero in models (when specified by the model)
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
52b90512
Copied
Failed
Copy SHA
Add support for ADTS in model verification
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
e792f259
Copied
Failed
Copy SHA
Progress on error messages
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
5be5d3d2
Copied
Failed
Copy SHA
Fixed tests
Copy SHA
Browse repository
committed
4y ago
Guillaume Bury
133e67d1
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
