-
- Downloads
add missing impls for shiftLeft/shiftRight and add constants for 0, 1 and 2
also fix wrong constructor
Showing
- btypes_big_integer/src/main/java/de/hhu/stups/btypes/BInteger.java 68 additions, 71 deletions...g_integer/src/main/java/de/hhu/stups/btypes/BInteger.java
- btypes_big_integer/src/main/java/de/hhu/stups/btypes/BRelation.java 9 additions, 9 deletions..._integer/src/main/java/de/hhu/stups/btypes/BRelation.java
- btypes_big_integer/src/main/java/de/hhu/stups/btypes/BSet.java 4 additions, 4 deletions...s_big_integer/src/main/java/de/hhu/stups/btypes/BSet.java
- btypes_primitives/src/main/java/de/hhu/stups/btypes/BInteger.java 38 additions, 36 deletions...rimitives/src/main/java/de/hhu/stups/btypes/BInteger.java
Loading
Please register or sign in to comment