github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity
8,422 Commits 19 Branches 16 Tags 46 MiB
5cf03924f9
Commit Graph

8422 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
fa983e5561 Add a concrete test of unbiased deletions. 2016-08-12 11:40:30 -04:00
Rob Rix
842ff553c1 Revert "Diff branches by similarity." 
This reverts commit 50c94ed7b601871c56e0de1706f531dfef97d859.
 2016-08-12 11:33:38 -04:00
Rob Rix
33b5987a34 Diff branches by similarity. 2016-08-12 10:47:26 -04:00
Rob Rix
0ca6daca62 Rename the local byIndex binding to branch. 2016-08-12 09:59:56 -04:00
Rob Rix
2eead056e1 The RWS unbiased tests require disjoint syntax constructors. 2016-08-12 09:56:24 -04:00
Rob Rix
7bbbc4cbea Use the replacing combinator in the tests. 2016-08-12 09:53:16 -04:00
Rob Rix
0c47648c5b 🔥 a let binding. 2016-08-12 09:52:22 -04:00
Rob Rix
0eb43f47a3 Use wrap in the RWS correctness test. 2016-08-12 09:46:45 -04:00
Rob Rix
4100ac4173 Do the lookup symmetrically. 2016-08-12 09:45:42 -04:00
Rob Rix
1a342edb37 Rename found to foundA. 2016-08-12 09:44:55 -04:00
Rob Rix
4e6fa4ded7 Find unmapped elements in A with a helper function. 2016-08-12 09:44:17 -04:00
Rob Rix
7f6901966c Insertion unmaps the element in the B list. 2016-08-12 09:38:20 -04:00
Rob Rix
11950fed8a Insert if the nearest elements aren’t mutual. 2016-08-12 09:38:01 -04:00
Rob Rix
d4d291a219 Lookup the nearest element in b. 2016-08-12 09:37:38 -04:00
Rob Rix
443fe118d7 We don’t need to bind the unmapped elements in B. 2016-08-12 09:32:58 -04:00
Rob Rix
ae443aa660 Move the guard up. 2016-08-12 09:26:19 -04:00
Rob Rix
96333fd54f Mark the current element in B as mapped. 2016-08-12 09:25:55 -04:00
Rob Rix
0cf6a40e08 Carry the lists of unmapped elements in B around too. 2016-08-12 09:23:56 -04:00
Rob Rix
f2be7c27a9 Rename unmapped to unmappedA. 2016-08-12 09:22:54 -04:00
Rob Rix
d4b2ffc616 Bind a variable for a. 2016-08-12 09:19:56 -04:00
Rob Rix
b7d63bd589 Rename v to b. 2016-08-12 09:19:35 -04:00
Rob Rix
df25851902 Revert "Mark the (failing) rws tests as pending for the time being." 
This reverts commit a9025cacda01db216590e99dd36e867611e0f953.
 2016-08-12 09:13:52 -04:00
Josh Vera
d95470c566 Merge branch 'master' into if-syntax 2016-08-11 17:52:03 -04:00
joshvera
e209199016 Add If constructor to Syntax 2016-08-11 17:39:44 -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