terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
circt/test/Dialect/LTL
History
Fabian Schuiki c08df96a5a
[LTL] Canonicalize ltl.and to comb.and for i1 properties (#7759) 
Extend `ltl.and`, `ltl.or`, and `ltl.intersect` to infer their return
type as `i1` if all operands are `i1`. Also add a canonicalization
method that replaces these ops with `comb.and` and `comb.or` if they
operate entirely on `i1`.
 		2024-11-01 09:11:00 -07:00
..
basic.mlir [LTL] Canonicalize ltl.and to comb.and for i1 properties (#7759) 2024-11-01 09:11:00 -07:00
canonicalization.mlir [LTL] Canonicalize ltl.and to comb.and for i1 properties (#7759) 2024-11-01 09:11:00 -07:00