Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Kernels #749

Draft
wants to merge 34 commits into
base: master
Choose a base branch
from
Draft

Kernels #749

wants to merge 34 commits into from

Conversation

affeldt-aist
Copy link
Member

@affeldt-aist affeldt-aist commented Sep 21, 2022

Motivation for this change

This PR provides a formalization of s-finite kernels with an application to probabilistic programs, this experiment is documented in this paper: https://inria.hal.science/hal-03917948/

This PR has been split into PR #896 and draft PR #912 and it should therefore be closed in the near future.

Things done/to do
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers
Automatic note to reviewers

Read this Checklist and put a milestone if possible.

@affeldt-aist affeldt-aist marked this pull request as draft September 21, 2022 13:34
@affeldt-aist affeldt-aist mentioned this pull request Oct 28, 2022
2 tasks
@affeldt-aist affeldt-aist mentioned this pull request Jan 9, 2023
1 task
@affeldt-aist affeldt-aist mentioned this pull request Feb 6, 2023
2 tasks
@affeldt-aist affeldt-aist force-pushed the kernels branch 2 times, most recently from 544e270 to 387dba4 Compare March 15, 2023 03:46
@affeldt-aist affeldt-aist mentioned this pull request Mar 15, 2023
1 task
@affeldt-aist affeldt-aist added the enhancement ✨ This issue/PR is about adding new features enhancing the library label Mar 15, 2023
@affeldt-aist affeldt-aist added experiment 🧪 This issue/PR is very experimental wontfix/merge 🚫 We wont fix this issue/merge this PR, we will close it soon labels Apr 27, 2023
@affeldt-aist affeldt-aist removed enhancement ✨ This issue/PR is about adding new features enhancing the library experiment 🧪 This issue/PR is very experimental labels Aug 7, 2023
@proux01 proux01 added the TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done. label Jan 25, 2024
@affeldt-aist affeldt-aist removed the TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done. label Apr 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
wontfix/merge 🚫 We wont fix this issue/merge this PR, we will close it soon
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants