github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity
25,216 Commits 19 Branches 16 Tags 46 MiB
9bf8429f29
Commit Graph

25216 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
Ayman Nadeem
8e17c2df87 remove fake news comment about unsignedRshift 2018-08-23 12:09:51 -04:00
Ayman Nadeem
4be365ddcb add test 2018-08-23 11:25:20 -04:00
Ayman Nadeem
6cf92bb760 remove eval instances for cast because of ci fail 2018-08-23 10:38:53 -04:00
Ayman Nadeem
a8a4ef575c Merge remote-tracking branch 'origin/master' into evaluatable-instances 2018-08-22 17:41:37 -04:00
Ayman Nadeem
534bf2b728 fake evaluating cast expressions 2018-08-22 17:22:47 -04: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
Rob Rix
3456c6f1bb Merge pull request #2143 from github/haddock-vendor-bump 
Fix Haddock generation.
 2018-08-22 12:33:29 -04:00
Ayman Nadeem
9d676c5ba1 make these tests passsssgit diffgit diff 2018-08-21 18:33:16 -04: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
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
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
Charlie Somerville
7abe418829 Merge pull request #2141 from github/charliesome/analysis-configuration-module 
Reshuffle module layout so that Environment can depend on Heap
 2018-08-21 13:59:14 +10:00
Charlie Somerville
b8f33b7890 remove unused import 2018-08-21 13:49:48 +10:00
Charlie Somerville
5f6961e737 move Analysis.Abstract.Configuration to Control.Abstract 2018-08-21 13:42:45 +10:00
Charlie Somerville
ec852844cb reshuffle module layout so that Environment can depend on Heap 2018-08-21 13:42:45 +10:00
Ayman Nadeem
bf0d2c0418 adjust liftBitwise to include float 2018-08-20 18:57:28 -04:00
Ayman Nadeem
da79989904 add test for await 2018-08-20 17:42:58 -04:00
Ayman Nadeem
c6b31ab886 fix rshift and lshift tests 2018-08-20 17:01:13 -04:00
Ayman Nadeem
167e9e3934 test for rshift 2018-08-20 16:57:35 -04:00
Ayman Nadeem
8cf838217c test for lshift 2018-08-20 16:56:37 -04:00
Ayman Nadeem
a3bec5b910 add tests for bor, band, bxor 2018-08-20 16:47:59 -04:00
Ayman Nadeem
6b99b321ce use Data.Scientific to convert digit 2018-08-20 11:26:54 -04:00
Ayman Nadeem
51e19ee242 add test for BOr statements 2018-08-17 23:47:14 -04:00
Ayman Nadeem
6526071cd2 WIP test for bitwise OR 2018-08-17 14:14:11 -04:00
Ayman Nadeem
5891fe8510 add tests for lshift, rshift, unsignedRshift 2018-08-17 13:26:34 -04:00
Ayman Nadeem
a5c7010f85 add test file for bxor 2018-08-17 13:24:40 -04:00
Ayman Nadeem
c76948c76a add test for bitwise and 2018-08-17 13:23:53 -04:00
Ayman Nadeem
18694f8143 add test for bitwise OR 2018-08-17 13:22:48 -04:00
Ayman Nadeem
84f4ed4cfe get rid of unnecessary import 2018-08-17 13:08:29 -04:00
Ayman Nadeem
52f07dce3a Merge branch 'master' into evaluatable-instances 2018-08-17 13:08:03 -04:00
Josh Vera
46eace3c50 Merge pull request #2138 from github/auto-proto-gen 
Generate protodefs for syntaxes
 2018-08-17 12:02:14 -04:00
Josh Vera
03d22bf671 Merge branch 'master' into auto-proto-gen 2018-08-17 11:51:28 -04:00
Josh Vera
4f99f86ba8 Merge pull request #2139 from github/there-can-only-be-one-concrete-evaluator-newtype 
Combine the concrete evaluator newtypes
 2018-08-17 11:40:36 -04:00
Ayman Nadeem
0e8bb70dfd Merge remote-tracking branch 'origin/master' into evaluatable-instances 2018-08-16 14:46:59 -04:00
Rob Rix
3f7a77c639 Merge branch 'master' into there-can-only-be-one-concrete-evaluator-newtype 2018-08-16 11:24:25 -04:00
Josh Vera
951692c3e0 Merge branch 'master' into auto-proto-gen 2018-08-16 11:23:04 -04:00
Josh Vera
7cf34d29c1 Merge pull request #2110 from github/interactive-debugger 
Interactive debugger
 2018-08-16 11:21:54 -04:00
joshvera
7ebdfa2c1a Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-16 11:07:36 -04:00
Rob Rix
ff1185f937 Merge remote-tracking branch 'origin/bump-licensed-1.3.2' into interactive-debugger 2018-08-16 10:08:45 -04:00
Ayman Nadeem
dd6141908c add super 2018-08-15 16:52:34 -04:00
Timothy Clem
bd29d222e1 Merge branch 'master' into auto-proto-gen 2018-08-15 12:47:29 -07:00
Ayman Nadeem
a73916ecaa add instances for unsignedRShift for abstract, type-checking and concrete semantics 2018-08-15 15:40:25 -04:00
Ayman Nadeem
d932f069de evaluate unsignedRShift 2018-08-15 13:57:49 -04:00
Rob Rix
886a140881 Merge branch 'interactive-debugger' into there-can-only-be-one-concrete-evaluator-newtype 2018-08-15 13:53:01 -04:00
Rob Rix
ac94df12c2 Merge branch 'master' into interactive-debugger 2018-08-15 13:52:43 -04:00
Timothy Clem
9de677ecc5 Merge pull request #2137 from github/change-port 
Change default port from 8080 to 8001
 2018-08-15 10:40:03 -07:00