| author | Miodrag Milanovic <mmicko@gmail.com> | |
| Wed, 26 Aug 2020 08:39:57 +0000 (10:39 +0200) | ||
| committer | Miodrag Milanovic <mmicko@gmail.com> | |
| Wed, 26 Aug 2020 08:39:57 +0000 (10:39 +0200) | ||
| commit | fe8226a22d6f4030a525a6792a6188817571718b | |
| tree | 3aae0793a300b97aa3c4505e8a8c519bf23e59de | tree |
| parent | 12132b6850747aec99715fdfa3184fe3ebefa015 | commit | diff |
| frontends/verific/verific.cc | diff | blob | history |