Rob Rix
|
99b1287f2c
|
Decrease the frequency of newlines & carriage returns.
|
2019-08-02 15:59:53 -04:00 |
|
Rob Rix
|
e9eecddca5
|
Correct the sourceLineRanges test.
|
2019-08-02 15:56:25 -04:00 |
|
Rob Rix
|
4b5215a9cf
|
Reformat for clarity.
|
2019-08-02 15:42:56 -04:00 |
|
Rob Rix
|
f2318537c9
|
Summarize with the number of lines.
|
2019-08-02 15:39:02 -04:00 |
|
Rob Rix
|
e986ed0937
|
Spacing.
|
2019-08-02 15:37:50 -04:00 |
|
Rob Rix
|
b5e6aab55b
|
Label cases as empty/non-empty.
|
2019-08-02 15:34:15 -04:00 |
|
Rob Rix
|
258e25409a
|
Run the sourceLineRanges test with QuickCheck.
|
2019-08-02 15:33:58 -04:00 |
|
Rob Rix
|
99df4b384e
|
Select newlines and carriage returns frequently.
|
2019-08-02 14:56:50 -04:00 |
|
Rob Rix
|
ceb4791237
|
Merge branch 'master' into gen-x
|
2019-08-02 14:37:57 -04:00 |
|
Rob Rix
|
919955591d
|
Merge pull request #201 from github/types-as-syntax
Types as syntax
|
2019-08-02 14:37:29 -04:00 |
|
Rob Rix
|
611294b064
|
Merge branch 'master' into types-as-syntax
|
2019-08-02 14:27:56 -04:00 |
|
Rob Rix
|
5179e88079
|
Merge pull request #200 from github/break-hearts-not-builds
Fold over Core without iter
|
2019-08-02 14:27:32 -04:00 |
|
Rob Rix
|
0eb17e3047
|
Merge branch 'master' into break-hearts-not-builds
|
2019-08-01 11:51:05 -04:00 |
|
Timothy Clem
|
d721aadf12
|
Get versions to line up
|
2019-08-01 09:48:13 -06:00 |
|
Rob Rix
|
de7956b547
|
Merge branch 'master' into break-hearts-not-builds
|
2019-08-01 11:29:10 -04:00 |
|
Timothy Clem
|
72b3aed8f0
|
Merge pull request #213 from github/git-ls-tree-fixes
Git ls tree fixes
|
2019-08-01 06:17:50 -07:00 |
|
Timothy Clem
|
4fa9013e92
|
Add a test for other types and modes
|
2019-07-31 15:31:50 -06:00 |
|
Rob Rix
|
1751ad1702
|
Merge branch 'master' into break-hearts-not-builds
|
2019-07-31 14:40:44 -04:00 |
|
Rob Rix
|
ff9e140751
|
Merge pull request #212 from github/from-paths
New options for readBlobsFromGitRepo
|
2019-07-31 14:40:26 -04:00 |
|
Timothy Clem
|
61186c946d
|
++0.7.0.0
|
2019-07-31 09:45:17 -07:00 |
|
Timothy Clem
|
77b6b85d49
|
Properly parse other objects and modes
|
2019-07-31 09:42:05 -07:00 |
|
Timothy Clem
|
3409779b23
|
s/OnlyPaths/IncludePaths
|
2019-07-31 07:37:23 -07:00 |
|
Timothy Clem
|
42028a818f
|
Allow ts-parse command to also accept these
|
2019-07-30 17:36:25 -07:00 |
|
Timothy Clem
|
2b37bc9312
|
New options for readBlobsFromGitRepo
Allows specifying only the paths you want to parse in the repo
|
2019-07-30 17:34:35 -07:00 |
|
Rob Rix
|
901014d6ac
|
🔥 a redundant FIXME.
|
2019-07-30 09:38:09 -04:00 |
|
Rob Rix
|
255cddb249
|
Merge branch 'generalize-analyses-over-the-term-type' into scope-graphs
|
2019-07-30 09:24:01 -04:00 |
|
Rob Rix
|
e58dea96fb
|
Factor out how we extend bindings.
|
2019-07-30 09:21:03 -04:00 |
|
Rob Rix
|
100d6a18ff
|
Extend the scope graph on assignment.
|
2019-07-30 09:14:32 -04:00 |
|
Rob Rix
|
196f2bff17
|
Add declarations to records.
|
2019-07-29 16:16:46 -04:00 |
|
Rob Rix
|
a73b267ebd
|
Rename Entry to Decl.
|
2019-07-29 16:10:09 -04:00 |
|
Rob Rix
|
ed94104e27
|
Map entries to references.
|
2019-07-29 16:08:56 -04:00 |
|
Rob Rix
|
a4066b9df6
|
Construct scope graphs on deref.
|
2019-07-29 16:07:29 -04:00 |
|
Rob Rix
|
6cb9af299e
|
Correct the Monoid instance for ScopeGraph.
|
2019-07-29 15:51:52 -04:00 |
|
Rob Rix
|
3bf6cb61fd
|
Export ScopeGraph’s constructor & field.
|
2019-07-29 15:51:38 -04:00 |
|
Rob Rix
|
34da6ada5c
|
Rename a couple of copy-pasta’d variables.
|
2019-07-29 15:36:37 -04:00 |
|
Rob Rix
|
a04ccbb08c
|
Write record fields to the heap in the abstract analyses.
|
2019-07-29 13:33:07 -04:00 |
|
Rob Rix
|
c7bee13fd4
|
Generalize scopeGraph over the term type.
|
2019-07-29 13:22:18 -04:00 |
|
Rob Rix
|
3bafa9a8b3
|
Generalize runFile over the term type.
|
2019-07-29 13:21:29 -04:00 |
|
Rob Rix
|
4296244f9e
|
Merge branch 'generalize-analyses-over-the-term-type' into scope-graphs
|
2019-07-29 13:19:51 -04:00 |
|
Rob Rix
|
bd5aea62b3
|
Fix the doctests of the concrete analysis.
|
2019-07-29 13:04:15 -04:00 |
|
Rob Rix
|
0b86f913ee
|
Clean up some language extensions.
|
2019-07-29 12:59:29 -04:00 |
|
Rob Rix
|
e9853c1a3f
|
Avoid allocating a useless cell.
|
2019-07-29 12:58:20 -04:00 |
|
Rob Rix
|
2c28e536e9
|
🔥 the FrameId reader effect.
|
2019-07-29 12:57:44 -04:00 |
|
Rob Rix
|
15e5731d93
|
Generalize concrete over the term types.
|
2019-07-29 12:55:13 -04:00 |
|
Rob Rix
|
da0d780f81
|
Generalize runFile over the term type.
|
2019-07-29 12:54:01 -04:00 |
|
Rob Rix
|
d8175305da
|
Generalize addressStyle over the term type.
|
2019-07-29 12:38:10 -04:00 |
|
Rob Rix
|
bd8f0ca4c1
|
Generalize heapAddressGraph over the term type.
|
2019-07-29 12:37:54 -04:00 |
|
Rob Rix
|
a549039dd3
|
Generalize heapValueGraph over the term type.
|
2019-07-29 12:37:39 -04:00 |
|
Rob Rix
|
021350b6da
|
Generalize heapGraph over the term type.
|
2019-07-29 12:37:25 -04:00 |
|
Rob Rix
|
ea174b2144
|
Generalize runHeap over the term type.
|
2019-07-29 12:36:58 -04:00 |
|