github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Code Issues Projects Releases Wiki Activity
2,182 Commits 19 Branches 16 Tags 46 MiB
538f5355b2
Commit Graph

2014 Commits

Author SHA1 Message Date
Rob Rix
23f050ab81 Correct a test. 2015-11-12 18:12:04 -05:00
Rob Rix
aed17adfed Remove the unflattened implementation. 2015-11-12 18:01:23 -05:00
Rob Rix
561045ced4 Flatten out equality over Cofree. 2015-11-12 18:01:12 -05:00
Rob Rix
e7b1f59658 Switch through the term directly. 2015-11-12 17:46:18 -05:00
Rob Rix
4d3c335146 Use a single cost function for both diffs. 2015-11-12 17:44:52 -05:00
Rob Rix
822ce7ccc5 Add a Cofree.size function. 
This should avoid the protocol indirection around `TermType`.
 2015-11-12 17:44:35 -05:00
Rob Rix
8cf0ef097c Patch.sum/difference are not allowed to throw. 2015-11-12 17:43:32 -05:00
Rob Rix
3f81b9d8b9 Inline size computations on Patch. 2015-11-12 17:35:34 -05:00
Rob Rix
7da058ca55 Manually fuse TermType.size. 2015-11-12 17:27:07 -05:00
Rob Rix
ab615dc84e Manually fuse the map and catamorphism in Free.sum. 2015-11-12 17:09:19 -05:00
Rob Rix
b0054aee54 Remove Free.reduce. 2015-11-12 17:00:05 -05:00
Rob Rix
77e9778f91 Remove the unused Interpreter.cost static function. 2015-11-12 16:59:56 -05:00
Rob Rix
f2004a22b8 Inline reduction in Free.sum. 2015-11-12 16:55:11 -05:00
Rob Rix
2963a76943 Simplify the refineLeafReplacement function. 2015-11-12 16:54:55 -05:00
Rob Rix
b276045348 Remove cons. 2015-11-12 16:13:31 -05:00
Rob Rix
82a8f095cf Inline calls to cons. 2015-11-12 16:13:23 -05:00
Rob Rix
4a356a8a0a Remove costOfStream. 2015-11-12 16:10:23 -05:00
Rob Rix
b8fb48d723 Remove min. 2015-11-12 16:10:19 -05:00
Rob Rix
dac24bbf24 µ-optimizations for SES. 
1. Avoid redundant computations of cost on the fast path (equal
elements at this vertex).

2. Don’t call `min`; inline the branches instead.

3. Don’t call `costOfStream`; inline the costs instead.
 2015-11-12 16:09:53 -05:00
Rob Rix
5253de2ef5 Inline stream costs. 2015-11-12 15:58:14 -05:00
Rob Rix
17b9c0a9ec Fast fail on out of bounds diagonals. 2015-11-12 15:58:03 -05:00
Rob Rix
e1f38f64d0 Precompute the width of the matrix. 2015-11-12 15:26:50 -05:00
Rob Rix
dd812a2b2b Test that we aren’t at the endIndex instead of testing containment. 
This should be O(1) for all index types.
 2015-11-12 15:20:51 -05:00
Rob Rix
db5307a365 Benchmark diffing within leaves separately. 2015-11-12 15:07:00 -05:00
Rob Rix
1f54f77677 Move the CSS into its own file. 2015-11-12 13:41:50 -05:00
joshvera
ac32d3dbcb ++Madness 2015-11-10 15:44:05 -05:00
joshvera
50c001f95f ++Madness 2015-11-10 14:17:56 -05:00
joshvera
b1241decda use the right --> overload 2015-11-10 14:11:09 -05:00
joshvera
5c20cfebbb ++Madness 2015-11-10 13:57:50 -05:00
joshvera
2fc0349be3 Pass lines and columns to refined leaves 2015-11-09 15:21:59 -05:00
joshvera
5eddc274cb Map Range<Index> not Range<Column> to Range<Int> 2015-11-09 15:19:34 -05:00
joshvera
2555ead1a7 Revert xcscheme changes 2015-11-09 15:16:05 -05:00
joshvera
0bc8c59e16 ++Madness 2015-11-09 15:15:16 -05:00
joshvera
a520c5d65e calculate line numbers 2015-11-09 14:13:47 -05:00
joshvera
cdda1a5d8d set data-line-number attributes 2015-11-09 13:54:09 -05:00
joshvera
f77b899377 Merge branch 'master' into line-numbers 2015-11-09 12:06:48 -05:00
joshvera
ca15a40773 pass lineNumbers to diffToDOM 2015-11-09 12:06:45 -05:00
joshvera
14eba00c32 ++Madness 2015-11-08 15:24:37 -05:00
joshvera
9ee399ca2d ++Madness 2015-11-08 15:23:59 -05:00
joshvera
576457a3fe take a before and after line number range 2015-11-08 15:21:14 -05:00
joshvera
8d20831f73 insert line numbers 2015-11-08 15:20:32 -05:00
joshvera
93808be85f fix test 2015-11-06 11:01:11 -05:00
Josh Vera
45aa38e6ea Merge pull request #220 from github/refine-leaf-replacements 
Refine leaf replacements
 2015-11-06 10:55:14 -05:00
Rob Rix
23c987503a Only insert context for Real Elements™. 2015-11-06 10:32:14 -05:00
Rob Rix
c19bdb0744 Only update the range for Real Elements™. 2015-11-06 10:31:53 -05:00
Rob Rix
f0a1d6e4b1 li elements are invisible if their children are invisible. 2015-11-06 10:31:27 -05:00
Rob Rix
128132ac26 Correct the equality test over terms. 2015-11-05 17:38:40 -05:00
Rob Rix
95596ba60c Use the same cost function as for the overall diff. 2015-11-05 17:37:01 -05:00
Rob Rix
9be8a18bad Use a better cost function. 2015-11-05 17:36:01 -05:00
Rob Rix
c441eaf862 Use the correct index. 2015-11-05 17:34:28 -05:00