Changes
#2 (Fri Oct 04 11:20:00 CEST 2024)
- Add support for assertions in algorithms. — nicolas.benatti / githubweb
- Add algorithm runtime assertion support. — nicolas.benatti / githubweb
- Added dummy runtime verification to LogOp — nicolas.benatti / githubweb
- Added dummy verification for LogOp — nicolas.benatti / githubweb
- Added proper runtime verification to LogOp + Fixed linking error — nicolas.benatti / githubweb
- Changed error message in LogOp runtime verification — nicolas.benatti / githubweb
- Added argument cast in LogOp, instrumented PassManager for debugging — nicolas.benatti / githubweb
- Removed useless pass registration in modelica-opt — nicolas.benatti / githubweb
- Corrected condition type — nicolas.benatti / githubweb
- Better error message in LogOp — nicolas.benatti / githubweb
- Changed LogOp assert operands' type from I64 to F64 — nicolas.benatti / githubweb
- Added runtime verification to DivOp — nicolas.benatti / githubweb
- asin, acos, log10 runtime verification — nicolas.benatti / githubweb
- Added runtime verification to SqrtOp, DimOp — nicolas.benatti / githubweb
- Ignoring vscode cache dir — nicolas.benatti / githubweb