Patrick Thomson
b549b387e1
turn bazel back on and add a script
2020-09-16 18:47:22 -04:00
Rob Rix
a3964bb564
Define BAZEL_BUILD for the repl.
2020-07-16 09:34:59 -04:00
Rob Rix
2b6e78569d
Turn off some warnings in 8.10.
2020-07-14 15:00:43 -04:00
Patrick Thomson
17bc8abd41
Merge remote-tracking branch 'origin/master' into bazel-experiments
2020-07-08 13:37:26 -04:00
Timothy Clem
e85acd4b99
Fix up profiling script
2020-07-07 09:07:11 -07:00
Patrick Thomson
f3d7480cbc
Merge remote-tracking branch 'origin/master' into bazel-experiments
2020-06-29 15:19:08 -04:00
Patrick Thomson
1e58f321b4
Update build docs.
2020-06-29 14:48:02 -04:00
Patrick Thomson
63a0dcebaa
start documenting
2020-06-27 11:31:23 -04:00
Patrick Thomson
66b48b9a83
Give top-level semantic lib/exe its own folder.
...
Every other project has its own folder; as we move to Bazel, this
provides a pleasant consistency.
2020-06-26 13:44:44 -04:00
Patrick Thomson
dfcc353030
This particular specification wasn't necessary.
2020-06-23 15:22:30 -04:00
Patrick Thomson
213b2419a7
REPL: correct path to autogenerated Paths_semantic file.
...
We bumped the version in semantic.cabal without remembering that we
have to bump it herein too.
2020-06-23 15:20:59 -04:00
Ayman Nadeem
c9d4e59d02
add semantic-proto/sec to repl initialization script
2020-06-08 15:00:24 -04:00
Ayman Nadeem
6107f56012
Merge branch 'master' into codegen-cleanup
2020-06-08 13:42:45 -04:00
Timothy Clem
4a1de42deb
Move code generated from protos into separate package
2020-06-04 09:26:11 -07:00
Ayman Nadeem
72d19c1229
Merge branch 'master' into codegen-cleanup
2020-05-20 14:14:25 -04:00
joshvera
4835a5e26a
Add corresponding package to cabal.project
2020-05-19 10:44:07 +02:00
Ayman Nadeem
d70db96038
Merge branch 'master' into codegen-cleanup
2020-04-22 10:16:05 -04:00
Patrick Thomson
76d1b2d533
Include JSON tests in the repl
2020-04-07 15:09:51 -04:00
Rick Winfrey
1d901e5c0e
Merge branch 'master' into precise-ql-tagging
2020-03-31 09:41:51 -07:00
Jinxuan Zhu
df8e63f1fb
Use env bash because /bin/bash does not exists in nixos
2020-03-29 21:49:33 -05:00
Rick Winfrey
d55db8893a
Merge branch 'master' into precise-ql-tagging
2020-03-27 11:52:48 -07:00
Rick Winfrey
c0819a75e9
Add script/build-and-upload
...
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
2020-03-23 13:25:03 -07:00
Rick Winfrey
376881814d
Don't specify semantic-source as local package
2020-03-20 10:29:19 -07:00
Rick Winfrey
30e1768649
Make CI look for semantic-source as local package
2020-03-20 09:29:33 -07:00
Rick Winfrey
42c6750e5d
Merge branch 'master' into precise-ql-tagging
2020-03-19 13:34:03 -07:00
Rick Winfrey
7df556216e
Rename QL to CodeQL
2020-03-19 13:33:36 -07:00
Timothy Clem
4b8dbd6593
repl fix
2020-03-05 13:20:40 -08:00
Rick Winfrey
cada2b7159
Make CI aware of semantic-ql local package
2020-03-04 17:52:28 -08:00
Timothy Clem
2b8850484f
Merge remote-tracking branch 'origin/master' into incremental-sg-api
2020-02-21 08:26:14 -08:00
Timothy Clem
5a358d6894
Fully remove reference to submodules
2020-02-20 09:58:47 -08:00
Timothy Clem
04a74a2813
Get protoc working again
2020-02-12 15:00:28 -08:00
Ayman Nadeem
fa4eda6c89
add semantic-php to ghci-flags-dependencies
2020-02-11 15:56:17 -05:00
Ayman Nadeem
aee068a8be
add semantic-php to ghci-flags
2020-02-11 15:55:12 -05:00
Ayman Nadeem
d94cef94c5
Merge branch 'master' into codegen-migration-leftovers
2020-02-07 17:02:10 -05:00
Patrick Thomson
3e135837fd
Merge pull request #470 from github/macro-madness
...
Silence REPL macro-redefined warnings from the C compiler.
2020-02-06 14:25:59 -05:00
Patrick Thomson
65e661552b
Silence REPL macro-redefined warnings from the C compiler.
...
In certain cases, use of the REPL can land us in a state where there
are multiple `cabal_macros.h` files being included, leading to
duplicate macro definitions. This does not factor into correctness,
as these duplicates are, well, duplicate definitions, but the warning
is tedious, so this patch passes `-Wno-macro-redefined` to the C compiler.
2020-02-04 18:31:03 -05:00
Ayman Nadeem
602ac29afd
remove semantic-codegen from everywhere in the project
2020-02-04 17:37:09 -05:00
Rob Rix
0e5c97038f
Add a semantic-parse package.
2020-02-04 14:25:39 -05:00
Ayman Nadeem
114316c6c8
Merge pull request #448 from github/my-grate
...
Migrating ASTs to Semantic 🧀
2020-02-03 16:31:40 -05:00
Patrick Thomson
9aefc3c1a1
Pass -j to script/repl's GHCi flags.
...
This significantly improves parallelism.
2020-01-31 15:09:09 -05:00
Patrick Thomson
4058cd7b83
Correctly account of the presence of autogen files in build/noopt.
...
If you have `optimizations: False` in your cabal.project.local (such
as when you're in a tight build-run-debug cycle for some executable or
test suite), the autogenerated cabal_macros and Paths_ files might not
be present in the `build/` folder; if they aren't, we should look in
`build/noopt`.
This patch appears to address an issue I saw where the cabal macros
were being redefined, but I'm not entirely sure why. :/
2020-01-31 11:33:23 -05:00
Ayman Nadeem
75389e0a3a
add semantic-codegen to script/ghci-flags
2020-01-31 10:27:27 -05:00
Patrick Thomson
bc3f67a88c
Noopt isn't the right thing here.
2020-01-27 10:33:45 -05:00
Patrick Thomson
c9a581b40b
Correct script/repl path to autogenerated sources.
...
This was preventing use of the repl script with any file that had a
dependency on `Semantic.Version`.
2020-01-26 17:51:53 -05:00
Patrick Thomson
aa67c2a15e
Alphabetize.
2020-01-17 11:22:08 -05:00
Patrick Thomson
3345967836
Merge remote-tracking branch 'origin/master' into semantic-scope-graph
2020-01-14 15:30:01 -05:00
Rob Rix
87d526f96c
Merge pull request #379 from github/analysis-effects
...
Analysis effects
2020-01-14 07:27:49 -05:00
Patrick Thomson
2fbd4be90c
Add semantic-scope-graph to ghci-flags
2020-01-13 14:06:49 -05:00
Timothy Clem
9cd8717cc2
Merge pull request #414 from github/more-precise-parsing
...
More precise parsing
2020-01-06 13:38:35 -08:00
Rob Rix
f305c38228
Add semantic-python’s tests to the load paths.
2019-12-20 10:56:51 -05:00
