1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

18038 Commits

Author SHA1 Message Date
Rob Rix
dc4a868ee4 Clarify the 📝 for eval. 2017-12-21 11:30:52 -05:00
Rob Rix
47c970ca33 Merge branch 'master' into document-abstract-interpretation 2017-12-21 11:29:23 -05:00
Rob Rix
128b834503 Merge pull request #1466 from github/robrix-patch-1
Remove the stubbed-in roadmap file
2017-12-21 11:27:03 -05:00
Rob Rix
c5ecc98758 📝 the type parameters to MonadTrace. 2017-12-21 11:19:54 -05:00
Rob Rix
6d2f116796 📝 trace. 2017-12-21 11:18:36 -05:00
Rob Rix
f15f468706 📝 MonadTrace. 2017-12-21 11:18:08 -05:00
Rob Rix
69cea8be74 📝 assign. 2017-12-21 11:17:23 -05:00
Rob Rix
fdb2b2abde Eta-expand the definition of assign. 2017-12-21 11:16:23 -05:00
Rob Rix
0b59677368 📝 modifyStore. 2017-12-21 11:15:59 -05:00
Rob Rix
4ede5f226a 📝 putStore. 2017-12-21 11:15:40 -05:00
Rob Rix
86b4e6ad6c 📝 getStore. 2017-12-21 11:15:36 -05:00
Rob Rix
1a0c163145 📝 MonadStore. 2017-12-21 11:15:16 -05:00
Rob Rix
9390869304 📝 the MonadNonDet instance for NonDetEff. 2017-12-21 11:14:31 -05:00
Rob Rix
1758195761 📝 the arguments & return value of collect. 2017-12-21 11:12:31 -05:00
Rob Rix
3c842832c0 Reformat the signature for collect. 2017-12-21 11:08:54 -05:00
Rob Rix
ec5f852951 📝 collect. 2017-12-21 11:08:41 -05:00
Rob Rix
92d909dba6 :fire 2017-12-21 11:06:02 -05:00
Rob Rix
fb6f56c8b9 📝 MonadNonDet. 2017-12-21 11:02:47 -05:00
Rob Rix
76bbf5b78e 📝 extraRoots. 2017-12-21 11:00:27 -05:00
Rob Rix
e437f2bf81 📝 askRoots. 2017-12-21 10:59:01 -05:00
Rob Rix
ddc84efe53 📝 MonadGC. 2017-12-21 10:58:36 -05:00
Rob Rix
cf7fac62ca 📝 the RunEffect instance for Fresh. 2017-12-21 10:57:50 -05:00
Rob Rix
62b1b804fc Redo the Fresh constructor docs to describe them as requests. 2017-12-21 10:56:15 -05:00
Rob Rix
9cac249c84 📝 reset. 2017-12-21 10:56:04 -05:00
Rob Rix
3dd34f2a12 📝 fresh. 2017-12-21 10:55:58 -05:00
Rob Rix
25d3fcb308 📝 MonadFresh. 2017-12-21 10:55:12 -05:00
Rob Rix
434dd829b3 📝 the Fresh constructors. 2017-12-21 10:54:40 -05:00
Rob Rix
32215499f0 📝 Fresh. 2017-12-21 10:53:08 -05:00
Rob Rix
a400be517f 📝 localEnv. 2017-12-21 10:52:26 -05:00
Rob Rix
73b8da0d4c 📝 askEnv. 2017-12-21 10:52:02 -05:00
Rob Rix
46448c356a 📝 MonadEnv. 2017-12-21 10:51:53 -05:00
Rob Rix
2b26a58ae0 Note the default implementation for liftFreeVariables. 2017-12-21 10:51:06 -05:00
Rob Rix
1cef83c8a7 Define revive pointfully. 2017-12-21 10:49:26 -05:00
Rob Rix
1d34f15ca5 📝 revive. 2017-12-21 10:48:12 -05:00
Rob Rix
3d52ec38a0 📝 killAll. 2017-12-21 10:47:56 -05:00
Rob Rix
d8e394a13c 📝 MonadDead. 2017-12-21 10:47:24 -05:00
Rob Rix
65f1af1154 📝 Dead. 2017-12-21 10:46:53 -05:00
Rob Rix
1a52fd9c7a 📝 modifyCache. 2017-12-21 10:46:16 -05:00
Rob Rix
250551d39d 📝 putCache. 2017-12-21 10:45:38 -05:00
Rob Rix
5bf888bc51 📝 getCache. 2017-12-21 10:45:31 -05:00
Rob Rix
ec027c6e60 📝 localCache. 2017-12-21 10:44:53 -05:00
Rob Rix
8791d01796 📝 askCache. 2017-12-21 10:44:37 -05:00
Rob Rix
cb3bb31f99 📝 MonadCacheOut. 2017-12-21 10:44:09 -05:00
Rob Rix
9ea6525dcd 📝 MonadCacheIn. 2017-12-21 10:35:41 -05:00
Rob Rix
38ce2575bd Simplify the qualification of 'fail'. 2017-12-21 10:19:22 -05:00
Rob Rix
f63d73e843 📝 uninitializedAddress. 2017-12-21 10:18:50 -05:00
Rob Rix
475a7d79da 📝 the MonadAddress instances. 2017-12-21 10:17:56 -05:00
Rob Rix
1fb1196483 📝 envLookupOrAlloc'’s assumption. 2017-12-21 10:14:24 -05:00
Rob Rix
b9e34041a1 📝 envLookupOrAlloc'. 2017-12-21 10:13:34 -05:00
Rob Rix
7a002dc910 📝 envLookupOrAlloc. 2017-12-21 10:13:05 -05:00