diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-02 20:51:23 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-02 20:52:30 +0100 |
| commit | 710979db5857d58de4478c3e8a6d645ebab9d8c1 (patch) | |
| tree | e0c43496460e57024659a097dcae9d73861e57fe /default.nix | |
| parent | 87fba8b56e25130519f7b4bea4b9887bc14ec31f (diff) | |
| download | vericert-710979db5857d58de4478c3e8a6d645ebab9d8c1.tar.gz vericert-710979db5857d58de4478c3e8a6d645ebab9d8c1.zip | |
Check whether callee is internal for Icall
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions