29136 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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	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
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	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
Patrick Thomson	5521d7da94	Merge pull request #208 from github/factor-annotations-out-of-core ... Factor annotations out of Core	2019-08-06 14:31:59 -04:00
Rob Rix	514703dc3f	Merge branch 'master' into factor-annotations-out-of-core	2019-08-06 14:09:35 -04:00
Rob Rix	735340beb1	Merge pull request #216 from github/the-point-of-no-carriage-return ... Source generators produce multiline strings	2019-08-06 14:09:12 -04:00
Rob Rix	f0ab3f1c91	Merge branch 'master' into factor-annotations-out-of-core	2019-08-06 14:07:22 -04:00
Rob Rix	f7547ce911	Merge branch 'master' into the-point-of-no-carriage-return	2019-08-06 14:01:53 -04:00
Rob Rix	368fc7b6df	Merge pull request #204 from github/sequence-values-in-the-abstract-domain ... Sequence values in the abstract domain	2019-08-06 14:00:05 -04:00
Rob Rix	c2e620ac6f	Haddock doesn’t like this.	2019-08-06 13:52:32 -04:00
Patrick Thomson	4aaf92fa66	Merge branch 'master' into the-point-of-no-carriage-return	2019-08-06 13:48:21 -04:00
Rob Rix	8d08b1a26a	Merge branch 'master' into sequence-values-in-the-abstract-domain	2019-08-06 13:45:57 -04:00
Rob Rix	7482c84d9b	Merge pull request #220 from github/module-laws ... Module laws	2019-08-06 13:45:49 -04:00
Rob Rix	d600246663	📝 the Semigroup instance for Concrete.	2019-08-06 13:44:21 -04:00
Rob Rix	82cb7e49b0	📝 the Semigroup instance for Term Monotype a.	2019-08-06 13:43:37 -04:00
Rob Rix	559a7aa59c	📝 the Semigroup use.	2019-08-06 13:41:45 -04:00
Rob Rix	dbf894163a	Merge branch 'master' into sequence-values-in-the-abstract-domain	2019-08-06 13:37:20 -04:00
Rob Rix	5d47b21977	Merge branch 'master' into module-laws	2019-08-06 13:34:36 -04:00
Patrick Thomson	d2d1869d08	No orphans in this file anymore!	2019-08-06 13:33:18 -04:00
Rob Rix	fb1c27b595	Merge pull request #203 from github/records ... Records	2019-08-06 13:32:56 -04:00
Patrick Thomson	6fe27108a3	No need to pull in QC; Hedgehog's label can do this.	2019-08-06 13:27:58 -04:00
Rob Rix	372ed98b5e	Avoid rolling our own string literal parser. ... 🎩 @patrickt.	2019-08-06 12:25:05 -04:00
Rob Rix	78bd32e0b0	Don’t prefix :<-.	2019-08-06 12:23:01 -04:00
Rob Rix	b80dd5381a	Pull the rhs into a where clause.	2019-08-06 12:18:34 -04:00
Rob Rix	28404ae11e	foldrWithKey. ... 🎩 @patrickt.	2019-08-06 12:12:11 -04:00
Rob Rix	dd6d9a0209	Type application.	2019-08-06 12:07:01 -04:00
Rob Rix	0d2f05a8c7	📝 the parameters to unprefixEither.	2019-08-06 12:05:22 -04:00
Rob Rix	7c686d1ccb	📝 unprefixEither.	2019-08-06 12:04:22 -04:00