about summary refs log tree commit diff stats
path: root/run.py
diff options
context:
space:
mode:
authorTheofilos Augoustis <theofilos.augoustis@gmail.com>2025-11-27 13:50:03 +0000
committerTheofilos Augoustis <theofilos.augoustis@gmail.com>2025-11-27 13:50:03 +0000
commit9ae48813ee985992922facc2f81deff9e73aadf3 (patch)
tree31151256e88c1f5c7eebf60b46df5f9b6a4e7342 /run.py
parent6fa8a153f7924f4c2bdea8c4e7615f72f247ee51 (diff)
downloadfocaccia-9ae48813ee985992922facc2f81deff9e73aadf3.tar.gz
focaccia-9ae48813ee985992922facc2f81deff9e73aadf3.zip
Implement skip() mechanism for unmatch symbolic transformations
Diffstat (limited to 'run.py')
0 files changed, 0 insertions, 0 deletions