31-Jan-2007: OLVER Core 1.1 with IA64 Support

News

OLVER Core 1.1 maintenance release has been published with additional support for IA64 (Itanium) architecture. Also we have successfully checked the tests on the Debian 4.0 "etch" system.

Please use the usual links for browsing OLVER project results:

  • a requirements catalog for all 1532 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.