summaryrefslogtreecommitdiff
path: root/backends/fstar/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-12-13 10:57:49 +0100
committerSon Ho2023-12-13 10:57:49 +0100
commitbfa83d948aff5ad0ec298836bf9f0be58a62d542 (patch)
treecc2d4c58c2b616966905db3bb3495225f8112f2b /backends/fstar/Makefile
parent22009543d86895b9f680d3a4abdea00302ad5f1e (diff)
Update the interpreter to handle optional otherwise branches
Diffstat (limited to 'backends/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions