github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity
9,063 Commits 19 Branches 16 Tags 46 MiB
1c3fe8e944
Commit Graph

9063 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
joshvera
1c3fe8e944 Add StrictData to semantic-diff library 2016-10-12 18:28:46 -04:00
joshvera
659543abc7 Thread getLabel to rws in order to construct RWS grams only if SES fails to match terms 2016-10-12 18:03:18 -04:00
joshvera
4281549eb0 Add -funbox-strict-fields annotations to some data types 2016-10-12 17:28:27 -04:00
joshvera
09304a5df2 Add strictness annotations to a few types 2016-10-12 16:34:12 -04:00
joshvera
df2dcbd670 Merge remote-tracking branch 'origin/master' into improve-memory-usage 2016-10-12 14:52:11 -04:00
joshvera
94e8f15de0 Add hspec-expectations-pretty-diff as a submodule 2016-10-12 14:51:41 -04:00
Rick Winfrey
0e6cb47e1b Fix the order of the then else conditions 2016-10-12 14:51:41 -04:00
Rick Winfrey
50660f35a3 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-12 14:51:41 -04: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