Ayman Nadeem
|
ee7b3b74a8
|
bitwise carrier instance in type domain
|
2018-12-14 16:23:54 -05: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 |
|
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 |
|
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 |
|
Ayman Nadeem
|
a8e1bbb5f6
|
Merge branch 'factor-abstract-value-as-value-effects' of https://github.com/github/semantic into factor-abstract-value-as-value-effects
|
2018-12-12 17:50:18 -05:00 |
|
Ayman Nadeem
|
5611368f64
|
add numeric carrier instance to concrete domain
|
2018-12-12 17:47:39 -05:00 |
|
Ayman Nadeem
|
1ccc6c0895
|
add numeric carrier instance to type
|
2018-12-12 17:01:11 -05:00 |
|
Ayman Nadeem
|
e953380aaf
|
add numeric carrier instance to abstract domain
|
2018-12-12 16:59:46 -05:00 |
|
Ayman Nadeem
|
d46e7e13b5
|
add Numeric effect
|
2018-12-12 16:24:17 -05:00 |
|
Ayman Nadeem
|
7260da9e7d
|
remove symbol and regex constructors
|
2018-12-12 16:03:45 -05:00 |
|
Ayman Nadeem
|
1676dbd999
|
remove regex
|
2018-12-12 15:59:58 -05:00 |
|
Ayman Nadeem
|
062ad8b083
|
remove symbol
|
2018-12-12 15:55:56 -05:00 |
|
Rob Rix
|
d7f915373b
|
Merge branch 'master' into factor-abstract-value-as-value-effects
|
2018-12-12 14:53:41 -05:00 |
|
Ayman Nadeem
|
1764aeb492
|
defined string and asString using the effect
|
2018-12-12 13:51:59 -05:00 |
|
Josh Vera
|
1be95883dc
|
Merge pull request #2297 from github/bump-ts-go-and-ruby
Bump haskell-tree-sitter submodules.
|
2018-12-12 13:28:33 -05:00 |
|
Ayman Nadeem
|
bfd755fbda
|
provide string effect
|
2018-12-12 12:52:56 -05:00 |
|
joshvera
|
8bf1b40342
|
Merge branch 'bump-ts-go-and-ruby' of https://github.com/github/semantic into bump-ts-go-and-ruby
|
2018-12-12 12:51:05 -05:00 |
|
Ayman Nadeem
|
9f54d28253
|
create string carrier instance for concrete domain
|
2018-12-12 12:40:56 -05:00 |
|
Ayman Nadeem
|
53924d1a15
|
clean up formatting
|
2018-12-12 12:28:18 -05:00 |
|
Ayman Nadeem
|
ca687a66a7
|
create string carrier instance for type-checking domain
|
2018-12-12 12:27:34 -05:00 |
|
Patrick Thomson
|
02c66ad210
|
Merge branch 'master' into bump-ts-go-and-ruby
|
2018-12-12 12:23:40 -05:00 |
|
Patrick Thomson
|
da711689af
|
Merge pull request #2300 from github/unify-matching-rewriting
Unify APIs for matching and rewriting syntax trees.
|
2018-12-12 12:23:15 -05:00 |
|
Patrick Thomson
|
55870d8605
|
Merge branch 'master' into bump-ts-go-and-ruby
|
2018-12-12 12:21:06 -05:00 |
|
Ayman Nadeem
|
191723db94
|
create string carrier instance for abstract domain
|
2018-12-12 12:15:14 -05:00 |
|
Patrick Thomson
|
98fc4aa494
|
Merge branch 'master' into unify-matching-rewriting
|
2018-12-12 12:01:08 -05:00 |
|
Ayman Nadeem
|
c0ad2987b5
|
add runString
|
2018-12-12 11:57:11 -05:00 |
|
Patrick Thomson
|
3135426fcd
|
Use clone-example-repos to get Go and Ruby examples.
Go tests appear to be broken. Gonna file an issue about it.
|
2018-12-12 11:14:16 -05:00 |
|
Rob Rix
|
85e9f21144
|
Alignment.
|
2018-12-12 09:48:42 -05:00 |
|
Rob Rix
|
2c0f8b355b
|
Rename the value effects section to domain effects.
|
2018-12-12 09:48:08 -05:00 |
|
Rob Rix
|
49785f1718
|
Spacing.
|
2018-12-12 09:47:17 -05:00 |
|
Rob Rix
|
1d4421e512
|
Sort the Unit carrier after its handler.
|
2018-12-12 09:47:00 -05:00 |
|
Rob Rix
|
e7bc7e0e31
|
Spacing.
|
2018-12-12 09:46:11 -05:00 |
|
Patrick Thomson
|
51331c505e
|
turn the last spec back on and add docs
|
2018-12-11 18:10:57 -05:00 |
|
Patrick Thomson
|
684a752773
|
remove Semantic.Util.Rewriting
|
2018-12-11 17:47:13 -05:00 |
|
Patrick Thomson
|
e329cbe89a
|
unify the last spec
|
2018-12-11 17:36:42 -05:00 |
|
Rob Rix
|
89793d2cf5
|
Fix the specs.
|
2018-12-11 17:21:57 -05:00 |
|
Patrick Thomson
|
1de0e9ef09
|
move specs around
|
2018-12-11 17:21:39 -05:00 |
|