1. Franck Cassez Avatar Franck Cassez
  2. Untitled project
  3. scalaSMT
  4. Issues

Missing operators in FPBVs

Issue #8 resolved
Franck Cassez repo owner created an issue

FPBVs has some special operators isNaN, isPositive and so on. There are not implemented in the FPBitVectors trait.

Implement them and test.

Comments (1)

  2. Log in to comment
Assignee
Type
enhancement
Priority
blocker
Status
resolved
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!