github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-09 00:56:32 +03:00
Code Issues Projects Releases Wiki Activity
27,617 Commits 19 Branches 16 Tags 46 MiB
e73fcc57a5
Commit Graph

27617 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rick Winfrey
dd33a2c379 Update Ruby assignment 2018-12-17 18:24:50 -08:00
Rick Winfrey
3779e79d7c Rename Accessibility -> Visibility 2018-12-17 18:24:35 -08:00
Rick Winfrey
5ec10f6fc4 Update PHP assignment 2018-12-17 17:53:58 -08:00
Rick Winfrey
bb3af11dd8 Update MiniRuby assignment 2018-12-17 17:52:11 -08:00
Rick Winfrey
0e34b035c6 Update Java assignment 2018-12-17 17:52:03 -08:00
Rick Winfrey
3193481ea8 Update Go assignment 2018-12-17 17:51:44 -08:00
Rick Winfrey
5dab74f5ea Add an Unknown constructor for Accessibility 2018-12-17 17:51:30 -08:00
Rick Winfrey
394c8744d9 Add missing parameters 2018-12-17 17:51:09 -08:00
Rick Winfrey
8b23d346c6 Merge branch 'master' into visibility-resolution 2018-12-17 13:25:26 -08:00
Josh Vera
0629b3cd0c Merge pull request #2307 from github/new-expressions 
Implement object-oriented semantics
 2018-12-17 15:08:28 -05:00
Rick Winfrey
e58c21e457 Add failing accessibility test case 2018-12-14 17:06:29 -08:00
Rick Winfrey
a9dd405294 Update TypeScript assignment to construct an Accessibility syntax term 2018-12-14 17:05:52 -08:00
Rick Winfrey
b97a2d6df7 Add Accessibility syntax constructor 2018-12-14 17:03:07 -08:00
Rick Winfrey
668afa20a5 Reflow Method data declaration and add methodAccessibility field 2018-12-14 17:02:41 -08:00
joshvera
22102308a0 Add closure data type todo 2018-12-14 17:26:57 -05:00
Ayman Nadeem
663aa45bfc remove redunant constraints in python package 2018-12-14 17:25:21 -05:00
joshvera
aa98a8645a Fix position 2018-12-14 17:19:57 -05:00
joshvera
269476aa34 Simplify calls to throwNoNameError 2018-12-14 17:16:06 -05:00
joshvera
e381607d3e Use update instead of Seq.adjust 2018-12-14 17:16:06 -05:00
joshvera
69e0e13b1f Factor out lambda 2018-12-14 17:16:06 -05:00
joshvera
0281016356 Rename to Info 2018-12-14 17:16:06 -05:00
joshvera
ced5090b1d Use update 2018-12-14 17:16:06 -05:00
joshvera
589ed82b76 Rename to Info 2018-12-14 17:16:06 -05:00
joshvera
1ff058437c Rename to __semantic_self 2018-12-14 17:16:06 -05:00
joshvera
929968aef7 Remove self special Relation comment 2018-12-14 17:16:06 -05:00
joshvera
89f93a4920 Rename Data to Info for now 2018-12-14 17:16:06 -05:00
joshvera
89e1233692 remove extra parens 2018-12-14 17:16:05 -05:00
joshvera
bb21e2af15 Simplify names in IndexSignature 2018-12-14 17:16:05 -05:00
joshvera
54fc24853b Remove comment 2018-12-14 17:16:05 -05:00
joshvera
27f99067ae Use choice 2018-12-14 17:16:05 -05:00
Ayman Nadeem
df0f4ffd3a use the Bitwise effect 2018-12-14 17:14:01 -05:00
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