github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity
2,234 Commits 19 Branches 16 Tags 46 MiB
ef1e64376c
Commit Graph

2234 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
cb80d7de54 Derive Show and Eq. 2015-11-17 13:31:17 -08:00
Rob Rix
06c5dfe9ed Syntax is a functor. 2015-11-17 13:30:20 -08:00
Rob Rix
538f5355b2 Add a module defining Syntax. 2015-11-17 13:29:55 -08:00
Rob Rix
575398e531 Add the Haskell spike. 2015-11-17 13:25:36 -08:00
Josh Vera
bdbc208024 Merge pull request #233 from github/optimized-diffing-within-leaves 
Optimized diffing within leaves
 2015-11-13 10:42:45 -05:00
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
a4db95be66 Merge pull request #231 from github/split-css-out 
Move the CSS into its own file.
 2015-11-12 13:43:50 -05:00
Rob Rix
1f54f77677 Move the CSS into its own file. 2015-11-12 13:41:50 -05:00
Rob Rix
4f19e4c700 Merge pull request #227 from github/line-numbers 
Add line numbers to diffs
 2015-11-10 18:36:37 -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