issues
search
daypack-dev
/
timere
OCaml date time handling and reasoning suite
MIT License
68
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`12hour` format is wrong for 12:00 hour
#79
dbp
closed
2 months ago
8
Change error strings to not be capitalized
#78
darrenldl
closed
2 months ago
1
Actually add timedesc-tzlocal.unix-or-utc and make it the default?
#77
darrenldl
closed
5 months ago
1
Fuzzing detected failure case for ISO week date time pattern matching
#76
darrenldl
opened
7 months ago
0
Using oseq 0.5 in timere
#75
ElectreAAS
closed
7 months ago
1
Incorrect DST detection
#74
copy
closed
11 months ago
2
Rename local_result to local_dt_result (or something even better)
#73
darrenldl
closed
11 months ago
1
Clarify the semantics of Time_zone_info in documentation
#72
darrenldl
closed
7 months ago
1
Add Timedesc.of_date_and_time
#71
darrenldl
closed
1 year ago
1
Packaging for 0.8.0 release
#70
darrenldl
closed
1 year ago
0
`timere` 0.8.0 and up not available on opam
#69
ElectreAAS
closed
7 months ago
13
Added RFC9110 parsing and printing, refreshed tzdb
#68
darrenldl
closed
1 year ago
0
Angstrom-based parser causes stack overflow in JavaScript output
#67
zbaylin
closed
1 year ago
8
Fix JSON module name
#66
anmonteiro
closed
1 year ago
1
Add HTTP date time parsing and printing
#65
darrenldl
closed
1 year ago
3
Timedesc: moved from mparser to angstrom, moved sexp code into timedesc-sexp
#64
darrenldl
closed
1 year ago
0
Streamlining packaging workflow
#63
darrenldl
closed
2 years ago
0
Reworked generator code
#62
darrenldl
closed
2 years ago
0
Remove use of Marshal for compressed DB serialisation, and store compressed form in git directly
#61
darrenldl
closed
2 years ago
0
Dependencies removal, repo restructuring
#60
darrenldl
closed
2 years ago
0
`timedesc` 0.7.0 not listed on OPAM repo
#59
zbaylin
closed
2 years ago
4
(Re)move some of Timedesc's dependencies
#58
darrenldl
closed
2 years ago
1
Fixed handling of Length in deduce_child_result_space_bound_from_parent
#57
darrenldl
closed
2 years ago
0
Optimisation of pattern resolver
#56
darrenldl
closed
2 years ago
0
Move optional dependencies (e.g. JS) into separate package
#55
darrenldl
closed
2 years ago
3
Computing the next valid interval
#54
art-w
closed
1 year ago
19
Adjusted API of string conversion functions
#53
darrenldl
closed
2 years ago
0
Refactored tzdb generation pipeline
#52
darrenldl
closed
2 years ago
1
Added lazy tzdb decompression
#51
darrenldl
closed
2 years ago
0
Compressed tzdb encoding
#50
darrenldl
closed
2 years ago
0
Adjust return type of to_string/to_rfc3339/to_iso8601 from string option to string (and raise exception)
#49
darrenldl
closed
2 years ago
0
Add local time zone detection support for Windows via reg command
#48
darrenldl
opened
2 years ago
0
Compression benchmark of tzdb
#47
darrenldl
closed
2 years ago
2
Better time zone workflow for JS target
#46
darrenldl
closed
2 years ago
47
Small tidy ups for js stuff
#45
darrenldl
closed
2 years ago
1
Add tzlocal.js backend
#44
glennsl
closed
2 years ago
8
export scripts using outdated js_of_ocaml
#43
glennsl
closed
2 years ago
2
Request: js_of_ocaml example
#42
glennsl
opened
2 years ago
5
Adding support of ISO week pattern to Timere, Timere-parse
#41
darrenldl
closed
2 years ago
0
Added Time_zone.recorded_offsets
#40
darrenldl
closed
2 years ago
0
Test suite upgrade, added handling of second level time zone offset in ISO8601 parsing and RFC3339/ISO8601 printing, added arithmetic functions to Date
#39
darrenldl
closed
2 years ago
0
Replacing ocamlformat with ocp-indent
#38
darrenldl
closed
2 years ago
0
Added basic unit tests for Timedesc, added comparison functions for Date.t
#37
darrenldl
closed
2 years ago
0
Addition of more ISO8601 facilities, partial date representations
#36
darrenldl
closed
2 years ago
26
ISO_week representation
#35
glennsl
closed
2 years ago
15
Add optimisation pass for pattern
#34
darrenldl
opened
3 years ago
1
Timere benchmark suite
#33
darrenldl
opened
3 years ago
0
Test conversion between the three date systems
#32
darrenldl
closed
3 years ago
0
Breaking Timere into Timere and Timedesc
#31
darrenldl
closed
3 years ago
5
Restructure timestamp type maybe
#30
darrenldl
closed
2 years ago
2
Next