Sandbox::https://github.com/llvm/circt/tree/main/integration

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
abc.mlir		abc.mlir
array-lec.mlir		array-lec.mlir
balance-mux.mlir		balance-mux.mlir
circt-lec.sh.mlir		circt-lec.sh.mlir
comb-lowering-add.mlir		comb-lowering-add.mlir
comb-lowering-compare.mlir		comb-lowering-compare.mlir
comb-lowering-large-lec.mlir		comb-lowering-large-lec.mlir
comb-lowering-lec.mlir		comb-lowering-lec.mlir
comb-lowering-mul.mlir		comb-lowering-mul.mlir
cut-rewriter-lec.mlir		cut-rewriter-lec.mlir
datapath-canonicalize-lec.mlir		datapath-canonicalize-lec.mlir
datapath-lowering-lec.mlir		datapath-lowering-lec.mlir
datapath-reduce-delay-lec.mlir		datapath-reduce-delay-lec.mlir
divmod-dyn.mlir		divmod-dyn.mlir
divmod.mlir		divmod.mlir
exact-synthesis-unchanged.mlir		exact-synthesis-unchanged.mlir
exact-synthesis.mlir		exact-synthesis.mlir
functional-reduction-cadical.mlir		functional-reduction-cadical.mlir
functional-reduction-z3.mlir		functional-reduction-z3.mlir
lower-variadic.mlir		lower-variadic.mlir
mapping-lec.mlir		mapping-lec.mlir
maximum-and-cover-lec.mlir		maximum-and-cover-lec.mlir
sop-balancing.mlir		sop-balancing.mlir