diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 15:48:06 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 15:48:06 +0100 |
commit | 996f75a7526591f89160b2df1d52cd5075696618 (patch) | |
tree | e9445a811275e88fe350d560b8a0bfab35cdc8d5 /driver/VericertDriver.ml | |
parent | 385ac7a100a202886784ceecc1fa6c4836958f0b (diff) | |
download | vericert-996f75a7526591f89160b2df1d52cd5075696618.tar.gz vericert-996f75a7526591f89160b2df1d52cd5075696618.zip |
Finished the propert version of from_predicated_sem_pred_expr2
Diffstat (limited to 'driver/VericertDriver.ml')
0 files changed, 0 insertions, 0 deletions