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


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
Copy link
Collaborator Author


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
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants