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 |
Sameer Rahmani
|
4409f117b2
|
ci: Upgrade build to tag 10
|
2023-05-14 11:11:08 +01:00 |
Sameer Rahmani
|
fb7f010f7d
|
ci: Remove the on success condition on notify
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/lint Pipeline was successful
Details
ci/woodpecker/push/notify unknown status
Details
ci/woodpecker/manual/build Pipeline failed
Details
ci/woodpecker/manual/lint Pipeline was successful
Details
ci/woodpecker/manual/notify unknown status
Details
|
2023-05-13 21:51:12 +01:00 |
Sameer Rahmani
|
68a7c1da58
|
ci: Remove the 'evaluate' syntax from notify
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/lint Pipeline was successful
Details
ci/woodpecker/push/notify Pipeline was successful
Details
|
2023-05-13 21:48:28 +01:00 |
Sameer Rahmani
|
b22a2bd0b6
|
ci: Add the notify pipeline
|
2023-05-13 21:44:32 +01:00 |
Sameer Rahmani
|
476e17f5d9
|
ci: Disable ccache on the ci
ci/woodpecker/push/build Pipeline was successful
Details
ci/woodpecker/push/lint Pipeline was successful
Details
|
2023-05-12 20:04:22 +01:00 |
Sameer Rahmani
|
963fc89f64
|
ci: Build again with a (cmake/ninja)less toolchain
ci/woodpecker/push/lint Pipeline was successful
Details
ci/woodpecker/push/build Pipeline failed
Details
|
2023-05-12 19:55:17 +01:00 |
Sameer Rahmani
|
e74e3b583b
|
Add the ci link to the readme
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/lint Pipeline was successful
Details
|
2023-05-12 19:15:57 +01:00 |
Sameer Rahmani
|
4ae7e0e0d5
|
ci: Clean up the volume
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/lint Pipeline was successful
Details
|
2023-05-12 19:13:04 +01:00 |
Sameer Rahmani
|
280ecb4be4
|
ci: Update the build workflow
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/lint Pipeline was successful
Details
|
2023-05-12 19:04:09 +01:00 |
Sameer Rahmani
|
16bcbd4945
|
Update the read me file with the new build instructions
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/lint Pipeline was successful
Details
|
2023-05-12 18:59:55 +01:00 |
Sameer Rahmani
|
280cd9b7da
|
Remove the redundant deps.sh
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/lint Pipeline was successful
Details
|
2023-05-12 18:41:20 +01:00 |
Sameer Rahmani
|
8d0e979b5f
|
builder: Add support for automatic toolchain setup
|
2023-05-12 18:41:06 +01:00 |
Sameer Rahmani
|
59f54b5678
|
Clean up main cmake scripts
|
2023-05-12 18:38:58 +01:00 |