Merge requests · Lennard Gäher / Refinedrust Dev

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
Fix buildscripts

!21 · created Feb 18, 2024 by Lennard Gäher
- Merged
updated Feb 19, 2024
add support for rr::context assertions

!20 · created Feb 18, 2024 by Lennard Gäher
frontend
- Merged
updated Feb 19, 2024
Use Nix for GitLab pipelines

!19 · created Feb 16, 2024 by Vincent Lafeychine
- Merged
- 6
updated Mar 05, 2024
Add rustfmt config and format frontend code

!18 · created Feb 14, 2024 by Lennard Gäher
frontend
- Merged
updated Feb 15, 2024
Generate crate interfaces and enable to import them

!17 · created Feb 14, 2024 by Lennard Gäher
- Merged
updated Feb 14, 2024
Resolve duplicate dependencies

!16 · created Feb 11, 2024 by Vincent Lafeychine
- Merged
- 1
updated Feb 14, 2024
Ci/lafeychine/nix

!15 · created Feb 09, 2024 by Vincent Lafeychine
- Merged
- 13
updated Feb 16, 2024
Draft: Ci/lafeychine/inline fptr

!14 · created Feb 09, 2024 by Vincent Lafeychine
updated Apr 04, 2024
Add missing rules for nested shared references

!13 · created Jan 29, 2024 by Lennard Gäher
bug
- Merged
updated Jan 30, 2024
Add shortcut for observations

!12 · created Jan 29, 2024 by Lennard Gäher
frontend
- Merged
updated Jan 29, 2024
improve error messages, rollback ADT registry when encountering a translation error

!11 · created Jan 29, 2024 by Lennard Gäher
frontend
- Merged
updated Jan 30, 2024
Various bug fixes

!10 · created Jan 11, 2024 by Lennard Gäher
- Merged
updated Jan 11, 2024
More tactics for manual proofs

!9 · created Jan 09, 2024 by Lennard Gäher
- Merged
updated Jan 09, 2024
Restructure generated files

!8 · created Jan 05, 2024 by Lennard Gäher
frontend
- Merged
- Approved
updated Jan 09, 2024
feat: Add inline_fptr

!7 · created Jan 05, 2024 by Vincent Lafeychine
- Closed
- 1
updated Jan 05, 2024