diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 16:01:59 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-11 16:01:59 +0100 |
| commit | 37de369ba78dd15e40b7fa11b13cea3d2c2ed8d0 (patch) | |
| tree | 0aba186268793e8c285cab84f99f2b44d8bfac04 /examples/smtbmc/glift | |
| parent | be32de1caa8f10c97243cc6b919ad2265247219b (diff) | |
| download | yosys-37de369ba78dd15e40b7fa11b13cea3d2c2ed8d0.tar.gz yosys-37de369ba78dd15e40b7fa11b13cea3d2c2ed8d0.tar.bz2 yosys-37de369ba78dd15e40b7fa11b13cea3d2c2ed8d0.zip | |
Add date parameter to enable full date/time and version info
Diffstat (limited to 'examples/smtbmc/glift')
0 files changed, 0 insertions, 0 deletions