tvl-depot

Author SHA1 Message Date

Author	SHA1	Message	Date
Griffin Smith	e2a3aea451	feat(gs/achilles): Prefix top-level ascriptions with `ty` This makes parsing less ambiguous, which is nice (we can continue to not actually care about indentation!) and aligns nicely with `fn` for the declaration itself. Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>	2021-03-20 20:20:20 +00:00
Griffin Smith	2c838ab845	feat(gs/achilles): Implement extern decls, for glibc functions Implement extern decls, which codegen to LLVM as forward-declared functions, and use these as a hook into calling glibc functions. We can print to the terminal now! The integration tests can test this now. Change-Id: I70af4546b417b888ad9fbb18798db240f77f4e71 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2614 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>	2021-03-20 20:20:20 +00:00
Vincent Ambo	b6895a5b30	merge(glittershark/achilles): Subtree import at 'b93268085a' Imported from https://github.com/glittershark/achilles/ git-subtree-dir: users/glittershark/achilles git-subtree-mainline: `4d193f2395` git-subtree-split: `b93268085a` Change-Id: I64a583b454bbe03e20358ad7808939a4cbc212ba	2021-03-15 22:48:27 +02:00

Griffin Smith

e2a3aea451

feat(gs/achilles): Prefix top-level ascriptions with ty

This makes parsing less ambiguous, which is nice (we can continue to not
actually care about indentation!) and aligns nicely with `fn` for the
declaration itself.

Change-Id: Id48f064e2a1e01c5105297be355d0991b312b76d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2615
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>

2021-03-20 20:20:20 +00:00

Griffin Smith

2c838ab845

feat(gs/achilles): Implement extern decls, for glibc functions

Implement extern decls, which codegen to LLVM as forward-declared
functions, and use these as a hook into calling glibc functions.

We can print to the terminal now! The integration tests can test this
now.

Change-Id: I70af4546b417b888ad9fbb18798db240f77f4e71
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2614
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>

2021-03-20 20:20:20 +00:00

Vincent Ambo

b6895a5b30

merge(glittershark/achilles): Subtree import at 'b93268085a'

Imported from https://github.com/glittershark/achilles/

git-subtree-dir: users/glittershark/achilles
git-subtree-mainline: 4d193f2395
git-subtree-split: b93268085a
Change-Id: I64a583b454bbe03e20358ad7808939a4cbc212ba

2021-03-15 22:48:27 +02:00

3 commits