Skip to content

Releases: mirage/mirage-solo5

0.9.4

06 Nov 11:16
Compare
Choose a tag to compare

CHANGES:

0.9.3

29 Apr 13:46
Compare
Choose a tag to compare

CHANGES:

  • Time: remove Timeout exception, and unused timeout and with_timeout functions
    (#95 @hannesm)

0.9.2

03 Mar 21:45
abdc5da
Compare
Choose a tag to compare

CHANGES:

  • Provide Memory.metrics, a metrics source. Remove Mm.metrics metrics source.
    (#94 @hannesm)

0.9.1

19 Oct 13:56
Compare
Choose a tag to compare

CHANGES:

0.9.0

24 Jul 17:02
Compare
Choose a tag to compare

CHANGES:

  • provide Memory.stat (uses dlmalloc mallinfo - expensive), and Memory.trim
    (releases free memory), improve Memory.quick_stat accuracy using ocaml-solo5
    0.8.1 (@palainp #91)

0.8.0

27 Mar 17:51
3e3cdea
Compare
Choose a tag to compare

CHANGES:

0.7.0

31 Jan 17:19
Compare
Choose a tag to compare

CHANGES:

  • Support Mirage OS 4. Stop manually building and installing
    libmirage-solo5_bindings.a. This change is not compatible
    with MirageOS 3 (#82, @dinosaure, @TheLortex)
  • Rename the OS module into Solo5_os (#83, @dinosaure)

0.6.5

18 Nov 11:38
Compare
Choose a tag to compare

CHANGES:

  • Add caml_get_wall_clock to retrieve the wall clock as int64 (#73 @hannesm)
  • Remove checksum_stubs, now available through tcpip (#75 @dinosaure)
  • Remove alloc_pages_stubs, now available through io-page (#76 @dinosaure)
  • Don't require opam for the bindings compilation (#79 @hannesm)

v0.6.4

27 Oct 15:14
Compare
Choose a tag to compare

CHANGES:

  • Synchronise interfaces with those of the newly-released mirage-xen:
    • Provide a new OS.Memory statistics interface.
    • Mark existing OS.MM interfaces as deprecated.
    • Use a Makefile to build libmirage-solo5_bindings.a.
    • Time: minor syntactic chagnes, remove unused min_timeout.
    • (@hannesm / @mato, #72)
  • Remove superfluous conditional compilation for no longer supported OCaml versions (@hannesm, #70).

v0.6.3

29 Sep 13:22
Compare
Choose a tag to compare

CHANGES: