1
1
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Parsing, analyzing, and comparing source code across many languages
Go to file
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
.licenses/semantic/cabal Specify the haskeline license. 2018-08-03 14:28:26 -04:00
app Rename SemanticCmdLine to Semantic.CLI. 2017-11-27 11:57:27 -05:00
bench Update bench to work again 2018-08-13 15:42:42 -07:00
bin Keep a bin directory around for deployments 2016-02-02 13:50:07 -06:00
proto Regen protos, slight ordering differences 2018-08-14 18:16:09 -07:00
script Fix tests 2018-06-22 14:19:01 -04:00
src Move disjunction into the Boolean effect. 2018-08-23 13:05:26 -04:00
test reshuffle module layout so that Environment can depend on Heap 2018-08-21 13:42:45 +10:00
vendor Bump haskell-tree-sitter 2018-08-09 15:45:45 -07:00
.ghci fix conflicts with new haskell additions 2018-05-31 15:32:10 -07:00
.gitattributes Treat the licenses dir as vendored. 2017-08-15 10:49:51 -04:00
.gitignore Example rover configs, useful for testing 2018-07-31 10:02:39 -07:00
.gitmodules Try including grpc-haskell in stack.yaml 2018-07-06 17:18:19 -04:00
.hlint.yaml Ignore the module export list hint. 2018-07-16 09:20:34 -04:00
.hspec Add .hspec for depths default, make sure hspec version supports 2017-02-17 08:27:51 -08:00
.stylish-haskell.yaml Make typeapplications a default extension 2018-03-26 12:00:19 -04:00
semantic.cabal move Analysis.Abstract.Configuration to Control.Abstract 2018-08-21 13:42:45 +10:00
Setup.hs Use the simple build type. 2017-07-23 10:34:30 -04:00