github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Code Issues Projects Releases Wiki Activity
8,684 Commits 19 Branches 16 Tags 46 MiB
b3776d9dc5
Commit Graph

1131 Commits

Author SHA1 Message Date
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
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
f7055f16e8 Extract the decorating of arbitrary terms. 2016-08-11 10:27:11 -04:00
joshvera
21cb7f71d7 Merge 'origin/master' into one-json-to-rule-them-all 2016-08-10 17:33:11 -04:00
joshvera
59932277f9 Merge remote-tracking branch 'origin/master' into one-json-to-rule-them-all 2016-08-10 13:49:26 -04:00
joshvera
ae0f18593b Remove redundant imports 2016-08-10 12:18:53 -04:00
joshvera
347f4fbb4b Concat outputs in CorpusSpec 2016-08-10 12:17:33 -04:00
joshvera
1c1938080c Use either path in output 2016-08-10 11:00:40 -04:00
joshvera
dfbc5e1867 infix 2016-08-10 10:58:41 -04:00
joshvera
d09c1314a4 infix 2016-08-10 10:56:28 -04:00
joshvera
1574e74bcb Normalize names before unioning 2016-08-10 10:55:48 -04:00
joshvera
9df1399168 output the inserted/deleted path in the patch header 2016-08-09 16:14:46 -04:00
joshvera
25a53ac718 add file addition and deletion tests 2016-08-09 16:14:46 -04:00
joshvera
c286b39146 Fix oids 2016-08-09 16:14:46 -04:00
joshvera
07dfb0f5d8 handle missing files in CorpusSpec 2016-08-09 16:14:46 -04:00
joshvera
55afdaba17 Add new file patch test 2016-08-09 16:14:46 -04:00
joshvera
0bee997724 fix tests 2016-08-08 14:59:51 -04:00
joshvera
ce149af0f6 ++js-test ++tree-sitter-parsers 2016-08-01 12:23:15 -04:00
joshvera
1c5f94631c s/diffSummary/diffSummaries 2016-07-29 18:38:46 -04:00
joshvera
b354ed61d9 ++js-test 2016-07-29 16:57:30 -04:00
joshvera
b242555021 ++js-test 2016-07-29 16:34:09 -04:00
joshvera
04a976969e ++js-test 2016-07-29 16:16:58 -04:00
joshvera
380e980250 annotate sources 2016-07-29 14:34:28 -04:00
joshvera
1ba42a9d0f Add Ranges to DiffSummarySpec 2016-07-29 14:31:02 -04:00
joshvera
aa99744db7 Remove SourceSpan from Record 2016-07-29 14:12:44 -04:00
joshvera
fbc9e335a3 Merge remote-tracking branch 'origin/master' into error-syntax 2016-07-29 11:44:38 -04:00
joshvera
5caa439bec ++js-test 2016-07-28 14:29:24 -04:00
joshvera
8b0f496b90 Merge remote-tracking branch 'origin/master' into error-syntax 2016-07-27 19:00:27 -04:00
joshvera
ba7d599aa3 Add SourceSpan to tests 2016-07-27 18:49:21 -04:00
joshvera
b5b3391786 add missing unwrap 2016-07-26 16:44:33 -04:00
joshvera
4bd4a93a0c ++js-test 2016-07-26 16:34:28 -04:00
joshvera
804a8457a5 ++js-test for errors.js 2016-07-26 16:30:12 -04:00
joshvera
5eece69994 Use any 2016-07-26 16:29:46 -04:00
Rob Rix
cfddd9ca75 Merge branch 'master' into sequenceable 2016-07-26 15:43:02 -04:00
Rob Rix
e5f9d1ed28 Test the Mergeable laws over lists. 2016-07-26 15:27:32 -04:00
Rob Rix
475ec475b6 Weaken the identity laws to be non-empty. 2016-07-26 15:27:16 -04:00
Rob Rix
dd0b0322fc Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes. 2016-07-26 14:56:02 -04:00
Rob Rix
cfb7361b9c Scale the list generator. 2016-07-26 14:44:25 -04:00
joshvera
044aa782c1 partially apply isBranchNode 2016-07-26 14:36:56 -04:00
joshvera
e7000b7de3 s/expression_statement/expression_statements 2016-07-26 14:26:31 -04:00
joshvera
799643147b partially apply isBranchNode 2016-07-26 14:04:15 -04:00
joshvera
de925c533d use Foldable.any 2016-07-26 13:55:05 -04:00
joshvera
84edc4b8ce use bind 2016-07-26 13:45:50 -04:00
joshvera
4809ad0f2f Use bind 2016-07-26 13:44:12 -04:00
Rob Rix
2ee68cc4b2 Add an identity law over merge. 2016-07-26 13:30:09 -04:00
Rob Rix
794fffbf47 Clean up the generator. 2016-07-26 13:25:16 -04:00
Rob Rix
b987a40377 sequenceAlt’s relationship with merge is the inverse of merge’s relationship with sequenceAlt. 2016-07-26 13:23:14 -04:00
Rob Rix
7ff92d968e Run the merge laws over Syntax. 2016-07-26 13:17:33 -04:00
Rob Rix
e98844e937 Run the merge laws over Identity. 2016-07-26 13:17:13 -04:00
Rob Rix
7d4d14c99b Run the merge laws over Maybe. 2016-07-26 13:16:46 -04:00
Rob Rix
8f25cbd473 🔥 some redundant constraints. 2016-07-26 13:13:45 -04:00
Rob Rix
f64164d872 Generalize a constraint away. 2016-07-26 13:12:32 -04:00
Rob Rix
a967e800bb Move the alternative instances helper down. 2016-07-26 13:12:09 -04:00
Rob Rix
be973b5bae Generalize out a helper function to validate laws against alternative instances. 2016-07-26 13:11:52 -04:00
Rob Rix
5430f45850 Verify the merge laws over []/Maybe. 2016-07-26 13:06:18 -04:00
Rob Rix
df4621622a Formulate a merge law. 2016-07-26 13:03:13 -04:00
Rob Rix
475c97190c Parallelize the Mergeable spec. 2016-07-26 12:47:38 -04:00
Rob Rix
5d6b1cd047 Test the sequenceAlt laws over Syntax. 2016-07-26 05:39:02 -04:00
Rob Rix
7af29fcf10 Define the identity law over pure. 2016-07-26 04:25:45 -04:00
Rob Rix
6806438949 Generalize the sequenceAlt laws over the inner alternative functor. 2016-07-26 04:23:03 -04:00
Rob Rix
f76b334b8c Validate the sequenceAltLaws against the Identity instance. 2016-07-26 04:16:40 -04:00
Rob Rix
a0cf6ce702 Validate the relationship between sequenceAlt and merge. 2016-07-26 04:15:56 -04:00
Rob Rix
d1bbe1c029 Validate the sequenceAltLaws against Maybe. 2016-07-26 04:08:19 -04:00
Rob Rix
88bb767ff7 Group the law invocations by functor. 2016-07-26 04:07:46 -04:00
Rob Rix
734254194c Define sequenceAltLaws to take a generator of Mergeable values. 2016-07-26 04:06:51 -04:00
Rob Rix
fa3b7d126e Factor the sequenceAlt law properties into a separate function. 2016-07-26 04:04:24 -04:00
Rob Rix
93c53ed90a Stub in a property test for the proposed identity law. 2016-07-26 04:02:52 -04:00
Rob Rix
b03f1d3b91 Stub in a spec function. 2016-07-26 03:58:14 -04:00
Rob Rix
8f15a59282 Stub in a spec for the Mergeable stuff. 2016-07-26 03:56:52 -04:00
joshvera
4ab572c94b Merge remote-tracking branch 'origin/master' into property-tests 2016-07-25 12:30:23 -04:00
joshvera
9686a7e53b Remove extra split2.html 2016-07-22 17:10:11 -04:00
joshvera
b5119dab1e Include Info 2016-07-22 14:51:08 -04:00
joshvera
485fc884a4 Merge branch 'syntax-redux' into property-tests 2016-07-22 14:39:54 -04:00
joshvera
b27eac56d9 Merge remote-tracking branch 'origin/master' into syntax-redux 2016-07-22 12:38:34 -04:00
joshvera
70f9329f1a Merge remote-tracking branch 'origin/master' into syntax-redux 2016-07-22 12:36:03 -04:00
Rob Rix
389b2ddfa6 Use joinCrosswalk in the spec. 2016-07-22 11:40:04 -04:00
Rob Rix
faa195ea8f Add a drop-in for Crosswalk over Bicrosswalkable Joins. 2016-07-22 11:39:56 -04:00
Rob Rix
0016bb92ea Merge branch 'master' into generalize-rws-over-the-functor 2016-07-21 11:49:55 -04:00
joshvera
a4851ba063 type signatures 2016-07-15 20:32:48 -04:00
joshvera
78bb7779a4 Test annotatedSummaries 2016-07-15 17:11:45 -04:00
joshvera
ed2f8bd57d Delete comments 2016-07-15 15:24:40 -04:00
Rob Rix
4b33b24a05 Labels are computed from the entire term. 2016-07-15 14:45:37 -04:00
joshvera
ea814432a6 Add a property test to check number of LeafInfos in diff summaries match leaves in diff patches 2016-07-15 14:10:31 -04:00
joshvera
e57f30f20b DiffInfo are now either LeafInfos or BranchInfos 2016-07-15 13:18:45 -04:00
Rob Rix
85659ec988 Fix up the asymmetrical context fixture. 2016-07-15 11:31:43 -04:00
Rob Rix
529334a552 Fix up the dictionary fixture. 2016-07-15 11:30:49 -04:00
Rob Rix
292a8f0a07 Fix up the multiline insert fixture. 2016-07-15 11:29:15 -04:00
Rob Rix
fcc4df2232 Fix up the insert fixture. 2016-07-15 11:27:48 -04:00
Rob Rix
2d1dea1270 Fix up the nested insert fixture. 2016-07-15 11:26:18 -04:00
Rob Rix
49291bf1ab Fix up the newline-at-eof fixture. 2016-07-15 11:26:11 -04:00
Rob Rix
5af6188b17 Fix up the no-newline-at-eof fixture. 2016-07-15 11:23:18 -04:00
Rob Rix
ce4ad3d9bc Fix up the reformat fixture. 2016-07-15 11:20:55 -04:00
Rob Rix
5bc2cd93f1 Only annotate terms & diffs with costs, not sizes. 2016-07-15 11:17:53 -04:00
Rob Rix
97e8dfadb1 DiffSummarySpec doesn’t depend on Info. 2016-07-15 09:41:12 -04:00