Commit Graph

706 Commits

Author SHA1 Message Date
Sameer Rahmani 8f46ca7744
Add latex and math setup to flake.nix 2024-01-28 22:01:19 +00:00
Sameer Rahmani eeb858aec8
Remove the builder script 2024-01-26 20:21:15 +00:00
Sameer Rahmani 9b377a0a3a
Break up the builder script and add the math shell 2024-01-26 20:20:46 +00:00
Sameer Rahmani 99586477e0
Break up dependencies in different groups 2024-01-16 17:23:26 +00:00
Sameer Rahmani b238c69288
Clean up the builder script to replace functionalities with nix 2024-01-16 11:23:09 +00:00
Sameer Rahmani 2e230b9474
Remove redundant bash script from 'scripts' dir 2024-01-16 00:15:54 +00:00
Sameer Rahmani 7c62a58271
Update the license header to 2024 2024-01-15 23:53:22 +00:00
Sameer Rahmani 46d5893733
nix: Remove our version of llvm 2024-01-14 22:00:26 +00:00
Sameer Rahmani 3f87aecff9
nix: Clean up the flake file 2024-01-14 21:47:50 +00:00
Sameer Rahmani 675dced870
Create a flake with all the required dependencies to build Serene 2024-01-14 19:58:43 +00:00
Sameer Rahmani 8aebc244f6
Create a big llvm package that contains everything 2024-01-10 18:21:36 +00:00
Sameer Rahmani 35fe40f5d0
nix: Build libcxx, libcxxabi and libunwind 2023-12-21 22:51:47 +00:00
Sameer Rahmani 75c3fff58e
Add the serene_llvm package as the default toolchain 2023-12-03 22:03:33 +00:00
Sameer Rahmani 5797bc2615
Create a LLVM based stdenv 2023-12-03 19:00:20 +00:00
Sameer Rahmani 9622dc8382
Add a flake.nix to replace our current dev environment
ci/woodpecker/push/build Pipeline failed Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-11-25 21:18:22 +00:00
Sameer Rahmani 3e2aaea218
Replace catch2 with google test 2023-08-15 21:50:16 +01:00
Sameer Rahmani 97c1b3e7c1
move ast related files to its directory
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-08-13 20:12:07 +01:00
Sameer Rahmani 6cfe47b6d6
Clean up the source manager 2023-08-12 20:54:07 +01:00
Sameer Rahmani 9d894b662b
Implement a simpler error model
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-08-11 22:41:20 +01:00
Sameer Rahmani b1cca14433
Move over namespace, ast, and the reader
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-08-08 22:32:29 +01:00
Sameer Rahmani 47c52d0488
Update the CI script to match the new woodpecker changes
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-08-04 00:31:19 +01:00
Sameer Rahmani d54835a961
Remove the old libserene implementations
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
ci/woodpecker/manual/docs Pipeline failed Details
ci/woodpecker/manual/build Pipeline failed Details
2023-07-30 15:12:56 +01:00
Sameer Rahmani 1ef8a5f0ca
jit: Remove LLLazyJIT and LLJIT variant. Stick to LLJIT for now 2023-07-29 15:16:19 +01:00
Sameer Rahmani 6ec0a26a51
Make C++20 the default 2023-07-29 15:11:52 +01:00
Sameer Rahmani 28c98e585b
Fix the JIT_LOG macro's name 2023-07-25 22:34:50 +01:00
Sameer Rahmani 4886a9644b
Remove the deprecated BOM check from precommit hook
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-07-25 22:30:57 +01:00
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 48e97095c7
Remove the old bash based include fixer with a better python version
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-07-25 22:24:26 +01:00
Sameer Rahmani 7fb2125c4b
Move triples to the Options class 2023-07-25 22:23:37 +01:00
Sameer Rahmani e9012b7583
Move the functionality of the old SereneContext to JIT itself 2023-07-23 20:10:04 +01:00
Sameer Rahmani 7a4e76fe08
Move over the SereneContext and a base JIT implementanio
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
ci/woodpecker/manual/build Pipeline was successful Details
ci/woodpecker/manual/docs Pipeline was successful Details
2023-07-21 23:23:16 +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 752be41a9d
Update the readme with no to github badge
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-07-11 18:30:00 +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 25852a5f3f
docs: Move the getting started guide to the docs
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-05-27 22:06:11 +01:00
Sameer Rahmani 3cdaaebff2
docs: Disable the light mode (who needs it?)
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-05-27 20:17:07 +01:00
Sameer Rahmani 83e3744362
Convert the read me to markdown
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/docs Pipeline was successful Details
2023-05-27 20:10:45 +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 6919c02ada
Add the skeleton of th subcommand system
ci/woodpecker/push/build Pipeline was successful Details
2023-05-17 23:12:03 +01:00
Sameer Rahmani 990de49c23
Move back the llvm setup to the main cmake config as suggested by llvm itself 2023-05-17 21:27:15 +01:00
Sameer Rahmani 66da4b5401
ci: Fix the notify step conditions for wpnext
ci/woodpecker/push/build Pipeline was successful Details
2023-05-15 21:56:10 +01:00
Sameer Rahmani 09e16bd43e
ci: Move to v13 of CI image 2023-05-14 22:44:50 +01:00
Sameer Rahmani b66ed56a01
ci: Add the mailer step to notify pipeline
ci/woodpecker/push/lint Pipeline failed Details
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/notify unknown status Details
2023-05-14 11:13:33 +01:00
Sameer Rahmani 263e3f7384
Add bunch of resources to the devs.org
ci/woodpecker/push/lint Pipeline failed Details
ci/woodpecker/push/build Pipeline was successful Details
ci/woodpecker/push/notify unknown status Details
2023-05-14 11:11:13 +01:00