Skip to content

Releases: open-s4c/libvsync

v4.0.2

13 Dec 13:56
cd04c48
Compare
Choose a tag to compare

Fixed

  • type conversion warnings in vatomic32_get_* rmw APIs.

Release v4.0.1

06 Sep 08:52
1c5e660
Compare
Choose a tag to compare

[4.0.1]

Changed

  • added const to vatomic*_t *a parameter in read-only vatomic APIs.

Fixed

  • remove undef of used macros from vtypes.h.

v3.6.0

23 May 07:31
4596ce2
Compare
Choose a tag to compare

Added

  • cnalock, clhlock, arraylock, twalock, hmcslock, hclhlock, rec_seqlock
    and hemlock
  • bitmap
  • simpleht hashtable
  • elimination and xbo backoff stacks
  • mutex, cond, and once
  • treeset

Fixed

  • implementation of rwlock_acquired_by_readers

v3.5.0

23 Apr 10:06
b438dcd
Compare
Choose a tag to compare

Added

  • vmm/vmm.cat and verification support

v3.4.0

05 Apr 09:09
Compare
Choose a tag to compare
Release libvsync 3.4.0

Co-authored-by: Diogo Behrens <[email protected]>
Co-authored-by: Jonathan Schwender <[email protected]>
Signed-off-by: Lilith Oberhauser <[email protected]>
Signed-off-by: Diogo Behrens <[email protected]>
Signed-off-by: Jonathan Schwender <[email protected]>