Artifact bee0596f0fcfe8d8ac2135382c34fb134c8abc40:
Manifest of check-in
[bee0596f0f]
- Refactoring.
by
kinaba on
2012-07-14 11:24:30.
0000: 43 20 52 65 66 61 63 74 6f 72 69 6e 67 2e 0a 44 C Refactoring..D
0010: 20 32 30 31 32 2d 30 37 2d 31 34 54 31 31 3a 32 2012-07-14T11:2
0020: 34 3a 33 30 2e 32 31 31 0a 46 20 69 63 66 70 2d 4:30.211.F icfp-
0030: 39 36 35 33 33 36 33 32 2e 74 67 7a 20 39 34 33 96533632.tgz 943
0040: 33 32 39 63 33 30 30 37 32 39 38 39 66 39 37 33 329c30072989f973
0050: 61 66 36 35 39 32 61 36 35 63 30 62 37 62 66 61 af6592a65c0b7bfa
0060: 31 64 39 62 64 0a 46 20 6d 61 6b 65 2d 73 75 62 1d9bd.F make-sub
0070: 6d 69 73 73 69 6f 6e 20 62 64 37 61 39 31 31 63 mission bd7a911c
0080: 31 34 31 61 65 35 34 34 64 65 36 64 64 39 30 34 141ae544de6dd904
0090: 30 64 61 36 39 32 64 34 31 30 34 31 32 62 33 66 0da692d410412b3f
00a0: 20 78 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 x.F maps/contes
00b0: 74 31 2e 6d 61 70 20 65 66 32 31 66 35 39 64 30 t1.map ef21f59d0
00c0: 37 32 62 64 65 65 65 38 66 39 36 33 39 37 36 63 72bdeee8f963976c
00d0: 39 30 66 33 66 32 62 31 64 37 63 63 39 39 65 0a 90f3f2b1d7cc99e.
00e0: 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 31 30 F maps/contest10
00f0: 2e 6d 61 70 20 64 30 37 37 36 32 31 38 33 62 33 .map d07762183b3
0100: 65 61 33 65 34 39 31 33 36 34 64 66 39 35 32 62 ea3e491364df952b
0110: 35 36 64 38 30 36 35 61 37 34 62 33 30 0a 46 20 56d8065a74b30.F
0120: 6d 61 70 73 2f 63 6f 6e 74 65 73 74 32 2e 6d 61 maps/contest2.ma
0130: 70 20 36 61 61 33 37 33 37 65 34 37 39 39 35 30 p 6aa3737e479950
0140: 63 61 63 37 63 61 36 65 63 62 37 31 38 37 30 61 cac7ca6ecb71870a
0150: 32 38 31 32 63 34 64 35 39 32 0a 46 20 6d 61 70 2812c4d592.F map
0160: 73 2f 63 6f 6e 74 65 73 74 33 2e 6d 61 70 20 65 s/contest3.map e
0170: 36 39 62 33 32 65 35 66 35 35 63 63 33 31 31 62 69b32e5f55cc311b
0180: 64 34 33 36 31 36 36 63 38 31 66 37 38 64 30 35 d436166c81f78d05
0190: 30 37 65 38 39 33 62 0a 46 20 6d 61 70 73 2f 63 07e893b.F maps/c
01a0: 6f 6e 74 65 73 74 34 2e 6d 61 70 20 65 35 31 64 ontest4.map e51d
01b0: 66 33 32 39 36 61 35 32 31 30 37 30 32 66 62 65 f3296a5210702fbe
01c0: 62 37 37 64 35 39 30 30 37 64 39 61 35 62 61 66 b77d59007d9a5baf
01d0: 65 61 36 64 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 ea6d.F maps/cont
01e0: 65 73 74 35 2e 6d 61 70 20 30 36 65 65 66 31 30 est5.map 06eef10
01f0: 65 66 62 35 39 37 32 35 39 64 33 35 62 31 30 35 efb597259d35b105
0200: 38 32 64 30 62 39 34 32 61 34 63 62 32 36 30 37 82d0b942a4cb2607
0210: 31 0a 46 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 1.F maps/contest
0220: 36 2e 6d 61 70 20 37 36 31 38 39 33 63 32 65 64 6.map 761893c2ed
0230: 64 38 39 38 64 33 62 63 62 36 38 64 33 64 39 32 d898d3bcb68d3d92
0240: 64 36 32 61 37 66 66 64 36 62 62 65 30 34 0a 46 d62a7ffd6bbe04.F
0250: 20 6d 61 70 73 2f 63 6f 6e 74 65 73 74 37 2e 6d maps/contest7.m
0260: 61 70 20 65 39 63 65 39 35 35 38 37 33 65 65 61 ap e9ce955873eea
0270: 32 63 61 63 31 30 66 66 33 33 39 64 65 62 66 35 2cac10ff339debf5
0280: 39 38 30 65 31 35 31 64 38 65 61 0a 46 20 6d 61 980e151d8ea.F ma
0290: 70 73 2f 63 6f 6e 74 65 73 74 38 2e 6d 61 70 20 ps/contest8.map
02a0: 61 33 35 64 66 61 32 39 34 35 38 39 64 61 35 37 a35dfa294589da57
02b0: 37 39 39 30 36 32 31 34 36 61 38 39 38 31 37 38 799062146a898178
02c0: 32 30 61 61 37 38 31 33 0a 46 20 6d 61 70 73 2f 20aa7813.F maps/
02d0: 63 6f 6e 74 65 73 74 39 2e 6d 61 70 20 63 61 33 contest9.map ca3
02e0: 62 61 36 65 31 32 61 33 62 32 37 62 62 35 63 66 ba6e12a3b27bb5cf
02f0: 39 61 34 30 39 36 30 39 62 37 33 62 31 30 35 37 9a409609b73b1057
0300: 66 32 36 61 33 0a 46 20 6d 61 70 73 2f 66 6c 6f f26a3.F maps/flo
0310: 6f 64 31 2e 6d 61 70 20 31 33 65 36 33 35 36 63 od1.map 13e6356c
0320: 30 33 32 30 63 35 61 30 31 64 33 36 37 31 35 62 0320c5a01d36715b
0330: 33 31 65 66 61 39 32 34 63 38 34 31 63 61 64 65 31efa924c841cade
0340: 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 32 2e 6d .F maps/flood2.m
0350: 61 70 20 65 66 63 33 61 38 62 36 30 61 66 34 65 ap efc3a8b60af4e
0360: 35 37 34 65 38 32 66 34 64 65 33 32 30 37 66 37 574e82f4de3207f7
0370: 32 37 37 31 35 66 66 36 66 61 31 0a 46 20 6d 61 27715ff6fa1.F ma
0380: 70 73 2f 66 6c 6f 6f 64 33 2e 6d 61 70 20 30 65 ps/flood3.map 0e
0390: 36 39 31 30 36 62 64 31 33 35 35 30 35 33 66 34 69106bd1355053f4
03a0: 66 66 61 35 35 32 31 63 62 62 62 64 30 33 33 32 ffa5521cbbbd0332
03b0: 36 31 30 63 62 65 0a 46 20 6d 61 70 73 2f 66 6c 610cbe.F maps/fl
03c0: 6f 6f 64 34 2e 6d 61 70 20 63 39 63 39 37 64 63 ood4.map c9c97dc
03d0: 31 61 33 66 37 38 30 66 38 61 31 66 63 35 63 30 1a3f780f8a1fc5c0
03e0: 64 31 63 30 38 34 39 39 62 33 66 30 38 35 38 32 d1c08499b3f08582
03f0: 33 0a 46 20 6d 61 70 73 2f 66 6c 6f 6f 64 35 2e 3.F maps/flood5.
0400: 6d 61 70 20 63 31 32 36 63 66 61 39 33 39 38 33 map c126cfa93983
0410: 34 38 31 39 34 65 34 34 35 30 33 36 34 36 61 64 48194e44503646ad
0420: 62 37 62 63 30 63 62 35 38 66 37 35 0a 46 20 6d b7bc0cb58f75.F m
0430: 61 70 73 2f 74 65 73 74 31 2e 6d 61 70 20 62 39 aps/test1.map b9
0440: 61 34 38 64 38 32 64 36 34 64 65 39 31 62 36 34 a48d82d64de91b64
0450: 64 64 32 37 39 38 37 35 66 32 33 64 35 30 61 39 dd279875f23d50a9
0460: 32 62 64 66 35 38 0a 46 20 73 72 63 2f 67 61 6d 2bdf58.F src/gam
0470: 65 2e 64 20 63 64 65 34 31 32 31 37 36 32 63 61 e.d cde4121762ca
0480: 30 63 30 31 61 64 62 32 36 65 66 39 32 32 65 36 0c01adb26ef922e6
0490: 63 37 35 35 37 65 37 62 35 35 35 33 0a 46 20 73 c7557e7b5553.F s
04a0: 72 63 2f 67 75 69 2e 64 20 65 37 36 62 36 62 39 rc/gui.d e76b6b9
04b0: 37 62 61 35 36 32 35 36 62 32 38 36 31 33 33 35 7ba56256b2861335
04c0: 30 32 66 38 62 63 39 30 31 33 34 32 61 64 65 34 02f8bc901342ade4
04d0: 33 0a 46 20 73 72 63 2f 6f 75 74 70 75 74 2e 64 3.F src/output.d
04e0: 20 32 63 61 33 37 34 33 35 34 32 39 37 63 39 30 2ca374354297c90
04f0: 38 32 63 35 36 65 33 62 65 38 39 30 64 62 34 61 82c56e3be890db4a
0500: 63 35 61 31 64 33 63 30 63 0a 46 20 73 72 63 2f c5a1d3c0c.F src/
0510: 73 6f 6c 76 65 72 2e 64 20 34 32 64 62 38 39 63 solver.d 42db89c
0520: 62 35 63 36 33 61 37 62 64 30 35 38 61 66 31 61 b5c63a7bd058af1a
0530: 32 31 39 39 32 36 63 66 65 38 63 38 35 64 62 66 219926cfe8c85dbf
0540: 33 0a 46 20 73 72 63 2f 74 65 73 74 2e 64 20 64 3.F src/test.d d
0550: 39 39 35 35 64 61 61 61 62 65 35 38 64 35 34 62 9955daaabe58d54b
0560: 36 66 64 38 63 35 35 35 65 35 62 33 66 65 65 39 6fd8c555e5b3fee9
0570: 61 39 38 34 39 36 66 0a 46 20 73 72 63 2f 75 74 a98496f.F src/ut
0580: 69 6c 2e 64 20 37 38 33 35 35 34 62 66 36 36 37 il.d 783554bf667
0590: 34 31 32 65 64 36 66 38 32 61 37 39 34 33 37 38 412ed6f82a794378
05a0: 31 36 30 64 31 66 31 31 32 64 37 32 61 0a 46 20 160d1f112d72a.F
05b0: 73 75 62 6d 69 73 73 69 6f 6e 2f 50 41 43 4b 41 submission/PACKA
05c0: 47 45 53 20 64 61 33 39 61 33 65 65 35 65 36 62 GES da39a3ee5e6b
05d0: 34 62 30 64 33 32 35 35 62 66 65 66 39 35 36 30 4b0d3255bfef9560
05e0: 31 38 39 30 61 66 64 38 30 37 30 39 0a 46 20 73 1890afd80709.F s
05f0: 75 62 6d 69 73 73 69 6f 6e 2f 52 45 41 44 4d 45 ubmission/README
0600: 20 30 63 66 31 34 61 33 62 39 36 36 35 31 33 33 0cf14a3b9665133
0610: 32 35 34 66 30 35 61 61 37 31 61 39 65 38 39 32 254f05aa71a9e892
0620: 61 62 33 36 32 63 65 62 63 0a 46 20 73 75 62 6d ab362cebc.F subm
0630: 69 73 73 69 6f 6e 2f 69 6e 73 74 61 6c 6c 20 62 ission/install b
0640: 65 37 37 36 62 63 66 62 63 31 33 66 63 62 66 63 e776bcfbc13fcbfc
0650: 34 61 61 65 61 39 37 39 66 37 65 34 64 39 37 38 4aaea979f7e4d978
0660: 66 61 37 32 66 37 61 20 78 0a 46 20 73 75 62 6d fa72f7a x.F subm
0670: 69 73 73 69 6f 6e 2f 6c 69 66 74 65 72 20 35 31 ission/lifter 51
0680: 30 33 66 35 35 66 35 33 32 33 66 62 33 66 65 63 03f55f5323fb3fec
0690: 32 65 65 62 37 62 31 38 66 66 32 34 30 66 65 33 2eeb7b18ff240fe3
06a0: 33 36 38 63 31 34 20 78 0a 50 20 64 62 66 66 33 368c14 x.P dbff3
06b0: 34 61 63 35 39 37 36 35 33 64 61 63 64 66 35 39 4ac597653dacdf59
06c0: 63 34 31 30 65 31 33 32 33 66 62 39 62 30 32 63 c410e1323fb9b02c
06d0: 65 62 65 0a 52 20 61 35 31 63 62 66 36 65 66 35 ebe.R a51cbf6ef5
06e0: 32 62 63 63 37 62 39 66 64 63 61 35 61 62 63 35 2bcc7b9fdca5abc5
06f0: 31 33 35 66 32 36 0a 55 20 6b 69 6e 61 62 61 0a 135f26.U kinaba.
0700: 5a 20 33 63 62 37 33 34 31 63 64 39 61 65 38 62 Z 3cb7341cd9ae8b
0710: 38 38 39 35 62 30 65 38 33 33 31 32 64 65 39 64 8895b0e83312de9d
0720: 30 66 0a 0f.