diff options
| author | Son Ho | 2022-06-27 06:51:08 +0200 |
|---|---|---|
| committer | Son Ho | 2022-06-27 06:51:08 +0200 |
| commit | 8c3dc80d255ba2000d35c0bcdf9dbe927215bb81 (patch) | |
| tree | e9cb13746a230666d9a6bd258a0e94f1e9772191 /fstar | |
| parent | f24f1043e72cddad2b29b09b79649ffc5e1d7c42 (diff) | |
Add `can_end` in `abs` and use it for the return abs when generating the
backward functions
Diffstat (limited to 'fstar')
0 files changed, 0 insertions, 0 deletions