Merge requests · Lennard Gäher / Refinedrust Dev

Fix clippy::perf and most of clippy::nursery

!38 · created Apr 17, 2024 by Vincent Lafeychine
- Merged
- 1
- Approved
updated Apr 17, 2024
Generate dune-project by default

!37 · created Apr 16, 2024 by Lennard Gäher
frontend
- Merged
updated Apr 16, 2024
feat(coq): Add flambda support

!36 · created Apr 15, 2024 by Vincent Lafeychine
- Merged
- 4
updated Apr 16, 2024
Fix cache miss in CI

!35 · created Apr 15, 2024 by Vincent Lafeychine
- Merged
- 1
updated Apr 15, 2024
Remove _CoqProject by default

!34 · created Apr 15, 2024 by Lennard Gäher
- Merged
updated Apr 15, 2024
Fix most of clippy::complexity and clippy::correctness

!33 · created Apr 14, 2024 by Vincent Lafeychine
- Merged
- 1
- Approved
updated Apr 15, 2024
Various frontend features

!32 · created Apr 12, 2024 by Lennard Gäher
- Merged
updated Apr 12, 2024
Resolve "Clippy fails on master"

!31 · created Apr 11, 2024 by Vincent Lafeychine
- Merged
- 1
updated Apr 11, 2024
Add clippy analysis

!29 · created Apr 01, 2024 by Vincent Lafeychine
- Merged
- 2
- Approved
updated Apr 11, 2024
fix handling of context items; work on stdlib

!30 · created Apr 05, 2024 by Lennard Gäher
- Merged
updated Apr 05, 2024
Build system tweaks + repo cleanup

!28 · created Mar 23, 2024 by Lennard Gäher
- Merged
updated Mar 23, 2024
Add opam package for stdlib + various fixes

!27 · created Mar 21, 2024 by Lennard Gäher
- Merged
- 2
updated Mar 22, 2024
Initial support for closure codegen

!26 · created Mar 19, 2024 by Lennard Gäher
- Merged
updated Mar 19, 2024
Support for statics

!25 · created Mar 18, 2024 by Lennard Gäher
- Merged
updated Mar 18, 2024
Documentation improvements and cleanup

!24 · created Mar 14, 2024 by Lennard Gäher
- Merged
updated Mar 14, 2024
Add more stdlib libs and spec

!23 · created Mar 11, 2024 by Lennard Gäher
- Merged
updated Mar 11, 2024
Fix formatting on main

!22 · created Mar 05, 2024 by Lennard Gäher
- Merged
updated Mar 05, 2024
Use Nix for GitLab pipelines

!19 · created Feb 16, 2024 by Vincent Lafeychine
- Merged
- 6
updated Mar 05, 2024
add support for rr::context assertions

!20 · created Feb 18, 2024 by Lennard Gäher
frontend
- Merged
updated Feb 19, 2024
Fix buildscripts

!21 · created Feb 18, 2024 by Lennard Gäher
- Merged
updated Feb 19, 2024