New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bugfix vcd files #27

Merged

LucasKl merged 2 commits into ics-jku:main from Simre1:bugfix-vcd-files

Dec 5, 2023

Contributor

Simre1 commented Dec 5, 2023

This merge fixes two bugs for VCD files:

For FST files, the property all_timestamps was set which is needed to sample the timestamps. For VCD files, the property all_timestamps was not set.
Some VCD files do not have a space between variable names and bitwidth annotations. The parser has been made less strict in order to allow bitwidth annotations directly next to the name.

Simre1 added 2 commits

December 5, 2023 14:35


          Fix VCD all_timestamps

c4d2581


          allow bit widths next to variable names in VCD files

dfb0fc4

LucasKl merged commit 07e821a into ics-jku:main

3 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet