Commit Graph

76 Commits

Author SHA1 Message Date
Sameer Rahmani 9c3228fffc
Add two useful links to the list of resources
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-07-25 22:28:41 +01:00
Sameer Rahmani 839125eb18
Add a couple of links for Curry-Howard correspondence
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-07-11 18:33:23 +01:00
Sameer Rahmani 51a5d4c0b9
docs: Add the missing getting started markdown file
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-05-27 22:13:58 +01:00
Sameer Rahmani 3cdc4e6f80
docs: Fix the edit link of the articles
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-05-27 19:55:24 +01:00
Sameer Rahmani 3379abb0dc
ci: Add a pipeline to build and deploy the docs
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-05-27 19:36:21 +01:00
Sameer Rahmani 01fd49524b
docs: Move the mkdocs pages to docs/pages
ci/woodpecker/push/build Pipeline was successful Details
2023-05-27 17:15:12 +01:00
Sameer Rahmani 38a9481f04
docs: Move some of the development resources to the docs
ci/woodpecker/push/build Pipeline was successful Details
2023-05-24 23:11:16 +01:00
Sameer Rahmani 6610a05b82
docs: Finalize the mkdocs setup
ci/woodpecker/push/build Pipeline was successful Details
2023-05-19 19:19:30 +01:00
Sameer Rahmani db58f73d7c
docs: Add a very basic mkdocs setup
ci/woodpecker/push/build Pipeline was successful Details
2023-05-18 00:43:19 +01:00
Sameer Rahmani cd1c675b51
docs: Remove the sphinx setup 2023-05-17 23:48:33 +01:00
Sameer Rahmani dc61b42d57
Fix the license header for 2023
ci/woodpecker/push/lint Pipeline failed Details
ci/woodpecker/push/build Pipeline failed Details
2023-02-06 17:40:45 +00:00
Sameer Rahmani 8ed4cc43a9 Add the spec around loading Serene libs vs generic libs (not completed) 2022-07-12 00:35:32 +01:00
Sameer Rahmani 8a32489500 End of Part1 2022-06-13 18:26:14 +01:00
Sameer Rahmani 6362b28492 Revert videos.org from ep19 2022-06-13 12:45:06 +01:00
Sameer Rahmani e326964bdb Add a glossary section to the spec.org 2022-06-02 15:07:01 +01:00
Sameer Rahmani 571691598d Revert the slir example to use module instead of ns 2022-06-02 15:04:10 +01:00
Sameer Rahmani 97b31e8cb0 Add the NsOp to represent namespaces 2022-04-27 21:49:57 +01:00
Sameer Rahmani 0d7f51da8a Add the 'call' operation to slir 2022-04-20 21:24:01 +01:00
Sameer Rahmani 6abc125e6e Add the RetrunOp 'ret' to slir 2022-04-08 11:39:48 +01:00
Sameer Rahmani fe181755e7 Add fn,def and value operations to slir 2022-04-08 11:02:46 +01:00
Sameer Rahmani 3a3e3a4da4 Rename the old ops of slir to mark them for removal 2022-04-08 10:30:09 +01:00
Sameer Rahmani 12c2d1d455 Fix the slir-opt tool to use slir and few builtin IRs 2022-04-05 00:05:27 +01:00
Sameer Rahmani 5508a8e3c3 Add devtools utility set 2022-04-04 22:43:12 +01:00
Sameer Rahmani 92f7616ed1 Finish up ep number 18 2022-03-29 19:56:48 +01:00
Sameer Rahmani 7050e7d53d Clean up the halley files 2022-03-29 19:55:42 +01:00
Sameer Rahmani 644cf11c89 Finish ep17 and address trivial TODOs in the context 2022-02-27 19:10:30 +00:00
Sameer Rahmani 40e5f5a034 doxygen + sphinx proved to be not good for us 2022-02-19 14:49:08 +00:00
Sameer Rahmani bcbf49c1a1 Setup Sphinx and doxygen in CMake for the docs 2022-02-15 21:33:11 +00:00
Sameer Rahmani 00592d6af1 Add new doxygen setup 2022-02-12 22:25:22 +00:00
Sameer Rahmani 95e9edf61e Add the notes for episode 16 2022-01-30 20:01:32 +00:00
Sameer Rahmani 935634b7c8 Update the license header for 2022 2022-01-27 11:44:44 +00:00
Sameer Rahmani 656adafd7e Add the symbol type to SLIR 2022-01-18 19:45:30 +00:00
Sameer Rahmani 8c85dd4bbe Finish the slides for episode 15 2022-01-09 11:55:34 +00:00
Sameer Rahmani aca81f8d61 Finalize EP14 2021-12-19 21:45:49 +00:00
Sameer Rahmani 76a9106559 update the slides for ep13 2021-11-27 17:49:24 +00:00
Sameer Rahmani e825367f95 Add the notes for episode 13 2021-11-26 15:43:47 +00:00
Sameer Rahmani 800105dbea Merge jit2 branch 2021-11-12 16:28:34 +00:00
Sameer Rahmani 981e5171b2 Setup the base none lazy jit 2021-11-10 19:40:51 +00:00
Sameer Rahmani 556db28a99 Add a note to show case code generation on ep13 2021-11-04 00:59:38 +00:00
Sameer Rahmani 69e8782c67 finalize ep 12 2021-11-03 14:06:45 +00:00
Sameer Rahmani 5622b4de0c Prepare for ep 12 2021-11-02 22:05:34 +00:00
Sameer Rahmani 895ff27a51 Remove useless null checks from the passes 2021-10-16 20:48:14 +01:00
Sameer Rahmani e5c5a68128 Clean up the slir lowering impl 2021-10-16 16:15:56 +01:00
Sameer Rahmani 10015683f5 Refactor the passes name for slir lowering 2021-10-06 18:48:48 +01:00
Sameer Rahmani dc051797ee Fix the fn slir generation proccess 2021-09-23 19:24:51 +01:00
Sameer Rahmani 00869e6c8d Replace some of the Result types with llvm::Optional 2021-09-19 10:27:13 +01:00
Sameer Rahmani ba77f9bc99 Fix the readNamespace in the serenec 2021-09-17 13:49:55 +01:00
Sameer Rahmani 91aa0148d6 Create a basic print function for the diagnostic class 2021-09-12 20:31:12 +01:00
Sameer Rahmani 766cf2dfed Add the error code to the diagnostic 2021-09-12 20:31:12 +01:00
Sameer Rahmani b285172597 Finalize the new approach to reading chars in the reader 2021-09-12 20:31:12 +01:00