summaryrefslogtreecommitdiff
path: root/backends/fstar
diff options
context:
space:
mode:
authorNadrieril2024-05-23 17:01:03 +0200
committerNadrieril2024-05-24 16:11:59 +0200
commit7935e74a9cedd93e885ab546d5513ea6c31db5ad (patch)
tree6f231079c905423479b4a63354c2a2e124843059 /backends/fstar
parent24fc188af7032b8119cb7504965b82216e2bbf6b (diff)
runner: Strongly typed Backend enum
Diffstat (limited to 'backends/fstar')
0 files changed, 0 insertions, 0 deletions