Skip to content
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.

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

timeunits declaration and lifetime on module declarations #34

Closed
veripoolbot opened this issue Oct 13, 2008 · 1 comment
Closed

timeunits declaration and lifetime on module declarations #34

veripoolbot opened this issue Oct 13, 2008 · 1 comment
Assignees

Comments

@veripoolbot
Copy link
Collaborator

@veripoolbot veripoolbot commented Oct 13, 2008


Author Name: Nicky Ayoub
Original Redmine Issue: 34 from https://www.veripool.org
Original Date: 2008-10-13
Original Assignee: Wilson Snyder (@wsnyder)


We have some SV code that uses timeunits and timeprecision.

I think I have added timeunits/timeprecision in to the grammar properly. I also added lifetimeE as per the interface usage. I am new to git and may have messed up when I did a 'git format-patch origin' after a 'git diff'. I assumed that it would create a patch file but I didn't see anything happen.

In any case I redirected 'git diff' to a file and I am attaching it.

I am sorry for the lack of testcases... At least it passes the current set without any breakage.
So I guess I am testing the 'empty' part of the productions ;-)

@veripoolbot

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Oct 13, 2008


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2008-10-13T19:50:09Z


Thanks, again! Looked good, so I added this to the repository.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.