Rob Rix
|
8e8d1a1794
|
🔥 a redundant import.
|
2017-07-28 14:46:56 -04:00 |
|
Rob Rix
|
7da8799e08
|
🔥 Prologue & protolude.
|
2017-07-28 14:37:02 -04:00 |
|
Rob Rix
|
d6beb353fa
|
🔥 unused imports.
|
2017-07-23 16:08:05 -04:00 |
|
Rob Rix
|
aa8ebfcd73
|
Remove the leaf type parameter from SyntaxTerm.
|
2017-07-23 15:56:08 -04:00 |
|
Rob Rix
|
0ba3264f32
|
Remove the leaf type parameter from Syntax.
|
2017-07-23 15:46:29 -04:00 |
|
Rob Rix
|
eaa98912de
|
Bounds are closed ranges.
|
2017-06-15 10:06:15 -04:00 |
|
Rob Rix
|
93f61519b7
|
Update the featureVectorDecorator bounds test.
|
2017-06-15 09:46:51 -04:00 |
|
Rob Rix
|
46cfee6e28
|
Update the RWS spec.
|
2017-06-15 09:44:46 -04:00 |
|
Rob Rix
|
6563d7d195
|
Correct the tests’ comparability relation.
|
2017-05-31 15:55:01 -04:00 |
|
joshvera
|
7395e88ab0
|
Remove Data.RandomWalkSimilarity
|
2017-04-24 15:53:11 -04:00 |
|
Rob Rix
|
18cd862dc3
|
Parameterize rws by the approximate edit distance.
|
2017-02-23 16:13:42 -05:00 |
|
Rob Rix
|
ef2715f4f0
|
RWS’s comparison function takes These.
|
2017-02-23 14:17:52 -05:00 |
|
Rob Rix
|
22236ebd7e
|
Give RWS separate functions for comparisons and determining whether a comparison should be made.
|
2017-02-23 14:13:13 -05:00 |
|
Rob Rix
|
ca134a8857
|
Account for vectors being in Maybe now.
|
2017-02-14 13:23:33 -05:00 |
|
Rob Rix
|
93937a1bf9
|
Fix the tests.
|
2017-02-08 11:15:37 -05:00 |
|
Rob Rix
|
c734ddb7aa
|
🔥 a redundant import.
|
2017-02-06 10:18:07 -05:00 |
|
Rob Rix
|
84a0c70a7c
|
Use the FeatureVector type synonym.
|
2017-02-03 15:54:28 -05:00 |
|
Rob Rix
|
8e1c5706b6
|
Replace uses of (.:) with (:.).
|
2017-01-19 15:46:28 -05:00 |
|
Rob Rix
|
877fec5e38
|
Rename RNil to Nil.
|
2017-01-19 15:36:04 -05:00 |
|
Rob Rix
|
43faae0864
|
Migrate the RWS property tests to leancheck.
|
2017-01-07 23:27:01 -05:00 |
|
joshvera
|
b5ff4178e9
|
scope to getLabel
|
2016-10-13 16:16:50 -04:00 |
|
joshvera
|
dfe8648a11
|
Fix tests
|
2016-10-12 19:19:36 -04:00 |
|
joshvera
|
bfe57829d6
|
Merge remote-tracking branch 'origin/master' into rws-large-diffs
|
2016-09-27 10:34:19 -04:00 |
|
joshvera
|
0535744ebc
|
more imports
|
2016-09-16 11:48:58 -04:00 |
|
Rob Rix
|
8d465b96ab
|
Annotate the leaf type.
|
2016-09-15 18:34:54 -04:00 |
|
Rob Rix
|
97b7f27683
|
Give a type signature for decorate .
This fixes a problem where ghc will loop forever trying to infer the
type.
|
2016-09-15 18:32:57 -04:00 |
|
Rob Rix
|
d0395cd227
|
🔥 some redundant parens.
|
2016-09-15 18:12:32 -04:00 |
|
joshvera
|
d3440439dc
|
Merge remote-tracking branch 'origin/master' into rws-large-diffs
|
2016-09-12 14:55:20 -04:00 |
|
joshvera
|
dbb687b33e
|
Split Term and Diff into SyntaxTerm and SyntaxDiff types as well
|
2016-09-09 14:51:20 -04:00 |
|
Rob Rix
|
98637ad656
|
Generalize Term/TermF & Diff/DiffF over the functor.
|
2016-09-09 14:46:50 -04:00 |
|
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 |
|
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
|
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 |
|