Rob Rix
|
00689650dd
|
Use the defaultFeatureVectorDecorator in the tests.
|
2016-08-18 14:03:36 -04:00 |
|
Rob Rix
|
d169e6fa66
|
Spacing.
|
2016-08-18 12:51:07 -04:00 |
|
Rob Rix
|
b14a7765e6
|
Copy in b.
|
2016-08-18 11:40:39 -04:00 |
|
Rob Rix
|
ecaff655c1
|
Extract a function to copy terms in.
|
2016-08-18 11:40:33 -04:00 |
|
Rob Rix
|
cabf1a887e
|
Compute recursive as copies instead of replacements.
This should make us more accurate to the tests of Interpreter.
|
2016-08-18 11:37:55 -04:00 |
|
Rob Rix
|
02bb72ee0b
|
Move compare to the where clause.
|
2016-08-18 11:25:21 -04:00 |
|
Rob Rix
|
8aa0f082a6
|
Bump _q_ in all of the specs.
Figure it’s best if they use the same value for the parameter.
|
2016-08-18 11:23:21 -04:00 |
|
joshvera
|
c09887b8df
|
update semantic-diff tests
|
2016-08-17 11:24:12 -04:00 |
|
joshvera
|
b4133bdcac
|
Map comma operators to flattened indexed nodes
|
2016-08-16 17:24:06 -04:00 |
|
Rob Rix
|
9dcbe04297
|
Move the multiple hunks fixture to the todo list.
See also #682.
|
2016-08-12 13:43:00 -04:00 |
|
Rob Rix
|
e820b43469
|
🔥 a redundant import.
|
2016-08-12 13:40:41 -04:00 |
|
Rob Rix
|
b91b305f32
|
Re-enable the RWS insertion bias tests.
|
2016-08-12 13:22:55 -04:00 |
|
Rob Rix
|
443df7da7c
|
Merge branch 'unbiased-branch-diff-tests-that-actually-test-branch-diff-bias' into unbiased-branch-diffs
# Conflicts:
# src/Diffing.hs
# test/CorpusSpec.hs
# tools/semantic-git-diff/test/corpus/diff-summaries.json
|
2016-08-12 13:04:33 -04:00 |
|
Rob Rix
|
d9be26396c
|
Make the RWS test pending on #683.
|
2016-08-12 12:58:37 -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
|
fa983e5561
|
Add a concrete test of unbiased deletions.
|
2016-08-12 11:40:30 -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
|
0eb43f47a3
|
Use wrap in the RWS correctness test.
|
2016-08-12 09:46:45 -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 |
|
Rob Rix
|
73f73fdb40
|
Mark the (failing) rws tests as pending for the time being.
|
2016-08-11 15:24:02 -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 |
|
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
|
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
|
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 |
|
Rob Rix
|
82ce5fffad
|
AlignmentSpec doesn’t depend on Info at all.
|
2016-07-15 09:39:03 -04:00 |
|
joshvera
|
13671e5d14
|
Add patchAnnotations to DiffInfo to track discarded branch nodes
|
2016-07-14 19:35:23 -04:00 |
|
Rob Rix
|
300bd2b84c
|
Renderer takes an annotation type parameter.
|
2016-07-14 16:36:47 -04:00 |
|
joshvera
|
9a01466bfc
|
Merge branch 'syntax-redux' into pretty-print-summaries
|
2016-07-14 15:30:15 -04:00 |
|
Rick Winfrey
|
85ddbcbcba
|
Merge branch 'syntax-redux' of github.com:github/semantic-diff into syntax-redux
|
2016-07-14 14:26:07 -05:00 |
|
joshvera
|
27c338331f
|
Merge remote-tracking branch 'origin/master' into syntax-redux
|
2016-07-14 15:22:46 -04:00 |
|
Rick Winfrey
|
2354cfa45a
|
Add diff summary property test verifying no changes results in no diff summaries.
|
2016-07-14 14:21:14 -05:00 |
|
joshvera
|
453334d966
|
Use wl-pprint-text to pretty print diff summaries
|
2016-07-14 14:44:18 -04:00 |
|
joshvera
|
58ff433dd0
|
Merge remote-tracking branch 'origin/master' into pretty-print-summaries
|
2016-07-14 14:38:46 -04:00 |
|
joshvera
|
a9adce2610
|
other patches should be the same as summary patches
|
2016-07-14 13:01:16 -04:00 |
|
joshvera
|
922e845c78
|
Add property test to test diff summary constructors
|
2016-07-14 11:52:40 -04:00 |
|
joshvera
|
59426b86f6
|
Add megaparsec to pretty print summaries
|
2016-07-13 14:32:53 -04:00 |
|
joshvera
|
7169a51265
|
Use wl-pprint-text to pretty print diff summaries
|
2016-07-13 11:58:43 -04:00 |
|
Rob Rix
|
c41d3f4280
|
Correct the fixtures to account for the removal of dictionaries.
|
2016-07-12 23:34:53 -04:00 |
|
Rob Rix
|
4f967e0e1a
|
🔥 Data.OrderedMap.
|
2016-07-12 23:27:20 -04:00 |
|
Rob Rix
|
c7728b7c1c
|
Test the reflexivity of alignment modulo These.
|
2016-07-12 18:24:24 -04:00 |
|
Rob Rix
|
ae9b0e55f3
|
Test against integer keys/values.
|
2016-07-12 18:11:09 -04:00 |
|
Rob Rix
|
449c564179
|
Test the upper bound on input length.
|
2016-07-12 18:10:10 -04:00 |
|
Rob Rix
|
5a721f0a90
|
Test that align is length-preserving.
|
2016-07-12 18:09:12 -04:00 |
|
Rob Rix
|
4869729770
|
Silence a warning.
|
2016-07-12 18:09:01 -04:00 |
|
Rick Winfrey
|
177af03bd3
|
Merge branch 'master' into syntax-redux
|
2016-07-12 17:03:35 -05:00 |
|
Rob Rix
|
87e1ce7020
|
Revert "Show the Term itself."
This reverts commit aea84cbec83972add52909b0813ad9362808553f.
|
2016-07-12 17:29:47 -04:00 |
|
Rob Rix
|
4818d723b3
|
Show the Term itself.
|
2016-07-12 17:20:44 -04:00 |
|
Rob Rix
|
3ff027e12c
|
Place hlint about wrap.
|
2016-07-12 17:19:44 -04:00 |
|
Rob Rix
|
d6c994a852
|
🔥 a blank line apparently.
|
2016-07-12 17:19:38 -04:00 |
|
Rob Rix
|
feb39e540f
|
Test that nil is the right- and left-identity modulo This/That.
|
2016-07-12 17:16:24 -04:00 |
|
Rob Rix
|
3d73efc6d3
|
Placate hlint.
|
2016-07-12 17:16:10 -04:00 |
|
joshvera
|
a484cb8348
|
Update fixtures to account for method_call and object/pair categories
|
2016-07-08 16:30:13 -04:00 |
|
joshvera
|
8c698cb52c
|
Remove stray HTML file
|
2016-07-08 16:00:14 -04:00 |
|
joshvera
|
3779bf36b0
|
Expect to parse JS method calls
|
2016-07-08 15:59:37 -04:00 |
|
Rob Rix
|
2108cddff6
|
Test rws’ behaviour w.r.t. ordering.
|
2016-07-07 10:37:55 -04:00 |
|
joshvera
|
1efd68d122
|
Merge remote-tracking branch 'origin/master' into syntax-redux
|
2016-07-06 16:22:25 -04:00 |
|
joshvera
|
6641bdf906
|
++js-test
|
2016-07-06 12:58:37 -04:00 |
|
joshvera
|
4eebbb288c
|
Add backbone submodule
|
2016-07-06 12:38:47 -04:00 |
|
Rick Winfrey
|
13c60c9e86
|
++js-test
|
2016-07-05 17:33:19 -05:00 |
|
Rob Rix
|
f91860d68f
|
🔥 DataKinds here, too.
|
2016-07-05 10:11:29 -04:00 |
|
Rob Rix
|
51f0995c91
|
🔥 DataKinds.
|
2016-07-05 09:56:48 -04:00 |
|
Rob Rix
|
4cfa993239
|
Move the Arbitrary gram functions into Data.RandomWalkSimilarity.
|
2016-07-05 09:18:53 -04:00 |
|
Rob Rix
|
e3a43b77a9
|
Fix overloaded string warning.
|
2016-06-30 15:02:28 -04:00 |
|
Rob Rix
|
b0b8aa0616
|
Test that Interpreter produces zero-cost diffs of equal terms.
|
2016-06-30 13:34:31 -04:00 |
|
Rob Rix
|
28abcd1b38
|
Move Record’s Arbitrary instance into Data.Record.
|
2016-06-30 12:49:50 -04:00 |
|
Rob Rix
|
58138d5867
|
Scale down the sizes by a factor of four.
|
2016-06-30 12:37:41 -04:00 |
|
Rob Rix
|
a5af331f71
|
Generate a pair of inputs.
This allows scaling to work correctly.
|
2016-06-30 12:37:27 -04:00 |
|
Rob Rix
|
d89422d3ed
|
Define childrenOf in tacit style.
|
2016-06-30 11:28:18 -04:00 |
|
Rob Rix
|
cb71ba3467
|
Use the Foldable instance instead of specifying the constructor.
|
2016-06-30 11:27:37 -04:00 |
|
Rick Winfrey
|
c034926304
|
++js
|
2016-06-29 16:07:37 -05:00 |
|
Rob Rix
|
27cc162e1c
|
Test against a set of children instead of sorting.
This reverts commit e5fb9a7a89da22373e7614d0163b64bb3a994b24.
|
2016-06-29 11:28:08 -04:00 |
|
Rob Rix
|
bd11e9e0ee
|
Enumerate and sort to pass the test.
|
2016-06-29 10:58:06 -04:00 |
|
joshvera
|
e03c712482
|
js-test
|
2016-06-28 16:38:18 -04:00 |
|
Rob Rix
|
83a88d0e32
|
Only allow comparisons between terms with the same category.
|
2016-06-28 15:02:41 -04:00 |
|
Rob Rix
|
99c36635b4
|
Use Categories for the annotations.
|
2016-06-28 14:09:51 -04:00 |
|
joshvera
|
9292d3294d
|
++js-test
|
2016-06-28 13:04:40 -04:00 |
|
Rob Rix
|
e003549ef0
|
Rewrite to share the lists of child terms.
|
2016-06-27 15:38:45 -04:00 |
|
Rob Rix
|
38ecc3bb0a
|
Test that rws produces correct diffs.
|
2016-06-27 15:37:32 -04:00 |
|
Rob Rix
|
833802eb8a
|
Text, not String.
|
2016-06-27 15:32:09 -04:00 |
|
Rob Rix
|
b8ba07522b
|
Test that Interpreter produces correct diffs.
|
2016-06-27 15:28:11 -04:00 |
|
Rob Rix
|
2de9468ed1
|
Sort the imports.
|
2016-06-27 15:28:04 -04:00 |
|
Rob Rix
|
9611a27887
|
🔥 test/ArbitraryTerm.hs.
|
2016-06-27 15:03:04 -04:00 |
|
Rob Rix
|
b405286065
|
Tidy up AlignmentSpec.
|
2016-06-27 15:02:28 -04:00 |
|
Rob Rix
|
aa5d6e4deb
|
Test that afterTerm recovers the second term.
|
2016-06-27 13:24:50 -04:00 |
|
Rob Rix
|
8035c1844c
|
Test that beforeTerm recovers the first term.
|
2016-06-27 13:23:43 -04:00 |
|
Rob Rix
|
c70c936d60
|
Use shouldBe instead of == .
|
2016-06-27 13:21:32 -04:00 |
|
Rob Rix
|
1dd10050f6
|
Move some tests around.
|
2016-06-27 13:18:20 -04:00 |
|
Rob Rix
|
346bec0d0b
|
Clean up redundant imports and use Text, not String.
|
2016-06-27 13:16:56 -04:00 |
|
Rob Rix
|
10b5bdaab4
|
Use Text, not String.
|
2016-06-27 13:16:48 -04:00 |
|
Rob Rix
|
85f39fd5a8
|
Move some tests out of TermSpec into Diff.Spec.
|
2016-06-27 13:15:03 -04:00 |
|
Rob Rix
|
ad4a34ebb0
|
🔥 a redundant import.
|
2016-06-27 13:12:37 -04:00 |
|
Rob Rix
|
b4107426de
|
Stub in a spec for Diff.
|
2016-06-27 13:12:06 -04:00 |
|
Rob Rix
|
8fe92c025c
|
Pare the unicode replacement test down further.
|
2016-06-27 13:08:12 -04:00 |
|
Rob Rix
|
db17330b4d
|
Clean up the InterpreterSpec test by extracting the infos.
|
2016-06-27 13:03:58 -04:00 |
|
Rob Rix
|
c0eceb273c
|
We no longer have to hide this symbol.
|
2016-06-27 11:46:22 -04:00 |
|
Rob Rix
|
0b37ae936b
|
Diff terms of records.
|
2016-06-23 16:30:43 -04:00 |
|
Rob Rix
|
ed552da2af
|
Swap the d/bag arguments in featureVector.
|
2016-06-23 10:34:23 -04:00 |
|
Rob Rix
|
a9f251e42f
|
Test against trees annotated with their labels directly.
|
2016-06-23 10:19:45 -04:00 |
|
Rob Rix
|
a657295ae6
|
Generalize pqGrams over a getLabel accessor again.
|
2016-06-23 10:18:39 -04:00 |
|
Rob Rix
|
c85c87ad65
|
Okay FINE, hlint!
|
2016-06-23 10:11:48 -04:00 |
|
Rob Rix
|
6133903e8c
|
Extract the label from a record.
|
2016-06-23 09:52:15 -04:00 |
|
Rob Rix
|
220687da5e
|
🔥 the old spec.
|
2016-06-23 09:51:55 -04:00 |
|
Rob Rix
|
1170bfdcb2
|
Rename Data.Gram to Data.RandomWalkSimilarity.
|
2016-06-22 17:59:28 -04:00 |
|
Rob Rix
|
f553cac094
|
Specialize pqGrams to Cofree of Syntax.
|
2016-06-22 16:17:54 -04:00 |
|
Rob Rix
|
ea717c6582
|
Test that we produce grams with bases of length q.
|
2016-06-22 15:55:39 -04:00 |
|
Rob Rix
|
e15af19835
|
🔥 a redundant import.
|
2016-06-22 15:55:15 -04:00 |
|
Rob Rix
|
0092655cb6
|
Clean up the tests.
|
2016-06-22 15:55:11 -04:00 |
|
Rob Rix
|
f1d190326c
|
Remove children from the unpacking function.
|
2016-06-22 15:18:37 -04:00 |
|
Rob Rix
|
ad380bf08d
|
Limit the p,q-gram test to p > 0 & q > 0.
|
2016-06-22 15:02:10 -04:00 |
|
Rob Rix
|
f2c5dd3d8c
|
Test that the stems are of length p.
|
2016-06-22 13:46:06 -04:00 |
|
Rob Rix
|
7da6fde412
|
Test that pqGrams produces grams with stems of length p.
|
2016-06-22 11:27:30 -04:00 |
|
Rob Rix
|
4cb3261069
|
Correct the property by limiting it to d > 0.
|
2016-06-22 11:07:43 -04:00 |
|
Rob Rix
|
0bef12d722
|
Test that featureVector produces d-vectors.
|
2016-06-22 11:04:27 -04:00 |
|
Rob Rix
|
cc8fcb926e
|
Include the Gram spec.
|
2016-06-22 10:45:43 -04:00 |
|
Rob Rix
|
52e274b57d
|
Stub in the spec itself.
|
2016-06-22 10:45:31 -04:00 |
|
Rob Rix
|
d5e807257e
|
Hush, hlint.
|
2016-06-22 10:43:02 -04:00 |
|
Rob Rix
|
51392382ef
|
Stub in a spec for Data.Gram.
|
2016-06-22 10:41:13 -04:00 |
|
joshvera
|
0a574871c9
|
Merge remote-tracking branch 'origin/master' into syntax-redux
|
2016-06-21 17:08:40 -04:00 |
|
Rick Winfrey
|
4f41232901
|
++js-test
|
2016-06-17 17:00:42 -05:00 |
|
Rick Winfrey
|
532e49871d
|
++js-test
|
2016-06-17 15:31:21 -05:00 |
|
Rick Winfrey
|
dae03ef31e
|
++js-test
|
2016-06-17 14:57:22 -05:00 |
|
Rick Winfrey
|
bbaf6e24fa
|
++js-test
|
2016-06-17 14:35:13 -05:00 |
|
Rick Winfrey
|
c5232f023c
|
++js-test
|
2016-06-17 14:23:41 -05:00 |
|
Rob Rix
|
1668e94427
|
Define Info as a synonym over Data.Record.
|
2016-06-17 13:33:50 -04:00 |
|
joshvera
|
c086cac867
|
++js-test
|
2016-06-16 10:47:41 -07:00 |
|
joshvera
|
283a4a77a0
|
Remove test/diffs/style.css
|
2016-06-16 10:39:57 -07:00 |
|
Rick Winfrey
|
308a690cdb
|
++js-test
|
2016-06-16 11:20:34 -05:00 |
|
Rick Winfrey
|
c2c3681749
|
Update test/repos/js-test pin
|
2016-06-15 13:18:44 -05:00 |
|
Rick Winfrey
|
efe1339df5
|
Update js-test
|
2016-06-15 11:12:16 -05:00 |
|
joshvera
|
66b6b1e460
|
++js-test
|
2016-06-14 17:44:38 -07:00 |
|
joshvera
|
e56b8268f1
|
++js-test
|
2016-06-14 14:20:37 -07:00 |
|
joshvera
|
a0f415dece
|
++js-test
|
2016-06-14 14:01:27 -07:00 |
|
Rick Winfrey
|
6eea045aee
|
Updating js-test submodule pin
|
2016-06-13 17:13:24 -05:00 |
|