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 |