Build #2 (Fri Oct 04 11:20:04 CEST 2024)

1. Add support for assertions in algorithms. (details / githubweb)
2. Add algorithm runtime assertion support. (details / githubweb)
3. Added dummy runtime verification to LogOp (details / githubweb)
4. Added dummy verification for LogOp (details / githubweb)
5. Added proper runtime verification to LogOp + Fixed linking error (details / githubweb)
6. Changed error message in LogOp runtime verification (details / githubweb)
7. Added argument cast in LogOp, instrumented PassManager for debugging (details / githubweb)
8. Removed useless pass registration in modelica-opt (details / githubweb)
9. Corrected condition type (details / githubweb)
10. Better error message in LogOp (details / githubweb)
11. Changed LogOp assert operands' type from I64 to F64 (details / githubweb)
12. Added runtime verification to DivOp (details / githubweb)
13. asin, acos, log10 runtime verification (details / githubweb)
14. Added runtime verification to SqrtOp, DimOp (details / githubweb)
15. Ignoring vscode cache dir (details / githubweb)

Push event to branch benatti-caleca-runtimeverif at 11:19:49 on 2024 Oct 4

This run spent:

• 16 min waiting;
• 21 min build duration;
• 21 min total from scheduled to completion.

• benatti-caleca-runtimeverif