742b181282
[sledge] Update typ
...
Reviewed By: mbouaziz
Differential Revision: D9846741
fbshipit-source-id: 1c2876954
6 years ago
6a7c21e7c9
[sledge] Update trace and ppx_trace
...
Reviewed By: mbouaziz
Differential Revision: D9846738
fbshipit-source-id: 14adee4c4
6 years ago
91888c4c41
[sledge] Update import, vector
...
Reviewed By: mbouaziz
Differential Revision: D9934559
fbshipit-source-id: a446f386c
6 years ago
f6ba0c8137
[sledge] Update build system, etc.
...
Reviewed By: jvillard
Differential Revision: D9850346
fbshipit-source-id: 16fa35ae2
6 years ago
e1d4aad487
[ocamlformat] upgrade ocamlformat to 0.8
...
Reviewed By: mbouaziz
Differential Revision: D10359577
fbshipit-source-id: e7f5286e3
6 years ago
40ab73037e
[ocamlformat] upgrade to ocamlformat 0.7
...
Reviewed By: mbouaziz
Differential Revision: D9496601
fbshipit-source-id: 83c6fd241
6 years ago
83a4a8fa5b
[dune] jbuilder -> dune
...
Summary: the_future_is_now
Reviewed By: jberdine
Differential Revision: D8933124
fbshipit-source-id: e5df1a9a3
6 years ago
8b882ac1df
Change license to MIT
...
Summary:
Change the license of the source code from BSD + PATENTS to MIT.
Change `checkCopyright` to reflect the new license and learn some new file
types.
Generated with:
```
git grep BSD | xargs -n 1 ./scripts/checkCopyright -i
```
Reviewed By: jeremydubreil, mbouaziz, jberdine
Differential Revision: D8071249
fbshipit-source-id: 97ca23a
7 years ago
16988b0a7a
[ocamlformat] Upgrade to ocamlformat 0.5
...
Summary:
Upgrade ocamlformat, and base which needs to be done in sync in order to build
ocamlformat, and the other deps can come for the ride.
Reviewed By: jvillard
Differential Revision: D7663537
fbshipit-source-id: 3e90970
7 years ago
dcc0f646fe
Add demo LLAIR client
...
Reviewed By: mbouaziz
Differential Revision: D6892205
fbshipit-source-id: cae4354
7 years ago
446ac6d87c
Add initial version of LLAIR and LLVM to LLAIR translation
...
Reviewed By: mbouaziz
Differential Revision: D6892016
fbshipit-source-id: 3720749
7 years ago
d61b93b1d2
Create sledge directory
...
Reviewed By: jvillard
Differential Revision: D6871629
fbshipit-source-id: 57beac0
7 years ago
Josh Berdine
Jules Villard