about summary refs log tree commit diff stats
path: root/tools (follow)
Commit message (Expand)AuthorAgeFilesLines
* Refactor tool handling to match flake systemTheofilos Augoustis2025-08-284-496/+0
* Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis2025-08-271-1/+1
* Implement online verification of symbolic backend ta/developTheofilos Augoustis2024-10-141-1/+6
* Enable Focaccia's logging in capture_transforms.pyTheofilos Augoustis2024-07-281-8/+3
* Add support for aarch64Theofilos Augoustis2024-07-121-23/+58
* Make symbolic equations more symbolicTheofilos Augoustis2024-02-192-75/+90
* Add hostname argument to `verify_qemu.py`Theofilos Augoustis2024-02-151-6/+6
* Store instructions in SymbolicTransformationTheofilos Augoustis2024-02-081-5/+18
* Basic reproducer generator setupTheofilos Augoustis2024-02-023-1/+5
* Verify QEMU by abstracting over inconsistencies in trace logs via matching al...Theofilos Augoustis2024-01-303-135/+288
* Use symbolic execution to speed up QEMU testingTheofilos Augoustis2024-01-222-146/+134
* Refactor symbolic transformation handlingTheofilos Augoustis2024-01-171-0/+27
* Refactor project structureTheofilos Augoustis2023-12-311-4/+4
* Verify QEMU by converting logs to internal data formatTheofilos Augoustis2023-12-263-0/+261