moved from fix to bitblast

Tractables · Dec 1, 2024 · fe1321b · fe1321b
1 parent 8ab3e1c
commit fe1321b
Show file tree

Hide file tree

Showing 4 changed files with 683 additions and 668 deletions.
diff --git a/rough.jl b/rough.jl
@@ -0,0 +1,6 @@
+using Dice
+
+a = uniform(DistFix{5, -6}, 0.01, 1.0)
+pr(a)
+
+DistFix{5, -6}([false, true, true, true, true])
diff --git a/src/dist/dist.jl b/src/dist/dist.jl
@@ -25,6 +25,7 @@ include("misc.jl")
 include("number/uint.jl")
 include("number/int.jl")
 include("number/fix.jl")
+include("number/bitblast.jl")
 include("char.jl")
 include("string.jl")
 include("enum.jl")