github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 18:23:44 +03:00
Code Issues Projects Releases Wiki Activity
9,060 Commits 19 Branches 16 Tags 46 MiB
ea28f0d8b0
Commit Graph

9060 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
ea28f0d8b0 Merge pull request #879 from github/hide-comments-in-summaries 
Hide comments in summaries
 2016-10-13 08:51:16 -07:00
Timothy Clem
148aa3024b Bring back Commented, even if it isn't used yet 2016-10-13 08:37:44 -07:00
Timothy Clem
d9288f7e78 Note what HideInfo is used for 2016-10-13 08:37:29 -07:00
Timothy Clem
1859df9500 Test to no longer expect summaries for comments 2016-10-12 14:21:40 -07:00
Timothy Clem
3815e713b5 Capture comments and hide them for summaries only 2016-10-12 14:21:25 -07:00
Timothy Clem
4fa10104c4 Merge pull request #873 from github/fix-benchmark-nm-call 
Fix call to nm on benchmark build
 2016-10-12 08:33:41 -07:00
Timothy Clem
e4504806c9 Merge branch 'master' into fix-benchmark-nm-call 2016-10-12 08:16:35 -07:00
Josh Vera
2e6ca19522 Merge pull request #872 from github/development-mode 
Add development mode
 2016-10-11 19:13:41 -04:00
Rick Winfrey
d1b22c231d Merge branch 'development-mode' of github.com:github/semantic-diff into development-mode 2016-10-11 17:07:43 -05:00
Rick Winfrey
5cfe719141 Fix the order of the then else conditions 2016-10-11 17:06:51 -05:00
Rick Winfrey
1b715da024 Merge branch 'master' into development-mode 2016-10-11 16:42:08 -05:00
Rick Winfrey
8e0cc3374d ++javascript 2016-10-11 16:41:53 -05:00
Timothy Clem
f40f995e56 Merge pull request #863 from github/add-source-spans 
Add source spans to diff summaries
 2016-10-11 14:34:47 -07:00
Rick Winfrey
d5d1a7fbab ++javascript 2016-10-11 15:33:38 -05:00
Rick Winfrey
e7c09831bc Add development mode 
When developing locally, especially when using break to look at
structure, the timeout is too quick. Instead of manually updating the
timeout to a long duration, I figure disabling it when needed in the
context of ghci would be nicer.
 2016-10-11 15:22:37 -05:00
joshvera
3012594a7d Merge branch 'improve-memory-usage' into add-source-spans 2016-10-11 16:18:38 -04:00
joshvera
6ba48666ed bump files 2016-10-11 16:18:26 -04:00
joshvera
1bfdeb7f06 Merge remote-tracking branch 'origin/improve-memory-usage' into add-source-spans 2016-10-11 15:38:30 -04:00
joshvera
440d168273 bump tests 2016-10-11 15:13:51 -04:00
joshvera
deb5a0f018 Fix SourceSpan in tests 2016-10-11 15:12:48 -04:00
joshvera
098655b1d9 Remove filepath from SourceSpan 2016-10-11 15:09:24 -04:00
joshvera
c0ae593a06 Remove filepath from SourceSpan 2016-10-11 13:08:12 -04:00
joshvera
007a1580fe Merge remote-tracking branch 'origin/master' into add-source-spans 2016-10-11 13:03:43 -04:00
Rick Winfrey
4611283966 Merge pull request #869 from github/pull-first 
Pull from remote when generating test cases
 2016-10-11 12:01:10 -05:00
Rick Winfrey
9c7707297b Clean up error handler 2016-10-11 11:55:28 -05:00
joshvera
e57c80940e bump tests 2016-10-11 12:52:26 -04:00
joshvera
70d39544cb Rename to filepath 2016-10-11 12:46:40 -04:00
Rick Winfrey
329ce63a8e ++tests 2016-10-11 11:07:57 -05:00
Rick Winfrey
1b80b748d7 Checkout master before attempting to pull from remote 2016-10-11 11:07:51 -05:00
joshvera
11d5cdcde7 Bump tests 2016-10-11 12:00:34 -04:00
joshvera
4fb07c28b6 Bump tests 2016-10-11 11:54:47 -04:00
joshvera
a9d216608f Rename this/that/these to delete/insert/replace for consistency with Patch 2016-10-11 11:52:49 -04:00
joshvera
fbb6ddbff4 Bump tests 2016-10-11 11:26:57 -04:00
joshvera
a08cad66d0 ++javascript 2016-10-11 11:13:44 -04:00
joshvera
399d01af97 update tests 2016-10-11 11:12:20 -04:00
joshvera
624918b113 remove files 2016-10-11 11:10:16 -04:00
Rick Winfrey
a8c133879c Gracefully handle push to remote errors (and die when appropriate) 2016-10-11 10:03:48 -05:00
joshvera
d95283f4a1 Merge remote-tracking branch 'origin/master' into add-source-spans 2016-10-11 10:45:22 -04:00
Rick Winfrey
1569611257 Update JSONtestcases shas 2016-10-10 12:39:22 -05:00
Rick Winfrey
c5deaa384e Rename runUpdateGitRemote -> runPushGitRemote 2016-10-10 12:38:46 -05:00
Rick Winfrey
d4818deb1e Fetch remote repository changes 2016-10-10 12:38:28 -05:00
Rick Winfrey
d055d2bc8d Merge pull request #866 from github/import-export-syntax 
Import / Export syntax
 2016-10-07 17:56:50 -05:00
Rick Winfrey
ec0abb0f8c Merge branch 'master' into import-export-syntax 2016-10-07 16:47:42 -05:00
Rick Winfrey
d6f9104237 Update tests 2016-10-07 16:43:01 -05:00
Rick Winfrey
d9660efdbe Prevent double quoting for export statements 2016-10-07 16:42:47 -05:00
Rick Winfrey
9a3fccc1e1 Update tests 2016-10-07 15:58:51 -05:00
Rick Winfrey
c5546d5b3e Merge pull request #868 from github/weekly-notes 
Notes from weekly
 2016-10-07 14:56:46 -05:00
Timothy Clem
7c6a849526 Notes from weekly 2016-10-07 12:37:31 -07:00
joshvera
f7e0cb53dd ++javascript 2016-10-07 11:29:44 -04:00
joshvera
c0a8483263 Merge remote-tracking branch 'origin/master' into add-source-spans 2016-10-07 11:28:57 -04:00