This is a preliminary specification. Nothing is set in stone, libraries can change and project can be scrapped.
The goal for this project is to replace the rendering algorithm in Coin3d, from OpenGL 3.0 to BGFX to allow modern rendering backends while retaining the API as closely as possible.
| # this is the current state of running the test suite from "ACSL by Example" | |
| # a few goals fails here and there.. I need to figure out how to check exactly | |
| # which one it is | |
| # bumped the env waay up to make sure those wheren't the cause | |
| $ echo $WP_TIMEOUT $WP_COQ_TIMEOUT $WP_ALT_ERGO_STEPS | |
| 80 80 20000 | |
| $ why3 --version | |
| Why3 platform, version 1.1.0 |
| hyarion$ frama-c -wp -wp-prover=cvc4,z3-ce isqrt.c | |
| [kernel] Parsing isqrt.c (with preprocessing) | |
| [wp] Warning: Missing RTE guards | |
| [wp] 61 goals scheduled | |
| [wp] Proved goals: 61 / 61 | |
| Qed: 41 (0.30ms-14ms-56ms) | |
| cvc4: 2 (140ms) | |
| z3-ce: 19 (30ms-221ms-1.8s) | |
| hyarion$ why3 --version | |
| Why3 platform, version 1.1.0 |
| # | |
| # Google Native Client toolchain file for CMake | |
| # | |
| # (c) Copyrights 2009-2011 Hartmut Seichter | |
| # | |
| # Note: only works on OSX | |
| # | |
| set(NACL_PATH $ENV{NACL_ROOT} CACHE STRING "Native Client SDK Root Path") |