1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Commit Graph

509 Commits

Author SHA1 Message Date
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
Rob Rix
093f3b9508 Stub in a spec for Myers’ algorithm. 2017-03-20 11:25:58 -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
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
Rob Rix
83dd3d5621 Merge branch 'master' into interpreter-decomposition 2017-02-27 15:22:38 -05: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
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
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
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