github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity
22,265 Commits 19 Branches 16 Tags 46 MiB
d2ca8c7f29
Commit Graph

22265 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
769ce146fa Define a specialized Configuration type for Monovariant addresses. 2018-05-16 13:03:25 -04:00
Rob Rix
22e4125163 Define a Live synonym for Monovariant addresses. 2018-05-16 13:02:27 -04:00
Rob Rix
53c16e89fd Define a Heap synonym for Monovariant. 2018-05-16 13:00:33 -04:00
Rob Rix
0d52c47aa6 No need to qualify these now. 2018-05-16 12:53:49 -04:00
Rob Rix
00c1586834 Don’t provide an IsList instance that’s hard to use correctly. 2018-05-16 12:49:31 -04:00
Rob Rix
bf90a98444 Environment holds Addresses. 2018-05-16 12:47:04 -04:00
Rob Rix
15151627dc Adjust the Reducer instance for Heap. 2018-05-16 12:38:34 -04:00
Rob Rix
9cec3e0ad5 Adjust the Reducer instance for Precise Heaps. 2018-05-16 12:36:27 -04:00
Rob Rix
a68b608e54 Move Monovariant addresses into their own module. 2018-05-16 12:33:35 -04:00
Rob Rix
45a0bfe7ca Define a specialization of Configuration for Precise addresses. 2018-05-16 12:15:15 -04:00
Rob Rix
db789133ba Define a specialization of Live to Precise addresses. 2018-05-16 12:12:55 -04:00
Rob Rix
81fc93baa7 Map keys back into Precise for the Show instance. 2018-05-16 12:09:55 -04:00
Rob Rix
10e3eebddf Define a Heap type specialized to Precise locations. 2018-05-16 12:08:10 -04:00
Rob Rix
0b63f77327 Define a Monoidal IntMap. 2018-05-16 12:01:14 -04:00
Rob Rix
1dcb16d829 Resume defining unMap as a field selector. 2018-05-16 11:57:10 -04:00
Rob Rix
680336057d Move Precise & Latest into their own module. 2018-05-16 11:53:24 -04:00
Rob Rix
0467b0c8fe Stub in a module for Precise addresses. 2018-05-16 11:50:43 -04:00
Rob Rix
064a2d1121 Move Allocator back into Control.Abstract.Heap. 2018-05-16 11:49:57 -04:00
Rob Rix
99bc84f9c0 📝 Located’s Addressable instance. 2018-05-16 11:48:52 -04:00
Rob Rix
31bf9ae97c Note some stuff we’d like to fix. 2018-05-16 11:45:15 -04:00
Rob Rix
af8bfce055 Allocate & dereference addresses using Allocator effects. 2018-05-16 11:45:10 -04:00
Timothy Clem
f81ea4bff5 s/File/Project b/c that makes more sense to me 2018-05-16 08:38:00 -07:00
Rob Rix
7dc065365b Export the Allocator constructors. 2018-05-16 11:18:41 -04:00
Rob Rix
4eb2d84623 Align the AddressError constructors. 2018-05-16 11:18:10 -04:00
Rob Rix
854d8175b7 🔥 throwAddressError. 2018-05-16 11:17:43 -04:00
Rob Rix
6ac714a208 Spacing. 2018-05-16 11:17:18 -04:00
Rob Rix
e8855b622c Explicitly list the exports. 2018-05-16 11:17:07 -04:00
Rob Rix
796822b5a8 🔥 lookupHeap. 2018-05-16 11:16:51 -04:00
Rob Rix
4d7cb98a6d 🔥 runAllocatorPrecise/runAllocatorMonovariant. 2018-05-16 11:15:57 -04:00
Rob Rix
09d008105b Move Addressable, AddressError, & the Allocator effect back into their own module. 2018-05-16 11:14:05 -04:00
Rob Rix
6a3d5498d5 Revert "🔥 Control.Abstract.Addressable." 
This reverts commit cb4ae8934b9f6e04583ab50abc78e8a58eb25944.
 2018-05-16 11:07:46 -04:00
Rob Rix
23475ea380 Define a handler for Allocator using the Addressable instances. 2018-05-16 11:07:25 -04:00
Rob Rix
d9d36e72e0 Don’t export lookupHeap. 2018-05-16 11:02:46 -04:00
Rob Rix
e8117f3e8f 🔥 Control.Abstract.Addressable. 2018-05-16 11:01:29 -04:00
Rob Rix
cb9fbefc1e Move the contents of Control.Abstract.Addressable into Control.Abstract.Heap. 2018-05-16 11:01:18 -04:00
joshvera
efafd0d494 ++grpc-haskell 2018-05-16 10:57:15 -04:00
Rob Rix
2f49f7d030 Merge Addressable into Location, defined in Control.Abstract.Heap. 2018-05-16 10:45:04 -04:00
Rob Rix
d55006c6dd Define a helper to map Evaluators for location into Evaluators for Located location. 2018-05-16 10:37:20 -04:00
Rob Rix
100a4ca85c Rename allocLoc to allocCell. 2018-05-16 10:34:59 -04:00
Rob Rix
58882e8d66 Swap the order of allocLoc/derefCell. 2018-05-16 10:34:13 -04:00
Rob Rix
b84a9d93e9 Tidy up derefCell for Monovariant. 2018-05-16 10:33:44 -04:00
Rob Rix
0cd3ac31b6 Move Located & Cell into Control.Abstract.Heap. 2018-05-16 10:27:02 -04:00
Rob Rix
d058bb5fd4 Spacing. 2018-05-16 10:26:46 -04:00
Rob Rix
3243918c07 Add a heading above AddressError. 2018-05-16 10:22:06 -04:00
Rob Rix
07da75ec62 Define a handler for Monovariant addresses. 2018-05-16 10:20:24 -04:00
Rob Rix
f5cd71732f Define runAllocatorPrecise using interpret. 2018-05-16 10:12:42 -04:00
Rob Rix
dfea90e16b Add a handler for Precise addresses. 2018-05-16 10:11:03 -04:00
Rob Rix
c1a3658364 Merge branch 'master' into fix-abstract-semantics 2018-05-16 09:49:06 -04:00
Rob Rix
40eb2201da Constrain the value type in the allocator type. 2018-05-16 09:48:14 -04:00
Patrick Thomson
a1ebe005d6 Merge pull request #1838 from github/fix-json-instances 
Include semantic information in JSON fields.
 2018-05-16 09:47:18 -04:00