github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-11 08:45:48 +03:00
Code Issues Projects Releases Wiki Activity
15,815 Commits 19 Branches 16 Tags 46 MiB
7595062d05
Commit Graph

78 Commits

Author SHA1 Message Date
Rob Rix
7595062d05 Use the merging function in the tests. 2017-09-28 10:40:23 -04:00
Rob Rix
01e8e1725f Move the listable Syntax synonym into Data.Functor.Listable. 2017-09-26 09:48:59 -04:00
Rob Rix
2aff7745b6 Migrate InterpreterSpec to à la carte syntax. 2017-09-26 09:31:36 -04:00
Rob Rix
4c87a91f19 Use the correct functions in the diffs. 2017-09-25 10:57:28 -04:00
Rob Rix
bfc0b9d0b0 Give Diff a pair of type parameters for the annotation types. 2017-09-14 09:41:52 -04:00
Rob Rix
bf2de994ac Curry diffing operations. 2017-09-13 19:34:27 -04:00
Rob Rix
9de429be45 🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms. 2017-09-13 19:14:01 -04:00
Rob Rix
ecb19530d6 Correct most of the tests. 2017-09-12 10:49:45 -04:00
Rob Rix
1cd6dd2899 Update the tests. 2017-09-11 15:48:58 -04:00
Rob Rix
2a7a937a7e 🔥 a bunch more redundant imports. 2017-09-09 14:58:07 +01:00
Rob Rix
a1bfea611f Update all the tests. 2017-09-09 14:18:08 +01: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
8cd44d59a5 diffTerms takes its inputs in Both. 2017-06-01 11:10:47 -04:00
Rob Rix
f711e2fd5c 🔥 redundant imports. 2017-05-11 17:14:54 -04:00
Rob Rix
a418b38e7f 🔥 feature vectors from the Interpreter spec. 2017-05-11 09:48:46 -04:00
joshvera
7395e88ab0 Remove Data.RandomWalkSimilarity 2017-04-24 15:53:11 -04:00
Rob Rix
fe326bcf03 🔥 the comparability parameter to diffTerms. 2017-02-21 15:23:30 -05:00
Rob Rix
c4f37454d6 🔥 the construct parameter to diffTerms. 2017-02-21 15:17:35 -05:00
Rob Rix
01c47fa0c1 🔥 the computation of costs. 2017-02-21 14:34:24 -05:00
Rob Rix
93937a1bf9 Fix the tests. 2017-02-08 11:15:37 -05:00
Rob Rix
7e1bd55c64 Generate an empty array. 2017-02-03 15:57:05 -05:00
Rob Rix
23881c21b6 Hide that other definition of Nil. 2017-01-19 15:53:16 -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
88aec60e23 Migrate the Interpreter property tests to leancheck. 2017-01-09 14:20:11 -05:00
joshvera
dfe8648a11 Fix tests 2016-10-12 19:19:36 -04:00
Rick Winfrey
a4c5a26533 Add pretty diff expectations to semantic diff tests 2016-09-14 16:45:23 -05:00
Rob Rix
00689650dd Use the defaultFeatureVectorDecorator in the tests. 2016-08-18 14:03:36 -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
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
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
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
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
fd6701973f Replace termA/termB with functions. 2016-08-11 12:25:30 -04:00