Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-10-05 | for OER use IEEE754 binary32 and binary64 format over the wire | Lev Walkin | 1 | -2/+2 |
2017-10-04 | narrowing to support 32-bit floats | Lev Walkin | 1 | -1/+8 |
2017-08-02 | add constraint debug | Lev Walkin | 1 | -3/+6 |
2017-08-02 | a pass over OER constraints | Lev Walkin | 1 | -3/+19 |
2005-08-14 | extensions of conditional native-typing to -fbless-SIZE constraints | Lev Walkin | 1 | -2/+7 |
2004-09-29 | different type for the big integer | Lev Walkin | 1 | -1/+1 |
2004-08-25 | introducing less strict semantics | Lev Walkin | 1 | -4/+6 |
2004-08-18 | constraint groking code | Lev Walkin | 1 | -0/+59 |