steve
|
1a8ffe2a9c
|
More standard PLI_BYTE8.
|
2007-06-05 21:32:30 +00:00 |
|
steve
|
d10da2121f
|
Clean up manual definitions of PLI_UINT64_FMT.
|
2003-11-12 02:38:44 +00:00 |
|
steve
|
bc0ead2842
|
Spelling fixes in comments.
|
2003-11-08 20:06:21 +00:00 |
|
steve
|
5ff3bcc7fb
|
Add the PLU_UINT64_FMT string for formatting output.
|
2003-10-29 03:28:27 +00:00 |
|
steve
|
4236b8a95e
|
Portably handle time format of VCD prints.
|
2003-10-29 03:23:12 +00:00 |
|
steve
|
7ef45769a7
|
Use configured TIME_FMT in vcd dump printf.
|
2003-10-02 21:30:06 +00:00 |
|
steve
|
01d22e2005
|
Put libraries in libdir64.
|
2003-10-02 19:33:44 +00:00 |
|
steve
|
f7b3c720af
|
Add PLI_UINT64 to _pli_types.h.
|
2003-09-30 01:33:13 +00:00 |