github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 13:21:59 +03:00
Code Issues Projects Releases Wiki Activity
27,286 Commits 19 Branches 16 Tags 46 MiB
919e026499
Commit Graph

27286 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ayman Nadeem
eb50b794e6 provide Bitwise effect 2018-12-14 16:42:59 -05:00
Ayman Nadeem
8aad872c24 stylin 2018-12-14 16:24:54 -05:00
Patrick Thomson
842c4bf754 Merge branch 'master' into new-expressions 2018-12-14 16:24:29 -05:00
Ayman Nadeem
3f3825539c bitwise carrier instance in concrete domain 2018-12-14 16:24:27 -05:00
Ayman Nadeem
ee7b3b74a8 bitwise carrier instance in type domain 2018-12-14 16:23:54 -05:00
joshvera
1865b6609e redundant parens 2018-12-14 15:41:58 -05:00
Rick Winfrey
a13ec0296c Use second ala hlint 
This is even better, `second` implicity returns the `id` of the first value in the tuple.
 2018-12-14 12:22:23 -08:00
Ayman Nadeem
2f37f620d9 bitwise carrier instance in abstract domain 2018-12-14 15:21:44 -05:00
Ayman Nadeem
99bbdfa9ae add bitwise effect, carrier newtype and handler 2018-12-14 15:14:02 -05:00
Rick Winfrey
eb83f9478d Simplify a bit with *** rather than &&& 2018-12-14 12:01:34 -08:00
Ayman Nadeem
6849fd8610 use the Numeric effect 2018-12-14 13:17:38 -05:00
Ayman Nadeem
b24c5d5ebb eval can use Numeric 2018-12-14 11:23:49 -05:00
Ayman Nadeem
cf4afae2a3 provide numeric effect 2018-12-14 11:12:56 -05:00
Rob Rix
812d9cefab Merge branch 'master' into factor-abstract-value-as-value-effects 2018-12-14 09:38:23 -05:00
Rob Rix
7f27412223 Merge pull request #2306 from github/🔥-located-addresses 
🔥 Located addresses
 2018-12-13 22:12:36 -05:00
joshvera
c6766b96a1 Fix IndexSignature assignment 2018-12-13 19:35:56 -05:00
joshvera
92ae60c5f1 s/maybeThis/maybeSelf 2018-12-13 19:09:19 -05:00
joshvera
dab7c6d86a Revert changes to class1.ts 2018-12-13 19:05:11 -05:00
joshvera
c735927b68 Constrain binding to Object values 2018-12-13 18:43:54 -05:00
joshvera
18555281dd hlints 2018-12-13 18:14:55 -05:00
joshvera
4afe93a97d Rename __semantic_self to __self 2018-12-13 18:14:13 -05:00
joshvera
5630430b61 Bind this in Ruby Send 2018-12-13 17:58:13 -05:00
joshvera
493a69b8c5 Use maybeLookupDeclaration 
Since self isn't necessarily defined for all languages.
 2018-12-13 17:49:43 -05:00
joshvera
9be3403d21 Merge branch 'new-expressions' of https://github.com/github/semantic into new-expressions 2018-12-13 17:22:57 -05:00
Rick Winfrey
76f4e2bc87 Add public field test for TypeScript 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-12-13 14:20:42 -08:00
Rick Winfrey
dd0a85a1db Update to use new Relation for declare 2018-12-13 14:17:39 -08:00
Rick Winfrey
006ad8085d 💅 alignment 2018-12-13 13:41:45 -08:00
Rick Winfrey
d8c291bdc0 Destructure not needed here 2018-12-13 11:34:14 -08:00
Rick Winfrey
d0a571e851 Replace instances of name "__self" with __semantic_self 2018-12-13 11:33:55 -08:00
Rick Winfrey
0c22d4da4b Define __semantic_self 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-13 11:32:24 -08:00
joshvera
317462e73a Add bindThis to bind objects to closures 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-13 14:11:37 -05:00
joshvera
a69991309c Revert generic changes to class2.ts 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-12-13 13:14:56 -05:00
joshvera
0eaa362b3a Rename InstanceOf to Instance 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-12-13 13:14:45 -05:00
joshvera
a6657cc679 Redeclare Instance members within an object frame in New 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-12-13 13:14:33 -05:00
joshvera
0dc1ad4e35 Add relationsOfScope 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-12-13 13:14:15 -05:00
Rob Rix
594979543c 🔥 Located. 2018-12-13 12:04:24 -05:00
Rob Rix
595f0fa2a3 Whitespace error. 2018-12-13 12:04:06 -05:00
Rob Rix
45071b81a9 Use Monovariant addresses for the call graph. 2018-12-13 12:03:26 -05:00
Rob Rix
034e4bc9b2 Further generalize graphingTerms over the address type. 2018-12-13 12:02:26 -05:00
Rob Rix
6eeb75bf1b Generalize graphingTerms over the address type. 2018-12-13 12:01:25 -05:00
Rob Rix
ace844a004 Use the Float constructor. 2018-12-13 11:34:56 -05:00
Rob Rix
916e0acf26 Fix ambiguous references to the Integer constructor. 2018-12-13 11:11:08 -05:00
Rob Rix
52863de0e3 Fix alignment. 2018-12-13 11:10:08 -05:00
Rob Rix
6f25df9080 🔥 reference to the Symbol constructor. 2018-12-13 11:07:18 -05:00
joshvera
512f4246cb Merge branch 'new-expressions' of https://github.com/github/semantic into new-expressions 2018-12-13 10:42:44 -05:00
Rick Winfrey
92d540dac7 Update remaining declarations 2018-12-12 16:58:33 -08:00
Rick Winfrey
869789ce48 Clean up this sketch 2018-12-12 16:58:06 -08:00
Rick Winfrey
d0afae8cba Declarations specify their Relations 2018-12-12 16:57:52 -08:00
Rick Winfrey
feff7f8e89 Builtins now specify their Relations 2018-12-12 16:57:30 -08:00
Rick Winfrey
0499bd5f7d Re-export Relation from Control.Abstract.ScopeGraph 2018-12-12 16:57:05 -08:00