Patrick Thomson
59c6b5ecbc
Fix commented-out changes
2019-08-16 15:16:00 -04:00
Patrick Thomson
655fdbf3f3
Clean up language pragmas
2019-08-16 14:55:03 -04:00
Patrick Thomson
909139e552
fix errors
2019-08-16 14:51:14 -04:00
Patrick Thomson
2a88e4b31f
bad example but it passes the tests!
2019-08-16 14:48:21 -04:00
Patrick Thomson
daa36360a6
add failing tests
2019-08-16 13:24:11 -04:00
Patrick Thomson
dde59eb626
jq-based test suite works
2019-08-16 13:20:08 -04:00
Patrick Thomson
90dd0b4d33
Trying to bring up this test harness
2019-08-16 12:34:56 -04:00
Timothy Clem
0aab5ebd55
Replace supportedExts
2019-08-15 15:48:17 -07:00
Timothy Clem
2510df0e23
Switch over to using lingo
2019-08-14 16:01:55 -07:00
Max Brunsfeld
5d62300ba5
Add comment about why JS and JSX are handled with the TSX parser
2019-08-14 10:17:57 -07:00
Max Brunsfeld
233a51cf62
Use TSX parser instead of Typescript parser for JavaScript and JSX
2019-08-14 10:08:25 -07:00
Patrick Thomson
a6c073895c
Merge pull request #225 from github/profiling-script
...
Add script to simplify profiling.
2019-08-14 11:22:11 -04:00
Patrick Thomson
5b442bd7ff
Merge remote-tracking branch 'origin/master' into python-test-programs
2019-08-13 16:39:12 -04:00
Patrick Thomson
3fb642c06d
Experiment with LLVM-style directives for test assertions
2019-08-13 16:35:11 -04:00
Patrick Thomson
0edd48b1f8
fix ambiguous cabal invocation
2019-08-13 16:22:24 -04:00
Patrick Thomson
dc47e90c00
Minimum viable patch such that all stage-1 fixtures compile
2019-08-13 16:19:20 -04:00
Patrick Thomson
783ec969b8
build with Travis
2019-08-13 14:19:37 -04:00
Patrick Thomson
c6b386907f
vendoring, alas
2019-08-13 14:18:55 -04:00
Patrick Thomson
5acd975b1b
trying to get test cases in shape
2019-08-13 14:01:50 -04:00
Patrick Thomson
b4e24720d4
sections 3 and 4
2019-08-13 11:48:02 -04:00
Patrick Thomson
e5d6a4a7c4
Merge branch 'master' into profiling-script
2019-08-12 15:33:54 -04:00
Patrick Thomson
fb1b145bd7
Add script to simplify profiling.
...
This script is useful in that it takes care of remembering past
results and imvoking profiteur/hp2pretty/etc. We had this back in the
day, but it didn't make the transition to the new repository.
2019-08-12 15:03:08 -04:00
Patrick Thomson
c95befdb22
Add tests for wave 2
2019-08-12 15:01:55 -04:00
Patrick Thomson
b8ba99ff12
Move these down a directory.
2019-08-12 14:52:43 -04:00
Patrick Thomson
4229e81dd3
Rename and reorg so that these are in line with the roadmap
2019-08-12 13:17:55 -04:00
Patrick Thomson
613d273699
Merge branch 'master' into property-test-scientific-parser
2019-08-12 12:56:44 -04:00
Rob Rix
cf76b3cc5f
Merge pull request #224 from gregberns/patch-1
...
Broken Links in Docs
2019-08-09 09:36:36 -04:00
Greg Berns
c8e2f6090d
Broken Links in Docs
...
Two links are broken. These seem to be the corrected ones.
2019-08-09 01:05:51 -07:00
Patrick Thomson
95b7d5e065
Add another Scientific generator and test with it.
2019-08-08 13:55:37 -04:00
Patrick Thomson
c578f767e7
some ideas
2019-08-08 13:23:36 -04:00
Patrick Thomson
1dee6ae93c
Some more tests and descriptions for Scientific generators.
2019-08-08 11:44:57 -04:00
Patrick Thomson
f9aa9923b7
Port hspec tests to tasty-hunit and institute simple property test.
2019-08-07 11:26:54 -04:00
Patrick Thomson
8a8c2baceb
Merge pull request #222 from github/source-coverage-guarantees
...
Source coverage “guarantees”
2019-08-07 10:47:30 -04:00
Rob Rix
768f642bd0
Merge branch 'master' into source-coverage-guarantees
2019-08-06 16:54:45 -04:00
Rob Rix
3106bd2ddd
Note a problem with coverage testing.
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2019-08-06 16:50:45 -04:00
Rob Rix
668efbbd4c
Tidy up the imports.
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2019-08-06 16:49:36 -04:00
Rob Rix
1b427b995b
Revert "Test the coverage of source values."
...
This reverts commit b658804193
2019-08-06 16:46:33 -04:00
Rob Rix
7251c1c4b4
Generate empty source values 20% of the time.
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2019-08-06 16:38:41 -04:00
Rob Rix
b658804193
Test the coverage of source values.
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2019-08-06 16:38:27 -04:00
Rob Rix
0af81b1fef
Label using classify.
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2019-08-06 16:29:01 -04:00
Rob Rix
3beda88f32
Move the label call into summarize.
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2019-08-06 16:23:35 -04:00
Rob Rix
698497b1a0
Tidy up the sourceLineRanges tests using prop.
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2019-08-06 16:22:38 -04:00
Rob Rix
becf320762
Merge pull request #219 from github/re-name
...
Rename User to Name
2019-08-06 15:18:50 -04:00
Rob Rix
fc2233feea
Merge branch 'master' into re-name
2019-08-06 15:12:32 -04:00
Patrick Thomson
f04a69af24
Merge pull request #211 from github/scope-graphs
...
Scope graphs
2019-08-06 15:12:16 -04:00
Rob Rix
d3726fa9e2
Merge branch 'scope-graphs' into re-name
2019-08-06 15:08:56 -04:00
Rob Rix
0515d7c11d
Let-bind the function extending each value in the cell.
2019-08-06 15:05:15 -04:00
Rob Rix
c30e5ff473
Merge branch 'master' into scope-graphs
2019-08-06 14:55:39 -04:00
Patrick Thomson
3f77dd6507
Merge pull request #209 from github/generalize-analyses-over-the-term-type
...
Generalize analyses over the term type
2019-08-06 14:48:35 -04:00
Rob Rix
8ad510d274
Merge branch 'master' into generalize-analyses-over-the-term-type
2019-08-06 14:38:30 -04:00
