History

Last updated: 2019-08-21 15:33:59

Release 3

Release time: March 8, 2019 11:50:32

This release contains:

Improvements on current documentation.

New APIs:

Modified APIs:

New data structures:

Release 2

Release time: December 6, 2018 21:01:55

This release contains:

Improvements on current documentation.

New APIs:

New data structures:

Release 1

Release time: November 29, 2018 17:36:37

This release contains:

Improvements on current documentation.

New APIs:

New data structures: