github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
18,488 Commits 19 Branches 16 Tags 46 MiB
4c53ad729f
Commit Graph

878 Commits

Author SHA1 Message Date
Rob Rix
2c83e7e283 Merge branch 'master' into specialized-terms-and-diffs 2017-09-11 16:01:20 -04:00
Rob Rix
9b66f548c0 Stub in a module for bindings. 2017-09-10 21:18:31 -04:00
Rob Rix
c69e3383e3 Define a module for JSONFields. 2017-09-09 17:15:22 +01:00
Rob Rix
24914eeb05 Move the remaining Listable instances into the tests. 2017-09-09 14:51:37 +01:00
Rob Rix
3ad5374b94 Move all the Listable stuff into the tests. 2017-09-09 14:44:57 +01:00
Rob Rix
07bef3f75e 🔥 deepseq. 2017-09-08 17:35:55 +01:00
joshvera
6c4ca4f5a5 Merge remote-tracking branch 'origin/explicit-choice' into typescript-assignment 2017-09-01 15:52:16 -04:00
Rob Rix
826adc829f 🔥 the Array table module. 2017-09-01 12:37:02 -04:00
Rob Rix
c8798c6ea7 Rename the IntMap table module to Table. 2017-09-01 12:36:35 -04:00
Rob Rix
7bb025ed76 🔥 the Table module. 2017-09-01 12:35:57 -04:00
Rob Rix
e0d2debad5 Stub in a module for IntMap-based jump tables. 2017-08-31 22:07:38 -04:00
Rob Rix
e0a9b5681e Stub in a module for array-based jump tables. 2017-08-31 22:07:12 -04:00
Rob Rix
d89d82924a Stub in a module for jump tables. 2017-08-31 22:04:49 -04:00
Rob Rix
f22f0b053f 🔥 Syntax. 2017-08-30 14:48:24 -04:00
Rob Rix
ff2d371afd 🔥 Category. 2017-08-30 14:47:43 -04:00
Rob Rix
0fa8c3255a 🔥 Info.hs. 2017-08-30 14:46:36 -04:00
Rob Rix
58f478defe Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax 2017-08-30 14:12:57 -04:00
Rob Rix
dbd05d33bd 🔥 monolithic Go assignment. 2017-08-29 15:53:30 -04:00
Rob Rix
81eb3f8425 🔥 monolithic Ruby assignment. 2017-08-29 15:50:11 -04:00
Rob Rix
fb860e1fa6 🔥 the empty TypeScript module. 2017-08-29 15:48:34 -04:00
Rob Rix
96db2e443c 🔥 the empty Python module. 2017-08-29 15:48:24 -04:00
Rick Winfrey
eb1a09cdde Merge branch 'master' into go-assignment 2017-08-28 15:16:55 -07:00
joshvera
4f5f912d9e Merge remote-tracking branch 'origin/master' into typescript-assignment 2017-08-28 12:48:36 -04:00
Rob Rix
b318e31b2b Stub in a Semantic.Util module. 2017-08-25 12:22:22 -04:00
Rob Rix
e75c99772c Stub in a module for generic lifted pretty-printing. 2017-08-23 11:41:14 -04:00
Rick Winfrey
aef3743cf9 Add Language.Go.Grammar.hs 2017-08-22 14:48:30 -07:00
Rob Rix
e44f43e689 🔥 Data.Functor.Classes.Pretty.Orphans. 2017-08-22 14:27:56 -04:00
Rob Rix
c2e6438bf5 Stub in a module for orphan instances of Pretty, Pretty1, etc. 2017-08-22 13:40:00 -04:00
Rob Rix
e496a41680 Link prettyprinter. 2017-08-22 12:44:27 -04:00
joshvera
7dce32307d Merge remote-tracking branch 'origin/master' into typescript-assignment 2017-08-15 12:54:51 -04:00
Rob Rix
6ddfcc3b98 Rename the typescript package. 2017-08-11 08:07:03 -04:00
Rob Rix
c5b6c0a054 Rename the ruby package. 2017-08-11 08:06:37 -04:00
Rob Rix
10c653bd95 Rename the python package. 2017-08-11 08:06:08 -04:00
Rob Rix
7f6fed1e4e Rename the json package. 2017-08-11 08:03:55 -04:00
Rob Rix
2588f04015 Rename the go package. 2017-08-11 08:03:27 -04:00
joshvera
bdc5078866 Merge remote-tracking branch 'origin/master' into typescript-assignment 2017-08-10 18:35:05 -04:00
Rob Rix
cf1cee66b9 Merge branch 'master' into ghc-8.2.1 2017-08-09 09:52:39 -04:00
joshvera
5f1925cc3d Include TypeScript.Grammar in cabal file 2017-08-08 11:19:42 -04:00
Rob Rix
add1d471c9 Stub in a module for Errors. 2017-08-06 18:56:01 -04:00
Rob Rix
c874c3ac58 Depend on the parsers package. 2017-08-06 18:53:35 -04:00
Rob Rix
302bef15ee 🔥 Data.Amb. 2017-08-06 18:53:29 -04:00
Rob Rix
48e7737268 Merge branch 'master' into ghc-8.2.1 2017-08-04 12:36:15 -04:00
Rob Rix
69892a8dc9 Stub in a module for ambiguous data. 2017-08-03 16:58:23 -04:00
Rob Rix
2529288f87 Merge branch 'master' into requiem-for-a-protolude 2017-08-03 11:51:09 -04:00
Yuki Izumi
bcf6b5b45e Use cmark-gfm package 2017-08-03 17:22:40 +10:00
Timothy Clem
fa3523d020 Merge branch 'master' into exit-status 2017-07-31 12:45:41 -07:00
Timothy Clem
1ed5d718f6 Merge branch 'master' into exit-status 2017-07-31 11:00:01 -07:00
Timothy Clem
87b2662b02 Log process ID 2017-07-31 08:56:17 -07:00
Rob Rix
e53adbd247 Merge branch 'master' into output-typeclass 2017-07-31 11:05:04 -04:00
Rob Rix
987bfa2af0 🔥 the test component’s dependency on protolude. 2017-07-31 09:31:38 -04:00
Rob Rix
5ff3ea09cc Don’t depend on protolude. 2017-07-31 09:30:06 -04:00
Timothy Clem
4ecbf51763 Extract Semantic.Log 2017-07-28 17:07:48 -07:00
Rick Winfrey
aaa8713b96 🔥 FDocs 2017-07-28 16:12:20 -07:00
Rob Rix
06ed68786f Merge branch 'requiem-for-a-protolude' into ghc-8.2.1 2017-07-28 14:42:07 -04:00
Rob Rix
7da8799e08 🔥 Prologue & protolude. 2017-07-28 14:37:02 -04:00
Rob Rix
aa3b450e0e Remove the FDocs. 2017-07-28 14:02:14 -04:00
Rob Rix
acb35a5869 Stub in a module for an output typeclass. 2017-07-28 11:11:30 -04:00
Rob Rix
232b345fda Merge branch 'master' into ghc-8.2.1 2017-07-28 10:17:29 -04:00
Rob Rix
cb40e74bdc 🔥 the C package. 2017-07-27 17:14:54 -04:00
Rob Rix
0978826498 🔥 C term assignment. 2017-07-27 17:14:40 -04:00
Rob Rix
f364dd4a0b Merge branch 'simpler-monolithic-syntax' into ghc-8.2.1 2017-07-24 11:41:56 -04:00
Rob Rix
69b9b1d6be Pass Messages over the queue with the current time. 2017-07-23 14:12:13 -04:00
Rob Rix
3ba14400f4 Use the simple build type. 2017-07-23 10:34:30 -04:00
Rob Rix
b51da4519e Log from a serializing background thread. 2017-07-21 12:13:50 -04:00
joshvera
de2146a1cd Merge 'master' into json 2017-07-20 12:35:34 -04:00
joshvera
c513e6e34b Merge origin/master 2017-07-19 17:26:22 -04:00
joshvera
381d5e741f Add some structure to JSON.Syntax 2017-07-19 15:17:00 -04:00
joshvera
3f6c71b3a4 Add json grammar module 2017-07-17 12:52:50 -04:00
joshvera
7078fb84f8 Add json package dep 2017-07-17 12:34:14 -04:00
Rob Rix
ed9b00cc90 🔥 rangesAndWordsFrom. 2017-06-24 10:41:32 -04:00
Rob Rix
84c7029dd8 Stub in a Blob module. 2017-06-24 10:00:40 -04:00
Rob Rix
fc09d74b73 Rename the Source module to Data.Source. 2017-06-24 09:59:41 -04:00
Rob Rix
1edc6a2718 Rename the Range module to Data.Range. 2017-06-24 09:46:28 -04:00
Rob Rix
6e7122e09a Rename the SourceSpan module to Data.Span. 2017-06-24 09:41:51 -04:00
Rob Rix
1ed59d3fa9 Set -O2 in profile, threadscope, and CI builds only. 2017-06-15 12:00:01 -04:00
Rob Rix
c659f413f6 Would you just look at all that 🔥 2017-06-15 11:56:10 -04:00
Rob Rix
992ef93c0b Git gone. 2017-06-14 17:47:31 -04:00
Rob Rix
b71f711102 This is a nice linker you have here. It’d be a shame if anything were to happen to it. 2017-06-14 17:35:50 -04:00
Rob Rix
826461e8e2 🔥 text-icu. 2017-06-14 17:34:26 -04:00
Rob Rix
17b8fd2636 Merge branch 'master' into union-unity 2017-06-08 11:52:56 -04:00
Rob Rix
8284bccbfe 🔥 Data.Functor.Union. 2017-06-08 11:43:18 -04:00
Rob Rix
a60f9954f4 Stub in a Markup module. 2017-06-07 19:11:03 -04:00
Rob Rix
28ee63a046 Stub in a module for Markdown assignment. 2017-06-07 16:18:49 -04:00
Rob Rix
08fea4f15c Stub in a module for Task. 2017-05-29 13:11:17 -04:00
Rob Rix
d40f45acd5 Merge branch 'master' into python-assignment 2017-05-19 17:35:40 -04:00
Rob Rix
8ab1c25f30 Output the error message in red. 2017-05-19 16:03:44 -04:00
Rick Winfrey
45eecfa190 Merge branch 'master' into python-assignment 2017-05-19 10:47:28 -07:00
Timothy Clem
b5ad87a207 Merge branch 'master' into diff-parse-stdin 2017-05-19 09:17:45 -07:00
Rob Rix
6d2e115da7 Stub in a module for syntax algebras. 2017-05-19 09:13:03 -04:00
Timothy Clem
a518a4ad19 Use These to enforce patch style valid input of before/after 2017-05-18 16:45:37 -07:00
Rick Winfrey
88d95bedff Add Language.Python.Grammar 2017-05-17 12:32:07 -07:00
Rob Rix
83999794f9 Stub in a Ruby grammar module. 2017-05-17 14:08:54 -04:00
Rob Rix
64551e1327 Merge branch 'master' into 🔥-javascript 2017-05-17 13:17:29 -04:00
Rob Rix
2b3d52db0c Don’t link against the javascript package. 2017-05-17 12:52:13 -04:00
Rob Rix
68a422b25a 🔥 Language.JavaScript. 2017-05-17 12:48:43 -04:00
Rob Rix
7f72974e27 🔥 the summary renderer. 2017-05-17 12:32:17 -04:00
Rick Winfrey
2e2adfb1ec Add languages/python 2017-05-11 16:45:05 -07:00
Rob Rix
f13e4511bf 🔥 the dependencies on blaze. 2017-05-04 10:11:21 -04:00
Rob Rix
9c2b7dfbe0 🔥 Renderer.Split. 2017-05-04 10:10:45 -04:00
Timothy Clem
12948181c5 Merge remote-tracking branch 'origin/master' into clean-parse-and-diff-interface 2017-04-25 09:02:41 -07:00
joshvera
7395e88ab0 Remove Data.RandomWalkSimilarity 2017-04-24 15:53:11 -04:00
Josh Vera
ed8b07e64b Merge branch 'master' into clean-parse-and-diff-interface 2017-04-24 12:03:09 -04:00
Josh Vera
afc4790383 Merge branch 'master' into rws-effect 2017-04-24 11:53:26 -04:00
Timothy Clem
980333f40d WIP - optimize concurrency 2017-04-21 15:40:37 -07:00
Timothy Clem
d5b9463a56 Collapse Parser.Language back into Semantic 2017-04-21 14:20:30 -07:00
Timothy Clem
f51798e4c8 Turn parseBlob tests back on in new Spec 2017-04-21 14:12:00 -07:00
Timothy Clem
19e87dd523 Put both diff and parse rendering back together 2017-04-20 15:13:28 -07:00
Rob Rix
33f41f5bf0 Merge branch 'master' into rws-effect 2017-04-20 15:26:11 -04:00
Rob Rix
085839aabf Merge branch 'master' into ruby-assignment-a-la-carte 2017-04-20 15:25:34 -04:00
Timothy Clem
389bfaf220 WIP - new renderer achitecture 2017-04-20 11:00:02 -07:00
Timothy Clem
04f7f4b1f5 Start to build new interface for semantic 2017-04-19 16:33:27 -07:00
Timothy Clem
8eb4d436e0 s/Semantic/SemanticCmdLine 2017-04-19 14:22:24 -07:00
Timothy Clem
18e81adb14 Start to make a clean delineation about command function that use git or the fs 2017-04-19 09:45:11 -07:00
Timothy Clem
eb9547fb25 Tease apart file reading and transcoding 2017-04-19 09:12:19 -07:00
Rob Rix
ccad5c275e Update the tests. 2017-04-18 11:06:24 -04:00
joshvera
982bc83cd2 Merge remote-tracking branch 'origin/master' into rws-effect 2017-04-13 12:30:15 -04:00
Rob Rix
00b1aed9a1 Merge branch 'master' into ruby-production-type 2017-04-13 11:57:14 -04:00
Timothy Clem
4d4eb5b22d Bump to 0.3.0 2017-04-12 13:32:33 -07:00
Timothy Clem
3704773965 Merge remote-tracking branch 'origin/master' into subparsers 2017-04-12 12:55:11 -07:00
Rob Rix
eb8d0e3c19 Add a go syntax module & grammar datatype. 2017-04-12 10:53:04 -04:00
Rob Rix
be9c4a42ff Add a typescript syntax module & grammar datatype. 2017-04-12 10:51:31 -04:00
Rob Rix
bacba50ec5 Define the Grammar datatype using TemplateHaskell. 2017-04-11 11:50:59 -04:00
joshvera
9ec24e646c Merge remote-tracking branch 'origin/master' into rws-effect 2017-04-11 11:27:03 -04:00
Timothy Clem
6e3af1b75f SemanticDiff.hs => Semantic.hs and smoke test specs 2017-04-10 17:10:34 -07:00
Timothy Clem
c862b7bcf5 Remove benchmark target 2017-04-10 15:04:45 -07:00
joshvera
999cfbc57c Add SES effect 2017-04-07 14:44:37 -04:00
Rob Rix
8e0fa11fff Merge branch 'master' into syntax-a-la-carte 2017-04-07 12:41:12 -04:00
Rob Rix
76240b1d67 Refocus the existing assignment specs. 2017-04-07 12:21:45 -04:00
Rob Rix
efb43890f3 Stub in a module for syntax assignment. 2017-04-07 11:38:27 -04:00
Rob Rix
ebb97d8a75 Stub in a module for a generic Show1. 2017-04-06 11:34:50 -04:00
Rob Rix
83d0248500 Stub in a module for tests of Ruby syntax assignment. 2017-04-06 10:09:12 -04:00
Rob Rix
28acaef678 Stub in a module for Ruby syntax. 2017-04-05 13:59:03 -04:00
Rob Rix
1b97a01bfb Merge branch 'master' into syntax-a-la-carte 2017-04-05 13:27:08 -04:00
Timothy Clem
275d413f96 Change binary name to just 'semantic' 2017-04-05 09:30:25 -07:00
Rob Rix
e962b27a3c Stub in a module for a Command spec. 2017-04-05 11:04:15 -04:00
Rob Rix
0762ff3408 Define a combinator to run a number of commands concurrently. 2017-04-04 15:46:51 -04:00
Rob Rix
b4d72cc62c Evaluate diffs in parallel. 2017-04-04 10:57:18 -04:00
Rob Rix
e73ff7370f 🔥 the dependency on async-pool. 2017-04-03 22:46:41 -04:00
Rob Rix
76d5d0f5a6 🔥 Command.Diff. 2017-04-03 15:59:32 -04:00
Rob Rix
f5a41f97cd alternateObjectDirs are FilePaths. 2017-04-03 15:26:28 -04:00
Rob Rix
e7e2b7edb7 Stub in a Command module. 2017-03-31 11:52:07 -04:00
Rob Rix
1fbe6a8319 Rename ParseCommand to Command.Parse. 2017-03-31 11:50:36 -04:00
Rob Rix
32b9dd9f16 Rename DiffCommand to Command.Diff. 2017-03-31 11:48:21 -04:00
Rob Rix
8bbdd4ad0f Stub in a module for type syntax. 2017-03-29 16:23:02 -04:00
Rob Rix
8e51ebff2d Stub in a module for expression syntax. 2017-03-29 15:47:12 -04:00
Rob Rix
2558b4c3f1 Merge remote-tracking branch 'origin/master' into syntax-a-la-carte 2017-03-29 15:42:29 -04:00
joshvera
461b1c665b Merge remote-tracking branch 'origin/master' into typescript 2017-03-29 10:17:53 -04:00
joshvera
63bbb9022c remove newline 2017-03-28 17:47:15 -04:00
Rob Rix
5efe89fbd3 🔥 LambdaCase from the default extensions list. 2017-03-28 15:26:10 -04:00
joshvera
3e0efb7b61 Merge remote-tracking branch 'origin/batch-copy-terms' into typescript 2017-03-28 15:07:15 -04:00
Rick Winfrey
eaa5873ed7 Merge branch 'master' into gitmon-support 2017-03-27 15:38:18 -07:00
joshvera
48d46489d1 Merge remote-tracking branch 'origin/master' into typescript-mapping 2017-03-27 12:05:06 -04:00
Rob Rix
17c33488f8 Stub in a module for declarations. 2017-03-26 17:31:50 -04:00
Rob Rix
c626f372ed Stub in a module for declarations. 2017-03-26 17:31:10 -04:00
Rob Rix
8b2ac42788 Stub in a module for comment syntax. 2017-03-26 15:34:44 -04:00
Rob Rix
0d969f682c Stub in a module to hold types for literal syntax, e.g. array/string/object/hash/symbol/number literals. 2017-03-26 15:30:33 -04:00
Rob Rix
f480bd5ad7 Stub in a module for an n-ary union of type constructors. 2017-03-26 12:05:49 -04:00
Rob Rix
8a5a1dc178 Stub in a module for à la carte Syntax. 2017-03-26 12:02:40 -04:00
Rob Rix
e507750069 Merge branch 'master' into custom-setup-stanza 2017-03-24 14:26:25 -04:00
Timothy Clem
c66631cfa6 Add custom-setup stanza to fix build warnings 2017-03-24 10:43:23 -07:00
Rick Winfrey
3b8553f912 Trying to surface error 2017-03-23 17:05:57 -07:00
Rick Winfrey
f60f90045d Remove "\n" 2017-03-23 16:12:11 -07:00
Rob Rix
093f3b9508 Stub in a spec for Myers’ algorithm. 2017-03-20 11:25:58 -04:00
joshvera
132208d2c9 we just say TypeScript 2017-03-15 17:28:48 -04:00
joshvera
baf3fb3da2 Add typescript bindings 2017-03-15 17:20:46 -04:00
Rob Rix
93b9e285c2 SES.Myers 
Stub in a module for Myers’ algorithm.
 2017-03-09 10:10:13 -05:00
Timothy Clem
68d1f1cd97 Fix up tests to use ByteString too 2017-03-08 13:56:08 -08:00
Timothy Clem
32809f158a Merge remote-tracking branch 'origin/master' into gitmon-support 2017-03-06 07:32:05 -08:00
Rick Winfrey
0954699b12 Add happy path GitmonClient spec 2017-03-01 14:11:16 -08:00
Rob Rix
36e0d7f5d2 Merge branch 'master' into gitmon-support 2017-03-01 10:51:23 -05:00
Rob Rix
2cd497ae17 Merge branch 'master' into rework-io 2017-03-01 10:51:16 -05:00
Timothy Clem
fff9b6d3ef Refactor IO back out into Source and SemanticDiff 2017-02-28 15:45:38 -08:00
Timothy Clem
bfe1181acb Move Diff and Source Specs 2017-02-28 15:35:43 -08:00
Timothy Clem
4c3feecc77 Add ParseCommandSpec to validate parse output 2017-02-28 15:32:04 -08:00
Timothy Clem
1d9436bb14 Collapse all these tests into DiffCommandSpec 2017-02-28 15:00:56 -08:00
Timothy Clem
a478b10593 Test that all output formats do product output 2017-02-28 14:55:57 -08:00
Timothy Clem
dcfdcf78d3 Fold DiffSummary into Renderer.Summary 2017-02-28 14:09:57 -08:00
Timothy Clem
e3bdb6b95b Extract SemanticDiff.IO and clearly delineate program commands 2017-02-28 13:43:01 -08:00
Rick Winfrey
712687656d Merge branch 'master' into gitmon-support 2017-02-28 11:41:57 -08:00
Rob Rix
83dd3d5621 Merge branch 'master' into interpreter-decomposition 2017-02-27 15:22:38 -05:00
Rick Winfrey
024871b2f0 Merge branch 'master' into gitmon-support 2017-02-27 10:13:56 -08:00
Timothy Clem
763ab482cc 🔥 the integration-tests and generate-test-cases 2017-02-27 08:50:54 -08:00
Timothy Clem
9d28028fc6 Remove unordered-containers, swap to hiding for hspec import 2017-02-27 08:35:45 -08:00
Timothy Clem
2722cc8b67 Fill in sad path test cases 2017-02-27 08:31:27 -08:00
Timothy Clem
980b6c95bc First pass at full stack specs 2017-02-24 16:46:22 -08:00
Rob Rix
2f73758dfe Define Algorithm as the Freer monad of AlgorithmF. 2017-02-24 13:28:44 -05:00
Rick Winfrey
e02356b269 Add yaml to parse /proc/self/io as a Yaml file to calculate disk read / write stats 2017-02-23 14:03:01 -08:00
Rick Winfrey
40e3eddfa1 Add System.Clock and calculate realTime clock stats 2017-02-23 14:01:53 -08:00
Timothy Clem
378d4b3702 Merge branch 'master' into interpreter-decomposition 2017-02-23 13:03:06 -08:00
Timothy Clem
02c2a7aac9 Remove corpus specs and fixtures entirely 2017-02-23 09:19:30 -08:00
Rob Rix
fa42615dc7 Merge remote-tracking branch 'origin/master' into interpreter-decomposition 2017-02-23 12:00:57 -05:00
Timothy Clem
0cf38c583c Assert to summary json output 2017-02-22 20:05:48 -08:00
Timothy Clem
52e4dd435a Test expression output (based on corpus spec strategy) 2017-02-22 08:34:31 -08:00
Rob Rix
e31191f4fa Stub in a module for a generic Eq1 instance. 2017-02-21 16:00:36 -05:00
Rick Winfrey
76fe7eba61 Merge branch 'master' into gitmon-support 2017-02-17 16:11:41 -08:00
Timothy Clem
4e51665e50 Add .hspec for depths default, make sure hspec version supports 2017-02-17 08:27:51 -08:00
Timothy Clem
aa84bb40d6 Merge branch 'master' into hold-on-to-your-butts 2017-02-15 08:34:18 -08:00
Rick Winfrey
7e92856934 Add network and GitmonClient to cabal file 2017-02-14 17:42:49 -08:00
Timothy Clem
99ce07034b Merge branch 'master' into dedupe-added-removed-methods 2017-02-14 12:05:30 -08:00
Timothy Clem
1facca0b50 Add failing toc summary test and refactor removeDupes 2017-02-14 11:29:24 -08:00
Rob Rix
6edd2fbaf4 Print failed examples nicely. 2017-02-14 09:57:21 -05:00
Rob Rix
e63de49d12 Move generate-test-cases into its own package. 
When building a component, `stack` also builds all of the executables in the same package. This means that profiling iterative changes to semantic-diff also involve compiling, linking, and copying generate-test-cases. By moving it to its own package, we’re able to avoid that penalty.
 2017-02-13 16:22:16 -05:00
Rob Rix
5c17ab5149 Restore AlignmentSpec to its former “glory.” 2017-02-13 12:17:46 -05:00
Rob Rix
0f0e65043e Give up and disable AlignmentSpec. 2017-02-09 16:45:11 -05:00
Rob Rix
61c236b6ef Merge branch 'master' into feature-vector-optimizations 2017-02-06 12:18:14 -05:00
joshvera
0f2995a5bd Add -A4m and -n2m GC flags 
Sets the allocation area size to 4Mb and divides the allocation areas into chunks of 2mb. During execution, when a process exhausts its current chunk, it is given another chunk from the pool until the pool is exhausted, at which point a collection is triggered. This allows the processors to make better use of available allocation area, even when cores allocate at different rates.
 2017-02-03 17:45:57 -05:00
joshvera
9809e5a999 Revert "Add -A4M -n2m to rtsopts" 
This reverts commit bd8a8efeadcfae3f098f97a1bf6c9357555f05cb.
 2017-02-03 17:31:24 -05:00
joshvera
d8d732c1a2 Add -A4M -n2m to rtsopts 2017-02-03 17:06:59 -05:00
joshvera
f9400943a4 Move -fprof-auto to ghc-prof-options 
Inserting cost centers can prevent inlining, so remove it from ghc-options
 2017-02-03 16:53:16 -05:00
Rob Rix
466c39f920 🔥 the dependency on QuickCheck. 2017-02-03 16:23:49 -05:00
Rob Rix
7e1bd55c64 Generate an empty array. 2017-02-03 15:57:05 -05:00
Rob Rix
72a32ff289 Compute random numbers using the Mersenne twister. 2017-02-03 15:27:37 -05:00
Rob Rix
dda587e86d Represent feature vectors using boxed Arrays. 2017-02-03 13:32:52 -05:00
Rick Winfrey
eda990ad7b Remove tree-sitter-parsers; replace with language specific packages 
- This allows us to migrate to haskell-tree-sitter, which provides an
open source git repository that contains no language bindings, but
provides the ffi for working with tree sitter.
- Additionally now semantic-diff uses language specific packages found
with the languages dir. Each language package contains a vendored
version of its associated tree-sitter project (i.e. language/ruby
contains tree-sitter-ruby). The implication is that generating a
language’s updated parser.c does not require a re-compilation of all
languages parser.c files.
 2017-01-30 14:03:22 -08:00
Timothy Clem
02f87738c0 Plumb in cmd line option for new toc output format 2017-01-23 10:49:48 -08:00
Rob Rix
01347e4af9 Go back to QuickCheck’s RNG for RWS. 
Changing the RNG changes the vectors which changes the similarities which changes the results which breaks the integration tests. See also #778.
 2017-01-10 16:29:07 -05:00
Rob Rix
d2709f6cab First pass at generative testing using leancheck. 2017-01-09 16:12:25 -05:00
Rob Rix
89e1893462 🔥 semantic-diff’s linkage against QuickCheck. 2017-01-09 15:22:54 -05:00
Rob Rix
b4cd153a43 Generate random walks with mkStdGen. 2017-01-09 15:16:06 -05:00
Rob Rix
1ee9a60039 🔥 Arbitrary instances. 2017-01-09 14:59:04 -05:00
Rob Rix
21f0b8b152 🔥 {Term,Diff}.Arbitrary. 2017-01-09 14:46:47 -05:00
Rob Rix
a86db572f6 Integrate LeanCheck into Hspec. 2017-01-07 23:16:27 -05:00
Rob Rix
7154708015 Stub in an Hspec/LeanCheck integration module. 2017-01-05 16:41:23 -05:00
Rob Rix
c8da9c5f31 Define a module for a Listable instance over Text. 2017-01-05 15:35:01 -05:00
Rob Rix
22248f26bf Stub in a Listable module. 2017-01-05 14:34:45 -05:00
Rob Rix
c18217567e Depend on leancheck. 2017-01-05 14:32:20 -05:00
Timothy Clem
772265e0bb Rename s/test/sexpression 2016-12-09 11:42:32 -08:00
Timothy Clem
686b0dffff Add new sexp style test output for diffs 2016-12-09 08:31:13 -08:00
Rick Winfrey
bab0debf6d Merge branch 'master' into parser-option 2016-11-22 15:19:30 -06:00
Josh Vera
75daa6d42e Merge branch 'master' into go-parser 2016-11-22 14:07:33 -05:00
Rick Winfrey
bbdad9b2ae Add simple count example 
- Shows how a fixed point functor works with a base functor in isolation
- Shows cata, ana, hylo and para examples
 2016-11-21 10:47:02 -06:00
