copilot-swe-agent[bot]
|
e6e878a98a
|
fstar: clarify README relationship table heading per review
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/46fcd3bf-be90-4098-8516-fde0f1e37cbf
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-04-05 02:01:57 +00:00 |
|
copilot-swe-agent[bot]
|
1b73e5f1de
|
fstar: add fpa_rewriter_rules.h with C++ macros extracted from F* lemmas
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/46fcd3bf-be90-4098-8516-fde0f1e37cbf
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-04-05 02:01:12 +00:00 |
|
copilot-swe-agent[bot]
|
653c49ac5e
|
fstar: address review comments - improve comments and table header clarity
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/7899b653-a7f0-443c-894a-32376baea5c0
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-04-03 18:05:55 +00:00 |
|
copilot-swe-agent[bot]
|
e3aa907098
|
fstar: formalize FPA rewriter rules from PR #9038 in F* using IEEE 754 axioms
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/7899b653-a7f0-443c-894a-32376baea5c0
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-04-03 18:05:00 +00:00 |
|