Skip to content

Changes

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

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