Parsing, analyzing, and comparing source code across many languages

starred-github-repostarred-repo

Rob Rix 4c8359176b Merge remote-tracking branch 'origin/charliesome/substitution' into abstract-abstract-semantics		2018-07-04 10:44:55 -04:00
.licenses/semantic/cabal	Update licenses for wl-pprint	2018-07-03 15:08:26 -07:00
app	Rename SemanticCmdLine to Semantic.CLI.	2017-11-27 11:57:27 -05:00
bench	Fix benchmarks.	2018-05-04 13:49:37 -04:00
bin	Keep a bin directory around for deployments	2016-02-02 13:50:07 -06:00
proto	++grpc-haskell final linebreak improvement	2018-07-03 15:09:14 -07:00
script	Fix tests	2018-06-22 14:19:01 -04:00
src	Merge remote-tracking branch 'origin/charliesome/substitution' into abstract-abstract-semantics	2018-07-04 10:44:55 -04:00
test	Merge branch 'master' into abstract-abstract-semantics	2018-07-04 10:44:44 -04:00
vendor	++grpc-haskell final linebreak improvement	2018-07-03 15:09:14 -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	Build --profile builds in a separate stack-work directory.	2018-06-25 15:34:20 -04:00
.gitmodules	Remove our proto3-* submodules.	2018-06-19 10:35:47 -04:00
.hlint.yaml	🔥 some pointless notes.	2018-06-19 09:56:05 -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	Stub in a module for abstract value semantics.	2018-07-04 09:21:51 -04:00
Setup.hs	Use the simple build type.	2017-07-23 10:34:30 -04:00