| author | Miodrag Milanovic <mmicko@gmail.com> | |
| Fri, 9 Jul 2021 07:02:27 +0000 (09:02 +0200) | ||
| committer | Miodrag Milanovic <mmicko@gmail.com> | |
| Fri, 9 Jul 2021 07:02:27 +0000 (09:02 +0200) | ||
| commit | 7a5ac909858c22f2daf2f7ca63869c554dc3b9b5 | |
| tree | 4c5e9c90348c05c9a508eb2922fdfdb4b367654a | tree |
| parent | 4446cfa524cf06e84add450214f64b2de6e199c3 | commit | diff |
| Makefile | diff | blob | history | |
| frontends/verific/verific.cc | diff | blob | history |