github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 23:11:50 +03:00
Code Issues Projects Releases Wiki Activity
8,205 Commits 19 Branches 16 Tags 46 MiB
7997cdb55b
Commit Graph

8205 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
7997cdb55b Enable RWS for lists. 2016-08-12 12:44:15 -04:00
Rob Rix
2b35110d0a 🔥 the faulty tests of unbiased branch diffs. 2016-08-12 12:24:38 -04:00
Rob Rix
ff4861e2fb Add the unbiased insertion test to the Interpreter spec. 2016-08-12 12:16:48 -04:00
Rob Rix
d3c333ae64 🔥 the faulty tests of unbiased insertions. 2016-08-12 11:59:44 -04:00
Rob Rix
b1e893b3f8 Add a concrete test of unbiased insertions. 2016-08-12 11:59:09 -04:00
Rob Rix
ada00d0485 The RWS unbiased tests require disjoint syntax constructors. 2016-08-12 11:44:29 -04:00
Rob Rix
5462278d0f Use the replacing combinator in the tests. 2016-08-12 11:44:23 -04:00
Rob Rix
bcaf909957 Revert "Mark the (failing) rws tests as pending for the time being." 
This reverts commit a9025cacda01db216590e99dd36e867611e0f953.
 2016-08-12 11:44:18 -04:00
Rob Rix
73f73fdb40 Mark the (failing) rws tests as pending for the time being. 2016-08-11 15:24:02 -04:00
Rob Rix
3647248666 Merge branch 'master' into unbiased-branch-diff-tests 2016-08-11 15:20:51 -04:00
Rob Rix
2d63f3f1f1 Merge pull request #671 from github/auto-generate-test-cases 
Auto generate test cases
 2016-08-11 15:07:49 -04:00
Rob Rix
86fd5b21fd Use the replacing smart constructor. 2016-08-11 14:42:17 -04:00
Rob Rix
0346b5d8f1 Use galign to ensure that the constructors are disjoint. 2016-08-11 14:32:10 -04:00
Rick Winfrey
18042ee6f2 Merge branch 'master' into auto-generate-test-cases 2016-08-11 12:55:55 -05:00
Rick Winfrey
b9b426ffb2 Completely remove submodule from index 2016-08-11 12:38:40 -05:00
Rick Winfrey
9089cb3156 Reset javascript submodule 2016-08-11 12:38:17 -05:00
Rob Rix
0fc0e80ed9 Revert "Revert "Ensure that the syntaxes are disjoint."" 
This reverts commit cfe27aec6f0764f451c493439086e03a1bdcf176.
 2016-08-11 13:33:33 -04:00
Rob Rix
d9b48b6def Revert "Ensure that the syntaxes are disjoint." 
This reverts commit 43ebf52752a8cf22ae18633a5667966fd3f74aa0.
 2016-08-11 13:28:51 -04:00
Rob Rix
70a622ca84 Ensure that the syntaxes are disjoint. 2016-08-11 13:27:45 -04:00
Rob Rix
fd23564dd5 Use a single root function for both interpreter tests. 2016-08-11 13:05:36 -04:00
Rob Rix
3eb05a31b1 Test the interpreter against insertions as well. 2016-08-11 13:03:22 -04:00
Rob Rix
fd2274b997 Use a single annotation for both children. 2016-08-11 13:00:54 -04:00
Rob Rix
261e82fd21 Extract a constructor for the root terms. 2016-08-11 12:54:14 -04:00
Rob Rix
7d8eb02ec8 Strip the diff and terms in the rws correctness test. 2016-08-11 12:50:56 -04:00
Rob Rix
23ba6bf12a Export stripTerm. 2016-08-11 12:49:23 -04:00
Rob Rix
3bb86389ed Strip the diff in the replacement of unicode equivalent terms test. 2016-08-11 12:48:41 -04:00
Rob Rix
15b515e7a1 Strip the diff in the correctness test. 2016-08-11 12:48:27 -04:00
Rob Rix
336f37d0c8 Strip diffs in the unbiased test. 2016-08-11 12:45:40 -04:00
Rob Rix
0aef8a8467 Use stripDiff in the RWS spec. 2016-08-11 12:44:49 -04:00
Rob Rix
cbe397ed1d stripDiff expects diff annotations to be in a functor. 2016-08-11 12:44:43 -04:00
Rob Rix
66e1ff3c50 Add functions to strip terms and diffs to RWS. 2016-08-11 12:42:53 -04:00
Rob Rix
8d22e7bd85 Pointfree definition of root. 2016-08-11 12:37:19 -04:00
Rob Rix
7bb5d7cd36 Use a single function to compute both roots. 2016-08-11 12:36:41 -04:00
Rob Rix
b551f9c3d9 Test that the bias of interpreter by reversing the inputs & output. 2016-08-11 12:34:32 -04:00
Rob Rix
af831671bc Interpreter uses category equality. 2016-08-11 12:32:44 -04:00
Rob Rix
544a6d3daf RWS uses category equality for its comparisons. 2016-08-11 12:31:44 -04:00
Rob Rix
2477a40b6c Enable FlexibleContexts for the tests. 2016-08-11 12:29:17 -04:00
Rob Rix
fd6701973f Replace termA/termB with functions. 2016-08-11 12:25:30 -04:00
Rob Rix
fb847d9d3f Add a test that interpreter is unbiased for deletions. 2016-08-11 12:23:34 -04:00
Rob Rix
e4c55a8dbd Add (failing) tests of rws’ bias. 2016-08-11 11:53:51 -04:00
Rob Rix
6debe0a076 Add a function to get the tail of non-empty records. 2016-08-11 11:53:21 -04:00
Rob Rix
f7055f16e8 Extract the decorating of arbitrary terms. 2016-08-11 10:27:11 -04:00
Rob Rix
7dcaf788f6 Merge pull request #685 from github/one-json-to-rule-them-all 
Output one JSON object for the JSON and summary renderers
 2016-08-11 09:24:45 -04:00
Rob Rix
8caa0b5c67 Merge branch 'master' into one-json-to-rule-them-all 2016-08-11 09:22:37 -04:00
Rick Winfrey
ab62a441a6 Merge branch 'master' into auto-generate-test-cases 2016-08-10 17:30:25 -05:00
joshvera
21cb7f71d7 Merge 'origin/master' into one-json-to-rule-them-all 2016-08-10 17:33:11 -04:00
Rick Winfrey
7636c169b8 Adds javascript repo submodule 2016-08-10 15:56:43 -05:00
Rick Winfrey
e79762e3e2 Updates javascript repo submodule 2016-08-10 15:53:57 -05:00
Josh Vera
9a6399c362 Merge pull request #640 from github/precompute-p,q-grams 
Precompute p,q-grams
 2016-08-10 16:03:06 -04:00
Rob Rix
704ff4db08 Factor the base & stem assignment into the where clause. 2016-08-10 15:57:55 -04:00