Timothy Clem
|
1bb0e3c149
|
Handle printing binary multiplication with precedence!
|
2018-08-24 10:59:09 -07:00 |
|
Timothy Clem
|
b1c4ceceb0
|
WIP - support reprinting of binaries
|
2018-08-24 10:36:27 -07:00 |
|
Timothy Clem
|
46ea14b856
|
Re-order
|
2018-08-24 10:36:03 -07:00 |
|
Timothy Clem
|
e9e8edbebe
|
Dedicated util for rewriting
|
2018-08-24 10:35:38 -07:00 |
|
Timothy Clem
|
f183a15094
|
Spacing
|
2018-08-24 10:35:25 -07:00 |
|
Rick Winfrey
|
63ed17bad8
|
Merge branch 'master' into set-timeout-as-env-var
|
2018-08-24 10:18:50 -07:00 |
|
Rick Winfrey
|
4d4ab104bb
|
Update field numbers
|
2018-08-24 10:11:38 -07:00 |
|
Rob Rix
|
f80cb92c17
|
Merge pull request #2150 from github/haddock-dash-docset-generation
Haddock -> Dash docset generation
|
2018-08-24 09:38:54 -04:00 |
|
Rob Rix
|
a0a9ada968
|
Merge branch 'master' into haddock-dash-docset-generation
|
2018-08-24 09:27:46 -04:00 |
|
Rob Rix
|
8e891a9af1
|
Merge pull request #2146 from github/boolean-value-effect
Boolean value effect
|
2018-08-24 09:27:22 -04:00 |
|
Rob Rix
|
5684b2ee5b
|
Merge branch 'master' into boolean-value-effect
|
2018-08-24 09:15:56 -04:00 |
|
Rob Rix
|
61231d2379
|
Merge pull request #2148 from github/show-colourful-output-in-terminals
Show colourful output in terminals
|
2018-08-24 09:15:25 -04:00 |
|
Timothy Clem
|
d2a4257f94
|
Get rid of the underscore names
|
2018-08-23 16:38:42 -07:00 |
|
Timothy Clem
|
3f0b1e678f
|
New names ftw
|
2018-08-23 16:10:32 -07:00 |
|
Timothy Clem
|
91210dbc42
|
s/runOnce/stepMatcher
|
2018-08-23 15:53:43 -07:00 |
|
Timothy Clem
|
17fbceb17a
|
Remove need for lens
|
2018-08-23 15:53:43 -07:00 |
|
Timothy Clem
|
1e7f3b394e
|
Note about future handle of tokenizing Error terms
|
2018-08-23 15:53:43 -07:00 |
|
Timothy Clem
|
7b82038554
|
We don't use this
|
2018-08-23 15:53:43 -07:00 |
|
Timothy Clem
|
d1cca96072
|
s/InvalidContext/UnbalancedPair
|
2018-08-23 15:53:43 -07:00 |
|
Timothy Clem
|
f0de974f81
|
Typo fix in docs
|
2018-08-23 15:53:43 -07:00 |
|
Patrick Thomson
|
0d4aaef985
|
Merge branch 'master' into source-aware-reprinter
|
2018-08-23 18:32:58 -04:00 |
|
Rick Winfrey
|
80df9a6849
|
Don't checkin docset artifacts
|
2018-08-23 14:28:55 -07:00 |
|
Rick Winfrey
|
3d42ea9dfd
|
Merge branch 'set-timeout-as-env-var' of https://github.com/github/semantic into set-timeout-as-env-var
|
2018-08-23 11:31:24 -07:00 |
|
Rob Rix
|
9895659ad9
|
Omit the range/span from --show with AST parse.
|
2018-08-23 14:16:31 -04:00 |
|
Rob Rix
|
4d7ea152e2
|
Omit the range/span from --show in parse.
|
2018-08-23 14:16:05 -04:00 |
|
Rob Rix
|
3e8a87968e
|
Colourize --show output for terminals.
|
2018-08-23 14:10:04 -04:00 |
|
Rob Rix
|
bad042bdc6
|
Merge branch 'master' into boolean-value-effect
|
2018-08-23 14:01:23 -04:00 |
|
Josh Vera
|
df71a3b091
|
Merge branch 'master' into set-timeout-as-env-var
|
2018-08-23 13:55:42 -04:00 |
|
Josh Vera
|
35c1cef725
|
Merge pull request #2147 from github/more-accurate-error-context
Bump effects for more accurate error context.
|
2018-08-23 13:53:51 -04:00 |
|
Rick Winfrey
|
e84429509e
|
Merge branch 'master' into set-timeout-as-env-var
|
2018-08-23 10:39:52 -07:00 |
|
Rob Rix
|
99a19e6e17
|
Bump effects for more accurate error context.
This brings in https://github.com/joshvera/effects/pull/65, avoiding a bug where local changes would be applied outside the local scope.
|
2018-08-23 13:37:56 -04:00 |
|
Rob Rix
|
f521893754
|
There aren’t actually any kind signatures any more.
|
2018-08-23 13:32:37 -04:00 |
|
Rob Rix
|
779972acb5
|
Merge branch 'master' into boolean-value-effect
|
2018-08-23 13:15:41 -04:00 |
|
Rob Rix
|
d21f0976f0
|
Run the boolean effect in the evaluator spec.
|
2018-08-23 13:08:38 -04:00 |
|
Rob Rix
|
36cb1a0a99
|
Move disjunction into the Boolean effect.
This allows us to specialize how it’s handled for each abstract domain, short-circuiting in the concrete domain and not otherwise.
|
2018-08-23 13:05:26 -04:00 |
|
Rob Rix
|
54792b6264
|
Define booleans with a value effect.
|
2018-08-23 12:54:03 -04:00 |
|
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 |
|