Skip to content

Commit

Permalink
finalize Grover in _all, LSTA and PLDI23 with unittests
Browse files Browse the repository at this point in the history
  • Loading branch information
@alan23273850
alan23273850 committed Sep 2, 2024
1 parent 8b7cf03 commit 93af07a
Show file tree
Hide file tree
Showing 152 changed files with 837,784 additions and 197,961 deletions.
3,800 changes: 1,900 additions & 1,900 deletions benchmarks/LSTA/Grover/12/circuit.qasm
View file

Large diffs are not rendered by default.

7 changes: 7 additions & 0 deletions benchmarks/LSTA/Grover/12/post.hsl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
Constants
aH := 209491273914069228938927703159615696187222341014075909563660555762272712788540723338447145178084239202207812130136290161243408801398046679755101305728001 / (sqrt2 ^ 1012)
aL := -24202565025804503446880919280495496962775723756474832273553510459075370332791703697528494514667628460606935348513162892614621202977427470434276838399 / (sqrt2 ^ 1012)
Variable Order
1 2 4 6 8 10 12 14 16 18 20 22 3 5 7 9 11 13 15 17 19 21 23 24
Extended Dirac
aH |010101010101> + aL |*> # |000000000001>
153 changes: 77 additions & 76 deletions benchmarks/LSTA/Grover/12/post.spec
View file
Original file line number Diff line number Diff line change
@@ -1,76 +1,77 @@
Numbers
c0 := (-24202565025804503446880919280495496962775723756474832273553510459075370332791703697528494514667628460606935348513162892614621202977427470434276838399 + 0 * A(1/8) + 0 * A(2/8) + 0 * A(3/8)) / (V2 ^ 1012)
c1 := (0 + 0 * A(1/8) + 0 * A(2/8) + 0 * A(3/8)) / (V2 ^ 0)
c2 := (209491273914069228938927703159615696187222341014075909563660555762272712788540723338447145178084239202207812130136290161243408801398046679755101305728001 + 0 * A(1/8) + 0 * A(2/8) + 0 * A(3/8)) / (V2 ^ 1012)
Transitions
[1](2, 1) -> 0
[2](3, 3) -> 1
[2](3, 4) -> 2
[3](6, 5) -> 3
[3](7, 5) -> 4
[4](8, 8) -> 5
[4](9, 9) -> 6
[4](10, 9) -> 7
[5](11, 11) -> 8
[5](12, 11) -> 9
[5](13, 11) -> 10
[6](14, 14) -> 11
[6](15, 15) -> 12
[6](15, 16) -> 13
[7](17, 17) -> 14
[7](18, 17) -> 15
[7](19, 17) -> 16
[8](20, 20) -> 17
[8](21, 21) -> 18
[8](22, 21) -> 19
[9](23, 23) -> 20
[9](24, 23) -> 21
[9](25, 23) -> 22
[10](26, 26) -> 23
[10](27, 27) -> 24
[10](27, 28) -> 25
[11](29, 29) -> 26
[11](30, 29) -> 27
[11](31, 29) -> 28
[12](32, 32) -> 29
[12](33, 33) -> 30
[12](34, 33) -> 31
[13](35, 35) -> 32
[13](36, 35) -> 33
[13](37, 35) -> 34
[14](38, 38) -> 35
[14](39, 39) -> 36
[14](39, 40) -> 37
[15](41, 41) -> 38
[15](42, 41) -> 39
[15](43, 41) -> 40
[16](44, 44) -> 41
[16](45, 45) -> 42
[16](46, 45) -> 43
[17](47, 47) -> 44
[17](48, 47) -> 45
[17](49, 47) -> 46
[18](50, 50) -> 47
[18](51, 51) -> 48
[18](51, 52) -> 49
[19](53, 53) -> 50
[19](54, 53) -> 51
[19](55, 53) -> 52
[20](56, 56) -> 53
[20](57, 57) -> 54
[20](58, 57) -> 55
[21](59, 59) -> 56
[21](60, 59) -> 57
[21](61, 59) -> 58
[22](62, 62) -> 59
[22](63, 63) -> 60
[22](63, 64) -> 61
[23](65, 65) -> 62
[23](66, 65) -> 63
[23](67, 65) -> 64
[24](68, 68) -> 65
[24](68, 69) -> 66
[24](68, 70) -> 67
[c0] -> 69
[c1] -> 68
[c2] -> 70
Constants
aH := 209491273914069228938927703159615696187222341014075909563660555762272712788540723338447145178084239202207812130136290161243408801398046679755101305728001 / (sqrt2 ^ 1012)
aL := -24202565025804503446880919280495496962775723756474832273553510459075370332791703697528494514667628460606935348513162892614621202977427470434276838399 / (sqrt2 ^ 1012)
c0 := 0
Root States 0
Colored Transitions
[1,1](2, 1) -> 0
[2,1](3, 3) -> 1
[2,1](3, 4) -> 2
[3,1](6, 5) -> 3
[3,1](7, 5) -> 4
[4,1](8, 8) -> 5
[4,1](9, 9) -> 6
[4,1](10, 9) -> 7
[5,1](11, 11) -> 8
[5,1](12, 11) -> 9
[5,1](13, 11) -> 10
[6,1](14, 14) -> 11
[6,1](15, 15) -> 12
[6,1](15, 16) -> 13
[7,1](17, 17) -> 14
[7,1](18, 17) -> 15
[7,1](19, 17) -> 16
[8,1](20, 20) -> 17
[8,1](21, 21) -> 18
[8,1](22, 21) -> 19
[9,1](23, 23) -> 20
[9,1](24, 23) -> 21
[9,1](25, 23) -> 22
[10,1](26, 26) -> 23
[10,1](27, 27) -> 24
[10,1](27, 28) -> 25
[11,1](29, 29) -> 26
[11,1](30, 29) -> 27
[11,1](31, 29) -> 28
[12,1](32, 32) -> 29
[12,1](33, 33) -> 30
[12,1](34, 33) -> 31
[13,1](35, 35) -> 32
[13,1](36, 35) -> 33
[13,1](37, 35) -> 34
[14,1](38, 38) -> 35
[14,1](39, 39) -> 36
[14,1](39, 40) -> 37
[15,1](41, 41) -> 38
[15,1](42, 41) -> 39
[15,1](43, 41) -> 40
[16,1](44, 44) -> 41
[16,1](45, 45) -> 42
[16,1](46, 45) -> 43
[17,1](47, 47) -> 44
[17,1](48, 47) -> 45
[17,1](49, 47) -> 46
[18,1](50, 50) -> 47
[18,1](51, 51) -> 48
[18,1](51, 52) -> 49
[19,1](53, 53) -> 50
[19,1](54, 53) -> 51
[19,1](55, 53) -> 52
[20,1](56, 56) -> 53
[20,1](57, 57) -> 54
[20,1](58, 57) -> 55
[21,1](59, 59) -> 56
[21,1](60, 59) -> 57
[21,1](61, 59) -> 58
[22,1](62, 62) -> 59
[22,1](63, 63) -> 60
[22,1](63, 64) -> 61
[23,1](65, 65) -> 62
[23,1](66, 65) -> 63
[23,1](67, 65) -> 64
[24,1](68, 68) -> 65
[24,1](68, 69) -> 66
[24,1](68, 70) -> 67
[c0,1] -> 68
[aL,1] -> 69
[aH,1] -> 70
2 changes: 2 additions & 0 deletions benchmarks/LSTA/Grover/12/pre.hsl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
Extended Dirac
|000000000000000000000000>
107 changes: 54 additions & 53 deletions benchmarks/LSTA/Grover/12/pre.spec
View file
Original file line number Diff line number Diff line change
@@ -1,53 +1,54 @@
Numbers
c0 := (0 + 0 * A(1/8) + 0 * A(2/8) + 0 * A(3/8)) / (V2 ^ 0)
c1 := (1 + 0 * A(1/8) + 0 * A(2/8) + 0 * A(3/8)) / (V2 ^ 0)
Transitions
[1](2, 1) -> 0
[2](3, 3) -> 1
[2](4, 3) -> 2
[3](5, 5) -> 3
[3](6, 5) -> 4
[4](7, 7) -> 5
[4](8, 7) -> 6
[5](9, 9) -> 7
[5](10, 9) -> 8
[6](11, 11) -> 9
[6](12, 11) -> 10
[7](13, 13) -> 11
[7](14, 13) -> 12
[8](15, 15) -> 13
[8](16, 15) -> 14
[9](17, 17) -> 15
[9](18, 17) -> 16
[10](19, 19) -> 17
[10](20, 19) -> 18
[11](21, 21) -> 19
[11](22, 21) -> 20
[12](23, 23) -> 21
[12](24, 23) -> 22
[13](25, 25) -> 23
[13](26, 25) -> 24
[14](27, 27) -> 25
[14](28, 27) -> 26
[15](29, 29) -> 27
[15](30, 29) -> 28
[16](31, 31) -> 29
[16](32, 31) -> 30
[17](33, 33) -> 31
[17](34, 33) -> 32
[18](35, 35) -> 33
[18](36, 35) -> 34
[19](37, 37) -> 35
[19](38, 37) -> 36
[20](39, 39) -> 37
[20](40, 39) -> 38
[21](41, 41) -> 39
[21](42, 41) -> 40
[22](43, 43) -> 41
[22](44, 43) -> 42
[23](45, 45) -> 43
[23](46, 45) -> 44
[24](47, 47) -> 45
[24](48, 47) -> 46
[c0] -> 47
[c1] -> 48
Constants
c0 := 0
c1 := 1
Root States 0
Colored Transitions
[1,1](2, 1) -> 0
[2,1](3, 3) -> 1
[2,1](4, 3) -> 2
[3,1](5, 5) -> 3
[3,1](6, 5) -> 4
[4,1](7, 7) -> 5
[4,1](8, 7) -> 6
[5,1](9, 9) -> 7
[5,1](10, 9) -> 8
[6,1](11, 11) -> 9
[6,1](12, 11) -> 10
[7,1](13, 13) -> 11
[7,1](14, 13) -> 12
[8,1](15, 15) -> 13
[8,1](16, 15) -> 14
[9,1](17, 17) -> 15
[9,1](18, 17) -> 16
[10,1](19, 19) -> 17
[10,1](20, 19) -> 18
[11,1](21, 21) -> 19
[11,1](22, 21) -> 20
[12,1](23, 23) -> 21
[12,1](24, 23) -> 22
[13,1](25, 25) -> 23
[13,1](26, 25) -> 24
[14,1](27, 27) -> 25
[14,1](28, 27) -> 26
[15,1](29, 29) -> 27
[15,1](30, 29) -> 28
[16,1](31, 31) -> 29
[16,1](32, 31) -> 30
[17,1](33, 33) -> 31
[17,1](34, 33) -> 32
[18,1](35, 35) -> 33
[18,1](36, 35) -> 34
[19,1](37, 37) -> 35
[19,1](38, 37) -> 36
[20,1](39, 39) -> 37
[20,1](40, 39) -> 38
[21,1](41, 41) -> 39
[21,1](42, 41) -> 40
[22,1](43, 43) -> 41
[22,1](44, 43) -> 42
[23,1](45, 45) -> 43
[23,1](46, 45) -> 44
[24,1](47, 47) -> 45
[24,1](48, 47) -> 46
[c0,1] -> 47
[c1,1] -> 48
Loading

0 comments on commit 93af07a

Please sign in to comment.