Skip to content
Snippets Groups Projects
Commit abb11958 authored by Jan Hönig's avatar Jan Hönig
Browse files

Implemented the support of llvm-backend for piecewise, eq, ne, lt, le, gt, gt.

Testcases test_mu_equivalence, test_phi_equivalence are passing.
parent fc7e815a
No related merge requests found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment