1
1
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Commit Graph

13313 Commits

Author SHA1 Message Date
Rob Rix
a86101d203 Revert "Rename the cost centres for the up/left endpoints."
This reverts commit f3b6a973fe060d619743f69472f39c811f2964f9.
2017-06-14 10:03:03 -04:00
Rob Rix
5fef78a739 Revert "🔥 Diagonal and Distance."
This reverts commit 7944ab5fb6e38fb54f81620ecca19911e6238add.
2017-06-14 10:02:53 -04:00
Rob Rix
7e272594de Revert "Swap up/left."
This reverts commit 790b53f306710a2607026d21a563208be0d57966.
2017-06-14 10:02:40 -04:00
Rob Rix
04f13ab227 Swap up/left. 2017-06-14 09:51:34 -04:00
Rob Rix
98ac94cd0c Ignore profiling files. 2017-06-14 09:41:53 -04:00
Rob Rix
f63eee027e 🔥 🔥 🔥 2017-06-14 09:41:12 -04:00
Rob Rix
182aea8fa6 🔥 Diagonal and Distance. 2017-06-14 09:34:50 -04:00
Rob Rix
3044292140 Derive Eq & Show instances for Endpoint. 2017-06-14 09:33:32 -04:00
Rob Rix
a599a903d7 🔥 the Step synonym. 2017-06-14 09:33:13 -04:00
Rob Rix
b95c17bce6 Rename the cost centres for the up/left endpoints. 2017-06-14 09:28:17 -04:00
Rob Rix
334c066b48 🔥 Haddock markers. 2017-06-14 09:27:54 -04:00
Rob Rix
59183dda18 Rename prev to up and next to left. 2017-06-14 09:26:47 -04:00
Rob Rix
bd26ea2a8c Inline the rightward/downward moves. 2017-06-14 09:23:59 -04:00
Rob Rix
7d674a7123 Merge branch 'master' into optimize-for-large-nested-branches 2017-06-14 08:45:49 -04:00
Rob Rix
e8165a0d28 Merge pull request #1159 from github/simpler-simplifying
Simpler simplifying
2017-06-14 08:44:30 -04:00
Rob Rix
78e4a53534 Rename the manual SCCs. 2017-06-13 22:21:25 -04:00
Rob Rix
d804c7336f Use an IntMap for the state. 2017-06-13 22:18:23 -04:00
Rob Rix
dfd9f3f0ce Reintroduce Endpoint. 2017-06-13 21:52:38 -04:00
Rob Rix
15c1c43e4b 🔥 Endpoint. 2017-06-13 21:33:57 -04:00
Rob Rix
9ab7a3ca28 Correct the selection of y-index. 2017-06-13 21:28:24 -04:00
Rob Rix
4f79384094 Factor out the bindings of prev & next. 2017-06-13 21:19:23 -04:00
Rob Rix
2078aca839 Give a pointfree definition of getK. 2017-06-13 21:00:45 -04:00
Rob Rix
767a2a36a4 Avoid unnecessary do notation. 2017-06-13 20:53:01 -04:00
Rob Rix
54149c5000 Close over the distance. 2017-06-13 20:44:11 -04:00
Rob Rix
47e183db52 Inline the definition of moveFromAdjacent. 2017-06-13 20:40:27 -04:00
Rob Rix
04ac16f410 Endpoints don’t carry the y-coordinate. 2017-06-13 20:37:51 -04:00
Rob Rix
6c95429a27 🔥 redundant bindings of n & m. 2017-06-13 20:30:20 -04:00
Rob Rix
3ed7e1da53 Factor out the Diagonal construction. 2017-06-13 18:22:48 -04:00
Rob Rix
9b916d3619 Avoid recomputing the lengths. 2017-06-13 18:13:48 -04:00
Rob Rix
cebdbf2e0c 🔥 a let. 2017-06-13 18:12:08 -04:00
Rob Rix
bc838ab72f Factor out a return. 2017-06-13 18:10:25 -04:00
Rob Rix
727a8d06fb Avoid entering the monad for slideFrom. 2017-06-13 18:09:51 -04:00
Rob Rix
f78ab2259c Avoid another monadic step. 2017-06-13 18:09:09 -04:00
Rob Rix
088df05b73 Redefine MyersState as a type synonym. 2017-06-13 18:05:56 -04:00
Rob Rix
a74c0665fd Inline the definition of setK. 2017-06-13 18:04:32 -04:00
Rob Rix
8d3b0ceaa2 Close over the state in getK. 2017-06-13 18:03:04 -04:00
Rob Rix
2cd1816aa7 Don’t re-get the state to modify it. 2017-06-13 17:58:15 -04:00
Rob Rix
46ffff3454 Get the state once. 2017-06-13 17:57:02 -04:00
Rob Rix
9d3d628cf7 🔥 some unnecessary returns. 2017-06-13 17:43:55 -04:00
Rob Rix
49009a626b 🔥 the custom ! definition. 2017-06-13 17:37:22 -04:00
Rob Rix
584ef4ff66 🔥 all the bounds-checking &c. 2017-06-13 17:35:50 -04:00
Rob Rix
377e7d922f 🔥 some commented-out exports. 2017-06-13 17:30:44 -04:00
Rob Rix
b6fc6917d3 🔥 checkK. 2017-06-13 17:17:29 -04:00
Rob Rix
c2e2526d9d 🔥 the INLINE pragmas so we can see what’s happening in the profile. 2017-06-13 17:13:42 -04:00
Rob Rix
1122debd2e Inline pretty much the entire Myers diff implementation. 2017-06-13 17:06:51 -04:00
Rob Rix
0e7a832005 Merge branch 'simpler-simplifying' into optimize-for-large-nested-branches 2017-06-13 16:47:04 -04:00
Rob Rix
0473296ff9 Bump effects to master. 2017-06-13 16:45:54 -04:00
Rob Rix
086fb9ad67 🔥 Element from the fixtures. 2017-06-13 15:27:29 -04:00
Rob Rix
833d753a8c Short-circuit the single incomparable elements case. 2017-06-13 15:19:43 -04:00
Rob Rix
f3c02a0efa Short-circuit the single comparable elements case. 2017-06-13 15:13:57 -04:00