imandra-ai imandra-ptime issues - Githubissues

imandra-ai / imandra-ptime

IML-compatible version of the Ptime library

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

`Js_of_ocaml`: overflowed integer literals are truncated

#7 crvdgc opened 2 months ago
1
feat: Add some basic infix fns comparing `Imandra_ptime.t` s

#6 benbellick closed 4 months ago
0
feat: adding weeks and exposing mli constants

#5 ewenmaclean closed 1 year ago
0
add weeks as a comparison possibility

#4 ewenmaclean opened 1 year ago
0
Remove the require layer as no longer needed

#3 crvdgc closed 1 year ago
0
Make the library `require` able

#2 Bronsa closed 1 year ago
0
fix: lifting arguments before local lets to avoid lambdas

#1 ewenmaclean closed 2 years ago
0