Rick Winfrey
255490d680 Add FDoc.RecursionSchemes to cabal file 2016-11-17 16:17:26 -06:00
Rick Winfrey
7efc0dad6d Add leafTermF documentation function 
- Describe the shape of CofreeF
- Describe helper functions
 2016-11-17 14:47:08 -06:00
joshvera
8dbac2c98a switch statements 2016-11-10 16:19:53 -05:00
Timothy Clem
b62deb19bf Show diffs in test cases. sha1, sha2 -> shas 2016-11-03 15:41:59 -07:00
Rick Winfrey
b928f94b05 🔥 Term.Instances 2016-11-03 16:49:41 -05:00
Rick Winfrey
a580fdcac0 Export Parse 2016-11-02 20:12:28 -05:00
Rick Winfrey
cfbbc27be7 Add aeson-pretty to build-depends for semantic-diff 2016-11-02 20:12:21 -05:00
joshvera
0d58e97070 Merge remote-tracking branch 'origin/master' into go-parser 2016-11-02 15:25:50 -04:00
Rick Winfrey
1cd998ff88 Merge branch 'master' into syntax-term-to-json 2016-11-01 17:58:15 -05:00
Rick Winfrey
4128798b34 Add Term.Instances to cabal file 2016-11-01 16:39:11 -05:00
joshvera
05f3929b6a Merge remote-tracking branch 'origin/master' into go-parser 2016-11-01 12:48:15 -04:00
Timothy Clem
6cac25d2a9 Merge remote-tracking branch 'origin/master' into ruby 2016-11-01 08:50:54 -07:00
Rick Winfrey
532a29aeec Rename SemanticGitDiffSpec.hs -> IntegrationFormatSpec.hs 2016-10-27 21:09:04 -05:00
Rick Winfrey
4ac2608749 Add HashMap 2016-10-27 20:23:31 -05:00
Rick Winfrey
203836fe74 Add effects to semantic-diff ⚡ 2016-10-26 16:53:50 -05:00
Timothy Clem
c213e85e9c Allow running integration tests only for one language 
The --test-arguments can be passed like this:

stack build :integration-test --test-arguments "--language=ruby"

--language is naively parsed right now just to avoid getting in the way
of hspec's option parsing.
 2016-10-19 10:15:58 -07:00
Timothy Clem
4b42939bf3 Basics of Ruby termConstructor 2016-10-19 08:30:46 -07:00
joshvera
72b43a1a05 Add Language.Go module 2016-10-17 15:39:25 -04:00
joshvera
1c3fe8e944 Add StrictData to semantic-diff library 2016-10-12 18:28:46 -04:00