21-Jun-2007: OLVER Core 1.2

News

OLVER Core 1.2 maintenance release has been published with source code revisited and cleaned up. We have extended the database of known errors discovered by the tests, which now contains more than a hundred detailed descriptions of mistmatches of various ditributions with LSB Core.

Please use the usual links for browsing OLVER project results:

  • a requirements catalog for all 1532 generic functions of the LSB Core 3.1;
  • formal specifications in normal quality for 1270 functions of the LSB Core 3.1;
  • formal specifications in minimal quality for 260 functions of the LSB Core 3.1;
  • reports on the possible issues found by the Center in the text of LSB 3.1 and POSIX standards;
  • demo examples of the tests for math.integer group of functions with annotated examples that allow understanding the technologies used and the architecture of the OLVER test suite;
  • The full OLVER Core test suite release including source code and documentation.

We welcome everybody to check the results and comment. We will provide free of charge support for everybody using our results in non-commercial purposes.