github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Code Issues Projects Releases Wiki Activity
29,138 Commits 19 Branches 16 Tags 46 MiB
5763cfdfb6
Commit Graph

29138 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
5763cfdfb6 Use tasty for testing instead 2019-08-19 10:34:55 -07:00
Timothy Clem
147604e59d Streamline manually language parsing 2019-08-16 14:06:49 -07: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
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