| FEP-XXXX | |
|---|---|
| Type | Informational |
| Description | Defines the baseline platform and dependency policy |
| Status | Draft |
| Author(s) | Benjamin Nauck (hyarion) |
| Version | 0.1 |
| Created | 2025-05-12 |
Benjamin Nauck hyarion
hyarion
/ FEP-XXXX: Dependency and Platform Policy.md
Created
May 12, 2025 18:12
hyarion
/ Coin3D-BGFX.md
Created
October 17, 2024 14:52
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.
hyarion
/ [WIP] ACSL by Example Report
Created
December 17, 2018 00:17
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # 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+why3.1.1.0.log
Created
December 11, 2018 23:34
[WIP] Frama-C 18.0 (Argon) + Why3 1.1.0
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |
hyarion
/ toolchain-nacl.cmake
Created
March 1, 2012 09:26
native client cmake toolchain file (from /seichter/CMake-Toolchain-Collection)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # | |
| # 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") |