Issues
- 2
- 0
- 0
fix parse_time_ms/us/ns/ps error
#208 opened by EmmaTye - 0
fix parse_float error
#206 opened by EmmaTye - 0
Support nanoseconds precision in fix-client
#192 opened by Bronsa - 0
load `imandra_ptime` via `require` instead of `import`
#187 opened by Bronsa - 1
- 1
remove duration encoding/parsing
#190 opened by Bronsa - 0
Parser tests
#188 opened by ewenmaclean - 0
erroneous imports
#185 opened by ewenmaclean - 0
using require in fix-engine
#186 opened by ewenmaclean - 0
improve performance for message parsing
#184 opened by c-cube - 0
CheckINN: migrate source code to Imandra github
#181 opened by rdesmartin - 0
Int normalisation
#93 opened by ewenmaclean - 0
update to cloudbuild
#135 opened by ewenmaclean - 0
update dune
#127 opened by ewenmaclean - 0
Normalisation
#92 opened by ewenmaclean - 1
`imandra-prelude` duplicated in vendor
#179 opened by hesterjeng - 1
Reorganize `split_into_key_value` in Parser_utils
#87 opened by KKostya - 1
Millisecond/microsecond timestamps?
#88 opened by KKostya - 0
- 0
FIX protocol parser
#8 opened by KKostya - 1
Generation action handling logic
#9 opened by ignaden - 1
Clean up code comments (for documentation).
#16 opened by ignaden - 0
- 0
Update documentation in fix.readme.io
#3 opened by ignaden - 1
Treatment of FIX message parsing corner cases
#4 opened by KKostya - 0
- 0
Datetime printing
#126 opened by ewenmaclean - 0
- 0
Apply QuickFIX tests to the fix-engine model.
#44 opened by KKostya - 0
- 1
Create index for Documentation
#49 opened by elijahkagan - 1
Handle `emtpy_string` in `fix_string_to_string`
#33 opened by ignaden - 0
"Flatten" full field tags types
#12 opened by KKostya - 0
Autogeneration of IML model code
#10 opened by ignaden - 0