github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity
28,808 Commits 19 Branches 16 Tags 46 MiB
7d336c9d9a
Commit Graph

28808 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
366a53bec4
Merge remote-tracking branch 'origin/upgrade-to-fused-effects-0.5' into scope-safety 2019-07-15 13:07:51 -04:00
Rob Rix
2c10a9171c
Generalize all the smart constructors. 2019-07-15 13:04:47 -04:00
Rob Rix
c83d5f083e
Define a Carrier instance for Core. 2019-07-15 13:01:22 -04:00
Rob Rix
3e5d703263
Derive Generic1 & HFunctor instances for CoreF. 2019-07-15 13:01:07 -04:00
Rob Rix
5a0799f471
Define an HFunctor instance for Scope. 2019-07-15 13:00:22 -04:00
Rob Rix
e135751ecc
🔥 TransC. 2019-07-15 12:51:37 -04:00
Rob Rix
a69c34e57e
Bump semantic-core to fused-effects-0.5. 2019-07-15 12:48:13 -04:00
Rob Rix
9169ece9d5
Unpin fused-effects. 2019-07-15 12:31:13 -04:00
Rob Rix
9e4d91c688
Simplify the definition of block using the Maybe Monoid. 2019-07-15 10:56:53 -04:00
Rob Rix
9cf37ef4d0
Rename k to bound. 2019-07-15 10:53:15 -04:00
Rob Rix
82e779df29
Don’t label lambda-bound variables. 2019-07-15 10:52:45 -04:00
Rob Rix
b0776d4cbc
Spacing. 2019-07-15 10:50:45 -04:00
Rob Rix
6a237b7f41
Provide a bunch more Scope machinery. 2019-07-15 10:50:42 -04:00
Rob Rix
cf40f50459
Sort imports. 2019-07-15 10:48:37 -04:00
Rob Rix
f8b4375090
Move Incr & Scope into a new Data.Scope module. 2019-07-15 10:46:31 -04:00
Rob Rix
cecddcadd0
Stub in a Scope module. 2019-07-15 10:43:10 -04:00
Patrick Thomson
3cdfe55b80 Unnecessary use of &. 2019-07-06 13:32:00 -04:00
Patrick Thomson
eefb1d5d36 Stray whitespace change. 2019-07-06 13:28:20 -04:00
Patrick Thomson
5c033973ae Kill unused import. 2019-07-06 13:26:01 -04:00
Patrick Thomson
0749aa1c91 Remove the unused 'analyze'. 2019-07-06 13:24:16 -04:00
Patrick Thomson
7221e71279 Fix Interpose 2019-07-06 12:43:52 -04:00
Patrick Thomson
3438e476ea Fix effects in semantic-core. 2019-07-06 12:35:57 -04:00
Patrick Thomson
f3bc363cad unsuccessful take on Analyze 2019-07-06 12:27:44 -04:00
Patrick Thomson
3af388b633 more monad massages 2019-07-06 12:01:57 -04:00
Patrick Thomson
d01ad24d83 Ditto, but for bitwise functions. 2019-07-06 11:42:53 -04:00
Patrick Thomson
0329984dfa Handle needed changes associated with NumericFunction. 2019-07-06 11:35:19 -04:00
Patrick Thomson
94c8adba23 Fix most effects except Interpose 2019-07-06 11:27:12 -04:00
Patrick Thomson
f401f75303 WIP 2019-07-06 10:52:38 -04:00
Timothy Clem
a48aa65cfc Bring back ping request/response 2019-07-05 15:34:35 -07:00
Timothy Clem
7b44a6a24e Repeatable code gen from proto 2019-07-05 15:11:33 -07:00
Patrick Thomson
40a8e6d418
Merge pull request #193 from KevOrr/php-strict-equal-assignment 
[#188] Fix PHP strict inequality assignment
 2019-07-03 16:58:30 -04:00
Patrick Thomson
23733f9ac9
Merge branch 'master' into php-strict-equal-assignment 2019-07-03 12:07:55 -04:00
Patrick Thomson
cd232fb4ce
Merge pull request #192 from KevOrr/php-concat 
[#186] Fix PHP string concatenation and augmented assignment
 2019-07-03 12:07:32 -04:00
Patrick Thomson
cfcd27545d
Merge branch 'master' into php-concat 2019-07-03 11:06:42 -04:00
Patrick Thomson
daacddc5c4
Merge branch 'master' into php-strict-equal-assignment 2019-07-03 11:04:27 -04:00
Kevin Orr
5b5a9965dc [#186] Fix PHP string concatenation and augmented assignment 2019-07-03 09:54:13 -04:00
Rob Rix
d147bb8b28
Merge pull request #191 from github/fix-graph-vertex-ids 
Include vertex IDs in JSON graph output and fix their format.
 2019-07-02 14:35:19 -07:00
Kevin Orr
8a6737b079 [#188] Fix PHP strict inequality assignment 2019-07-02 16:38:17 -04:00
Rob Rix
50db4efa0c
Generalize runHeap over the name type. 2019-07-02 13:01:00 -04:00
Rob Rix
b7124e0c5b
Generalize FrameId over the name type. 2019-07-02 13:00:51 -04:00
Rob Rix
dee2a94e53
Generalize the flow-insensitive analysis over the name type. 2019-07-02 12:51:30 -04:00
Rob Rix
b2b7d77d51
Parse to Core User instead of Core Name. 2019-07-02 12:41:01 -04:00
Rob Rix
db2b72a133
Record user names in Core. 2019-07-02 12:39:58 -04:00
Rob Rix
da7fd48cff
Export Ignored. 2019-07-02 12:08:56 -04:00
Rob Rix
f0c08d8712
Factor the ignoring part of Named out. 2019-07-02 12:08:13 -04:00
Rob Rix
daa280c300
Define a helper to extract the User name from a Named value. 2019-07-02 12:07:28 -04:00
Rob Rix
906eba62f0
Give Named a parameter. 2019-07-02 12:02:04 -04:00
Rob Rix
48aad70f9f
📝 Named. 2019-07-02 11:58:39 -04:00
Rob Rix
e1158d89bc
Define a Named newtype. 2019-07-02 11:57:23 -04:00
Rob Rix
f9133f1325
Generalize instantiate. 2019-07-02 11:55:09 -04:00