summaryrefslogtreecommitdiff
path: root/tests/lean
diff options
context:
space:
mode:
authorSon Ho2023-07-09 22:27:44 +0200
committerSon Ho2023-07-09 22:27:44 +0200
commitd9a11b312ef0df13795d9a1982ca1cd2eba0e124 (patch)
treece677b31aa230323e907be57f70798ea2d84931e /tests/lean
parent1c251c13b1e6698f3c7c974ea88c2c8a28777cc1 (diff)
Improve int_tac
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions