Rob Rix
|
b57bacb302
|
Flatten out the sets in the Heap Show instance.
|
2018-08-14 14:42:26 -04:00 |
|
Rob Rix
|
788afa5a96
|
Define a specialized Show instance for Bindings.
|
2018-08-14 14:41:33 -04:00 |
|
Ayman Nadeem
|
5a40151393
|
evaluate bitwise and
|
2018-08-14 14:24:22 -04:00 |
|
Ayman Nadeem
|
a2dd8f131c
|
evaluate bitwise or
|
2018-08-14 14:20:49 -04:00 |
|
Rick Winfrey
|
3aeead2bfe
|
Merge pull request #2135 from github/clean-per-weeder
Clean up `weeder` warnings
|
2018-08-14 10:42:23 -07:00 |
|
Ayman Nadeem
|
ee4f78b586
|
synchronously handle async await
|
2018-08-14 13:38:30 -04:00 |
|
Rick Winfrey
|
76a91c825d
|
Merge branch 'master' into clean-per-weeder
|
2018-08-14 10:26:44 -07:00 |
|
Ayman Nadeem
|
17c1ccffbc
|
Merge pull request #2128 from github/update-program-analysis-docs
update program analysis docs
|
2018-08-14 11:57:06 -04:00 |
|
Rick Winfrey
|
f9bc7d7a1f
|
Merge branch 'master' into clean-per-weeder
|
2018-08-13 16:22:33 -07:00 |
|
Ayman Nadeem
|
4674a1b98d
|
Merge branch 'master' into update-program-analysis-docs
|
2018-08-13 18:58:31 -04:00 |
|
Rick Winfrey
|
54bc2a9521
|
🔥 unused exports
|
2018-08-13 15:43:23 -07:00 |
|
Rick Winfrey
|
bdeae17ff6
|
🔥 unneeded build-depends
|
2018-08-13 15:43:07 -07:00 |
|
Rick Winfrey
|
00693a54ee
|
Update bench to work again
|
2018-08-13 15:42:42 -07:00 |
|
joshvera
|
75365e9caa
|
Merge remote-tracking branch 'origin/master' into interactive-debugger
|
2018-08-13 16:40:27 -04:00 |
|
Josh Vera
|
2c5c8e624b
|
Merge pull request #2126 from github/update-haskell-tree-sitter
Update haskell tree sitter
|
2018-08-13 16:24:38 -04:00 |
|
Rick Winfrey
|
f6ade968ee
|
Update protofiles
|
2018-08-13 13:11:07 -07:00 |
|
Rick Winfrey
|
27c2ebd519
|
Merge branch 'master' into update-haskell-tree-sitter
|
2018-08-13 13:01:07 -07:00 |
|
Rick Winfrey
|
9e87ea9fc5
|
Update python fixtures
I think this got lost when merging in master
|
2018-08-13 12:48:47 -07:00 |
|
Ayman Nadeem
|
bb71c4543d
|
add evaluatable instance for await
|
2018-08-13 15:18:54 -04:00 |
|
Rob Rix
|
e0c100f8e9
|
Merge pull request #2130 from github/parameterize-evaluate-with-deref-and-allocator-handlers
Specialize Allocator/Deref handlers for the address types
|
2018-08-13 15:16:55 -04:00 |
|
Rick Winfrey
|
62fb9635e0
|
Merge branch 'master' into update-haskell-tree-sitter
|
2018-08-13 11:36:10 -07:00 |
|
Rick Winfrey
|
f0daabaf9a
|
Update go fixtures
|
2018-08-13 11:29:01 -07:00 |
|
Rick Winfrey
|
13dbf02cb6
|
Reduce layering of terms for ParameterList
|
2018-08-13 11:26:09 -07:00 |
|
Rob Rix
|
5665c1ca50
|
Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers
|
2018-08-13 13:34:40 -04:00 |
|
Rob Rix
|
08a29fdf92
|
Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers
|
2018-08-13 13:33:36 -04:00 |
|
Timothy Clem
|
cdbea3932b
|
Merge pull request #2131 from github/update-protos
Update protos from recent (grammar?) changes
|
2018-08-13 09:55:05 -07:00 |
|
Timothy Clem
|
54e8be811e
|
Filling missing Ruby syntaxes
|
2018-08-13 09:13:16 -07:00 |
|
Timothy Clem
|
937241320c
|
Variable is no longer part of Python syntax
|
2018-08-13 08:12:02 -07:00 |
|
Timothy Clem
|
eabb821eff
|
Auto-merged master into update-protos on deployment
|
2018-08-13 07:59:05 -07:00 |
|
Ayman Nadeem
|
5b12d3c43c
|
Merge pull request #2124 from github/eval-instances
add evaluatable instances for sequence expression, void and delete
|
2018-08-13 10:58:58 -04:00 |
|
Timothy Clem
|
23313f83a7
|
Update protos from recent changes
|
2018-08-13 07:55:04 -07:00 |
|
Ayman Nadeem
|
d107446abf
|
re-generate ruby example
|
2018-08-13 10:43:44 -04:00 |
|
Rob Rix
|
f0c5c8222b
|
Stop the doctests from freaking out.
|
2018-08-13 10:30:58 -04:00 |
|
Ayman Nadeem
|
b54f175ebf
|
update examples
|
2018-08-13 10:20:13 -04:00 |
|
Rob Rix
|
85adaafef5
|
Fix the doctests.
|
2018-08-13 10:20:13 -04:00 |
|
Rob Rix
|
68157b1fa0
|
Apply the correct value type.
|
2018-08-13 10:06:12 -04:00 |
|
Rob Rix
|
99e377aec7
|
Fix a missed reference to Deref in the specs.
|
2018-08-13 09:58:18 -04:00 |
|
Rob Rix
|
d825ceda56
|
🔥 the address parameter to Deref.
|
2018-08-13 09:57:18 -04:00 |
|
Rob Rix
|
9c9fa333d6
|
🔥 Allocatable & Derefable.
|
2018-08-13 09:46:46 -04:00 |
|
Rob Rix
|
c5234c0d62
|
🔥 the instances of Allocatable and Derefable.
|
2018-08-13 09:44:40 -04:00 |
|
Rob Rix
|
51036dcada
|
🔥 the unspecialized handlers for Allocator and Deref.
|
2018-08-13 09:43:52 -04:00 |
|
Rob Rix
|
a438930c91
|
Use the specialized handlers for Allocator and Precise.
|
2018-08-13 09:43:37 -04:00 |
|
Rob Rix
|
8cd4d8808f
|
Move Hole into its own module.
|
2018-08-13 09:37:39 -04:00 |
|
Rob Rix
|
16964350b0
|
Stub in a module for the Hole address type.
|
2018-08-13 09:35:37 -04:00 |
|
Rob Rix
|
669834ad88
|
Define an extracted, Hole-specific handler for Deref.
|
2018-08-13 09:33:47 -04:00 |
|
Rob Rix
|
e6c1801dc3
|
Define an extracted, Hole-specific handler for Allocator.
|
2018-08-13 09:31:56 -04:00 |
|
Rob Rix
|
339eb4df87
|
We aren’t using LambdaCase here any more.
|
2018-08-13 09:29:37 -04:00 |
|
Rob Rix
|
fe1b62bb96
|
Extract the Monovariant-specific handler for Deref.
|
2018-08-13 09:29:13 -04:00 |
|
Rob Rix
|
15c9e285b8
|
Extract the Monovariant-specific handler for Allocator.
|
2018-08-13 09:28:05 -04:00 |
|
Rob Rix
|
de3493c1cc
|
Extract the Located-specific handler for Deref.
|
2018-08-13 09:26:27 -04:00 |
|