diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 00:35:33 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 00:35:33 -0300 |
| commit | 7aacf596d73cc74eb9af381a72723b50b4069e30 (patch) | |
| tree | 6970478e0866167285dc15820812b464407b75cb /lib/vm.mli | |
| parent | 6520b876af064d57bccf944a6fef9807a8c79de5 (diff) | |
| download | SOL-7aacf596d73cc74eb9af381a72723b50b4069e30.tar.gz SOL-7aacf596d73cc74eb9af381a72723b50b4069e30.zip | |
symbolic discharge: universals over infinite domains decided by intervals
Diffstat (limited to 'lib/vm.mli')
0 files changed, 0 insertions, 0 deletions