leanprover / leansat

This package provides an interface and foundation for verified SAT reasoning
Apache License 2.0
49 stars 6 forks source link

test: add new files from grosser group #128

Closed hargoniX closed 3 months ago

hargoniX commented 3 months ago

This pulls over test cases from https://github.com/opencompl/lean-mlir/tree/main/SSA/Projects/InstCombine/tests/LLVM which were in turn derived from https://github.com/llvm/llvm-project/tree/main/llvm/test/Transforms/InstCombine by @AtticusKuhn.