github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity
25,690 Commits 19 Branches 16 Tags 46 MiB
0653832d9d
Commit Graph

25690 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ayman Nadeem
9bf8429f29 Merge pull request #2133 from github/evaluatable-instances 
add Evaluatable instances for remaining unspecialized expressions
 2018-08-23 12:29:17 -04:00
Rob Rix
457541d027 Note the possibility of semi-abstract domains. 2018-08-23 12:21:04 -04:00
Ayman Nadeem
8e17c2df87 remove fake news comment about unsignedRshift 2018-08-23 12:09:51 -04:00
Timothy Clem
6255efe0fb Get licenses in a good state 2018-08-23 09:03:04 -07:00
Ayman Nadeem
4be365ddcb add test 2018-08-23 11:25:20 -04:00
Rob Rix
956d572ace Define a Boolean effect. 2018-08-23 11:13:31 -04:00
Rob Rix
cfdc8030b1 📝 Value effects. 2018-08-23 11:12:33 -04:00
Timothy Clem
8f6d1ee873 Merge branch 'master' into source-aware-reprinter 2018-08-23 07:47:48 -07:00
Rob Rix
ea06833a5a Add a heading for the value effects. 2018-08-23 10:39:30 -04:00
Ayman Nadeem
6cf92bb760 remove eval instances for cast because of ci fail 2018-08-23 10:38:53 -04:00
Timothy Clem
a8b9499692 Enable ability to run up to translating too 2018-08-22 16:26:48 -07:00
Rick Winfrey
dec8533a5b Update CodeAnalysis from proto changes 
Hand edited
 2018-08-22 15:41:27 -07:00
Ayman Nadeem
a8a4ef575c Merge remote-tracking branch 'origin/master' into evaluatable-instances 2018-08-22 17:41:37 -04:00
Timothy Clem
26576411d0 Work on the naming a bit here 2018-08-22 14:33:55 -07:00
Ayman Nadeem
534bf2b728 fake evaluating cast expressions 2018-08-22 17:22:47 -04:00
Timothy Clem
3214519718 Very basic test for ruby printing 2018-08-22 13:47:30 -07:00
Timothy Clem
3e0a6b95cc Lints, formatting, docs, cleanup 2018-08-22 13:35:40 -07:00
Timothy Clem
b0dab3ddd9 Back to master's version 2018-08-22 13:06:59 -07:00
Timothy Clem
edc14898aa Docs 2018-08-22 13:05:44 -07:00
Ayman Nadeem
77f7273b75 add error handling for castToInteger 2018-08-22 15:54:40 -04:00
Ayman Nadeem
86f21c7e21 add castToInteger 2018-08-22 15:48:30 -04:00
Timothy Clem
b9d66ebfa7 Move pure outside of case 2018-08-22 11:43:00 -07:00
Timothy Clem
67f652b4d7 Refactor to have 1 additional data representation in the pipeline 2018-08-22 11:30:03 -07:00
Rob Rix
3456c6f1bb Merge pull request #2143 from github/haddock-vendor-bump 
Fix Haddock generation.
 2018-08-22 12:33:29 -04:00
Rick Winfrey
d230df876a Fix typo 2018-08-21 16:43:13 -07:00
Rick Winfrey
0dd451885d Maintain redundant Num constraint 2018-08-21 16:38:53 -07:00
Timothy Clem
a1294e91f1 Docs and some renaming 2018-08-21 16:15:08 -07:00
Ayman Nadeem
9d676c5ba1 make these tests passsssgit diffgit diff 2018-08-21 18:33:16 -04: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
Ayman Nadeem
7b4f0f2605 handle floats in unsignedRShift function 2018-08-21 17:48:18 -04:00
Ayman Nadeem
09f735b2b7 add typescript assignment for complement operator 2018-08-21 17:47:45 -04: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
Timothy Clem
945712bca6 Examples 2018-08-21 13:25:14 -07:00
Timothy Clem
105c5a5743 Comment about another style choice 2018-08-21 13:25:07 -07:00
Timothy Clem
dea542c678 Not using this yet 2018-08-21 13:24:58 -07:00
Timothy Clem
1a9200b783 tokenizing for Ruby blocks (functions) 2018-08-21 13:17:13 -07:00
Timothy Clem
9e0e56479e Handle comments with trailing seps 2018-08-21 13:16:49 -07:00
Ayman Nadeem
a4ce904e5d add normalize function 2018-08-21 16:12:05 -04:00
Ayman Nadeem
5949c6e7d6 Merge branch 'master' into evaluatable-instances 2018-08-21 15:55:15 -04:00
Timothy Clem
5ac0b5a900 Continue to refine tokenize api with Ruby as example 2018-08-21 11:16:39 -07:00
Timothy Clem
3b6c51aa70 No need for TComment yet 2018-08-21 11:16:16 -07:00
Timothy Clem
6d3dc92505 Just sequenceA_ contextTerms for now 2018-08-21 11:15:59 -07:00
Patrick Thomson
7f5783abb0 Fix Haddock generation. 
Bumps gRPC-haskell and removes an invalid (and unilluminating) comment.

To test, run `stack haddock --fast --open`.
 2018-08-21 12:40:16 -04:00
Timothy Clem
beb0f5f6c3 This got renamed 2018-08-21 09:39:47 -07:00
Timothy Clem
c622251f56 Work on Ruby method tokenizing 2018-08-21 09:39:37 -07:00
Timothy Clem
51d3422191 New splice api 2018-08-21 09:39:19 -07:00
Timothy Clem
e8aa27bee5 Some renames just to preventing name ambiguity 2018-08-21 09:39:10 -07:00
Timothy Clem
7680ba55c8 Follow naming changes in JSON translator 2018-08-21 09:38:39 -07:00