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
25,178 Commits 19 Branches 16 Tags 46 MiB
0dd451885d
Commit Graph

25178 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rick Winfrey
0dd451885d Maintain redundant Num constraint 2018-08-21 16:38:53 -07:00
Rick Winfrey
46d9df9bbb 🔥 unnecessary Num constraint 2018-08-21 14:55:54 -07:00
Rick Winfrey
64bea60ea9 🔤 2018-08-21 14:49:56 -07:00
Rick Winfrey
ddff2144ac Update Semantic.Config to use envLookupNum 2018-08-21 14:46:15 -07:00
Rick Winfrey
5ea5798aac Relax envLookupInt -> envLookupNum 2018-08-21 14:44:40 -07:00
Charlie Somerville
7abe418829 Merge pull request #2141 from github/charliesome/analysis-configuration-module 
Reshuffle module layout so that Environment can depend on Heap
 2018-08-21 13:59:14 +10:00
Charlie Somerville
b8f33b7890 remove unused import 2018-08-21 13:49:48 +10:00
Charlie Somerville
5f6961e737 move Analysis.Abstract.Configuration to Control.Abstract 2018-08-21 13:42:45 +10:00
Charlie Somerville
ec852844cb reshuffle module layout so that Environment can depend on Heap 2018-08-21 13:42:45 +10:00
Josh Vera
46eace3c50 Merge pull request #2138 from github/auto-proto-gen 
Generate protodefs for syntaxes
 2018-08-17 12:02:14 -04:00
Josh Vera
03d22bf671 Merge branch 'master' into auto-proto-gen 2018-08-17 11:51:28 -04:00
Josh Vera
4f99f86ba8 Merge pull request #2139 from github/there-can-only-be-one-concrete-evaluator-newtype 
Combine the concrete evaluator newtypes
 2018-08-17 11:40:36 -04:00
Rob Rix
3f7a77c639 Merge branch 'master' into there-can-only-be-one-concrete-evaluator-newtype 2018-08-16 11:24:25 -04:00
Josh Vera
951692c3e0 Merge branch 'master' into auto-proto-gen 2018-08-16 11:23:04 -04:00
Josh Vera
7cf34d29c1 Merge pull request #2110 from github/interactive-debugger 
Interactive debugger
 2018-08-16 11:21:54 -04:00
joshvera
7ebdfa2c1a Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-16 11:07:36 -04:00
Rob Rix
ff1185f937 Merge remote-tracking branch 'origin/bump-licensed-1.3.2' into interactive-debugger 2018-08-16 10:08:45 -04:00
Timothy Clem
bd29d222e1 Merge branch 'master' into auto-proto-gen 2018-08-15 12:47:29 -07:00
Rob Rix
886a140881 Merge branch 'interactive-debugger' into there-can-only-be-one-concrete-evaluator-newtype 2018-08-15 13:53:01 -04:00
Rob Rix
ac94df12c2 Merge branch 'master' into interactive-debugger 2018-08-15 13:52:43 -04:00
Timothy Clem
9de677ecc5 Merge pull request #2137 from github/change-port 
Change default port from 8080 to 8001
 2018-08-15 10:40:03 -07:00
Rob Rix
90b29a39ab Add a missing import. 2018-08-15 12:08:15 -04:00
Rob Rix
358b8cc564 Replace UtilEff with ConcreteEff. 2018-08-15 11:55:45 -04:00
Rob Rix
ff31962bd7 Infer the presence of the graph effect. 2018-08-15 11:54:52 -04:00
Rob Rix
ed3189d828 Reformat a couple of signatures. 2018-08-15 11:54:14 -04:00
Rob Rix
c4e94f0d80 🔥 some redundant quantifiers. 2018-08-15 11:53:43 -04:00
Rob Rix
9af75f3f85 Infer the remaining effects. 2018-08-15 11:53:15 -04:00
Rob Rix
30627fa518 Move the graph state outside the heap state. 2018-08-15 11:52:48 -04:00
Rob Rix
4d08e47cf0 Move the Reader effects to the head of UtilEff. 2018-08-15 11:49:21 -04:00
Rob Rix
bb021d404a Use the ModuleEffects synonym in UtilEff. 2018-08-15 11:47:43 -04:00
Rob Rix
6e71a76402 Use the ValueEffects synonym in UtilEff. 2018-08-15 11:47:15 -04:00
Rob Rix
e340bfefe1 Factor a list of effects out of ConcreteEff. 2018-08-15 11:46:22 -04:00
Rob Rix
7f423daec4 Rename ImportGraphEff to ConcreteEff. 2018-08-15 11:40:30 -04:00
Rob Rix
93d79dfd30 Use ModuleEffects in ImportGraphEff. 2018-08-15 11:33:30 -04:00
Rob Rix
c04fc7d048 Use ValueEffects in ImportGraphEff. 2018-08-15 11:32:57 -04:00
Rob Rix
263b068984 Define a synonym for the value effects. 2018-08-15 11:32:05 -04:00
Rob Rix
d74812dbd2 Define a synonym for the module-level effects. 2018-08-15 11:31:08 -04:00
Rob Rix
224a4e206f Merge branch 'master' into fix-abstract-semantics 2018-08-15 09:48:08 -04:00
Rob Rix
4d29fc87f3 Merge branch 'master' into change-port 2018-08-15 09:33:23 -04:00
Rob Rix
8bc3951021 Merge pull request #2136 from github/one-for-the-money,-two-for-the-show 
(Further) customized Show instances for Bindings/Heap
 2018-08-15 09:33:06 -04:00
Timothy Clem
6d4c4bc09c Regen protos, slight ordering differences 2018-08-14 18:16:09 -07:00
Rick Winfrey
1665df55aa Merge branch 'master' into interactive-debugger 2018-08-14 15:04:02 -07:00
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
Rick Winfrey
3aeead2bfe Merge pull request #2135 from github/clean-per-weeder 
Clean up `weeder` warnings
 2018-08-14 10:42:23 -07: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