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.

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

[Feature] Floating Point Type #117

Open
ProLoDs opened this issue Aug 14, 2017 · 0 comments
Open

[Feature] Floating Point Type #117

ProLoDs opened this issue Aug 14, 2017 · 0 comments

Comments

@ProLoDs
Copy link

ProLoDs commented Aug 14, 2017

Hi,
a floating point type is missing in

Model/Vocabulary/Types

Greetings
Sygus added a commit that referenced this issue Dec 29, 2022
@Sygus
Merge branch '117-doc-fixes' into 'develop'
8edbee6 
Resolve "doc fixes"

Closes #117

See merge request ANS015/netzob!320
Sygus added a commit that referenced this issue Dec 30, 2022
@Sygus
Merge branch '117-doc-fixes' into 'develop'
0f8b2c7 
Resolve "doc fixes"

Closes #117

See merge request ANS015/netzob!320
@Sygus Sygus closed this as completed in c85f58d Jan 3, 2023
@Sygus Sygus reopened this Jan 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Sygus @ProLoDs