Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
4 check-ins using file bs/builtins/types/func/invoke.cpp version d20a079e03
|
2022-02-18
| ||
| 17:36 |
| |
|
2022-02-14
| ||
| 17:42 | verifier: handle setting and retrieving the value of ghost function closures check-in: bef38cb315 user: zlodo tags: trunk | |
|
2022-02-02
| ||
| 01:08 | verifier: build and cache z3 declarations for ghost funcs check-in: e607197fe9 user: zlodo tags: trunk | |
|
2022-01-31
| ||
| 18:07 | ghost func invocation generates the ghost call CIR instruction (only allowed inside of propositions) check-in: c55193554e user: zlodo tags: trunk | |