6c03f5b8ed
robur.io -> robur.coop
2025-02-04 19:25:46 +01:00
12af28bc3f
Prepare for release v0.4.0
...
Also reconstruct the changelog for v0.3.1 which seems to have been lost.
2025-02-04 19:22:16 +01:00
129f2b483b
Update interface documentation
...
To reflect the new type.
2025-02-04 19:14:01 +01:00
514fe9a060
Merge pull request 'Drop owee dependency and work on strings' ( !2 ) from no-owee into main
...
Reviewed-on: #2
2025-01-31 17:11:25 +00:00
9e0ecbef19
Add cram dependency
2025-01-31 18:00:50 +01:00
e98cc6d669
Add cram test
...
The test uses osolo5-elftool on the test_hello application from the
solo5 tests to query their abi and manifest. The manifest is empty and
boring.
2025-01-31 17:45:34 +01:00
8feb54d5f8
Mark as unavailable on 32 bit platforms
2025-01-31 17:28:01 +01:00
649872703f
Update dune files with dependency changes
2025-01-30 15:54:02 +01:00
742799de5b
Catch exceptions in interface
2025-01-30 14:44:07 +01:00
04cc6350b1
Get rid of cstruct
...
And update opam file
2025-01-30 13:23:05 +01:00
bf003875b9
osolo5-elftool: close file
2025-01-30 12:43:16 +01:00
7bef25f19f
Switch to cachet
2025-01-30 12:39:39 +01:00
0a04cc0bcc
Drop owee dependency and work on strings
2025-01-24 20:34:20 +01:00
bd9e1c1b87
Merge pull request 'Update to cmdliner>=1.1.0' ( !1 ) from update-cmdliner into main
...
Reviewed-on: #1
2025-01-24 13:45:06 +00:00
a5c7acb626
Update to cmdliner>=1.1.0
2025-01-24 14:06:42 +01:00
00b75b0b8e
Add maintenance intent
2025-01-16 16:31:55 +01:00
c6dd76dc98
roburio -> robur-coop
2023-09-09 12:03:11 +02:00
43731ce557
Merge pull request 'opam: use 4.08.0 instead of 4.8.0' ( #3 ) from minor into main
...
Reviewed-on: https://git.robur.io/robur/ocaml-solo5-elftool/pulls/3
2022-03-29 12:01:42 +00:00
c4300e65f3
opam: use 4.08.0 instead of 4.8.0
2022-03-17 09:33:17 +01:00
082680d4a9
Prepare release 0.3.0
2022-01-28 14:47:52 +00:00
8fa3b516c4
Merge pull request 'query_abi / query_manifest: catch exceptions from Owee' ( #2 ) from no-exception into main
...
Reviewed-on: https://git.robur.io/robur/ocaml-solo5-elftool/pulls/2
2022-01-28 14:42:03 +00:00
51743d810f
query_abi / query_manifest: catch exceptions from Owee
...
Owee_elf may raise various exceptions (I may have missed some):
- Owee_buf.Invalid_format of string
- Failure (failwith in Owee_elf.read_identification, called by read_elf)
- Assert_failure (assert in Owee_elf.read_header, called by read_elf)
addresses #1
2022-01-28 13:47:30 +01:00
0a82ca4734
Prepare release v0.2.0
2021-12-16 16:17:19 +01:00
d3c7b0cd00
Rename binary, implement query-abi, ...
...
* The binary is renamed from solo5-elftool to osolo5-elftool to allow
for distinguishing from the binary from solo5
* query_abi is implemented and osolo5-elftool is extended with a
query-abi sub command
* instead of [assert false] on unknown manifest entry types or abi
targets an [Error (`Msg ...)] is returned.
2021-12-16 12:12:43 +01:00
c1863a2f5a
Fix typo
2021-12-15 21:31:08 +01:00
fe7b121878
Conflict with result < 1.5
2021-12-15 17:25:20 +01:00
a1af522f45
opam: Add ocaml, cstruct version constraint
2021-12-15 17:11:28 +01:00
a79976b6de
opam: Add fmt version constraint
2021-12-15 16:59:11 +01:00
9d025dba2c
Also rename in dune-project
2021-12-15 16:29:36 +01:00
a4ca6cbcc9
add LICENSE and README
2021-12-15 16:28:43 +01:00
221a0bf78c
Prepare for initial release
2021-12-15 16:17:43 +01:00
01d1db661c
Remove inline record, documentation
...
The single-field records are unnecessary and a left-over from an earlier
iteration of the code.
2021-12-15 16:12:31 +01:00
cceb83ccd7
Rename package solo5_elftool -> solo5-elftool
2021-12-15 15:27:16 +01:00
f31d9d8288
opam: update owee dependency
...
Owee 0.4 has been released and we no longer need pin-depends.
2021-12-15 15:20:50 +01:00
dd2c6803c6
Fix type error
2021-12-14 13:39:56 +01:00
Robur
55ea217151
Fix reversed order of manifest entry elements
2021-12-13 14:14:58 +00:00
f5d23778cb
Use result, improve API
...
* Asserts and cstruct exceptions are removed in favor of result
* Parse separately and don't emit `RESERVED_FIRST` mft_entry
* Add .mli file exposing types, pretty printers and `query_manifest`
2021-12-13 14:58:44 +01:00
de8b304d87
Add opam file, improve dune files
2021-12-10 19:05:42 +01:00
0156567918
Better naming
2021-12-10 19:05:42 +01:00
c84535962f
Improve parsing and add type mft
...
* mft_entry.b, mft_entry.u are runtime fields. We expect them to be
zeroed.
* add a type mft with version and mft_entries
* add pretty printers a la solo5-elftool query-manifest
2021-12-10 19:05:42 +01:00
e746d9d794
Parse manifest
...
Could use some improvements, but it can parse a manifest now.
2021-12-09 16:17:11 +01:00
01aa4a8c8c
Initial commit
2021-12-09 11:06:56 +01:00