Skip to content

Pull requests: turion/rhine

New pull request New
40 Open 174 Closed
40 Open 174 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Recording
#354 opened Aug 29, 2024 by turion • Draft
rhine-bayes: Add presentation
#353 opened Aug 29, 2024 by turion • Draft
Possible fix for #304: Simplify init_clock and make sinceLast a Maybe
#352 opened Aug 29, 2024 by turion • Draft
WIP inspection test to ensure correct optimization
#351 opened Aug 29, 2024 by turion • Draft
Add script to simplify screen recordings.
#350 opened Aug 29, 2024 by turion Loading…
Extend benchmark
#349 opened Aug 13, 2024 by turion Loading…
5 tasks
Remove SN GADT in favour of inlinable functions
#348 opened Aug 13, 2024 by turion Loading…
1
Schedule a list of automata efficiently
#343 opened Jul 16, 2024 by turion Loading…
Use get-tested to compare nix flake build matrix with github actions matrix
#342 opened Jul 15, 2024 by turion Loading…
1 task
Allow GHC 9.10
#340 opened Jun 25, 2024 by turion Loading…
Fix #304 (simplify init clock)
#323 opened May 16, 2024 by turion Loading…
1 task done
1
3
Improve clock erasure in the light of automata
#309 opened May 10, 2024 by turion Loading…
Catch io exceptions in clocks
#300 opened Mar 13, 2024 by turion • Draft
Local clock
#291 opened Feb 23, 2024 by turion • Draft
1 task
Inference buffer
#290 opened Feb 16, 2024 by turion • Draft
Fix MacOS runtime error in Gloss apps
#283 opened Jan 30, 2024 by turion Loading…
1 of 5 tasks
Zurihac24
1
1
Dev upper bounds
#273 opened Jan 6, 2024 by turion Loading…
1 of 2 tasks
2
Making SN an arrow: Further ideas
#263 opened Nov 14, 2023 by turion • Draft
2 tasks
Make SN an Arrow
#261 opened Nov 13, 2023 by turion • Draft
1 task
v2
@turion
1
Dev ppmmh feature rhine-bayes
#244 opened Aug 7, 2023 by turion Loading…
1
WIP poisson clock
#238 opened Jul 20, 2023 by turion • Draft
Dev millisecond yield
#236 opened Jul 13, 2023 by turion • Draft
1 task
Add rhine-cassava backend
#226 opened May 15, 2023 by turion Loading…
1 of 6 tasks
18
Frequency outlier detection
#225 opened May 15, 2023 by turion • Draft
1 task
RMSMC
#223 opened May 12, 2023 by turion Loading…
1
ProTip! Add no:assignee to see everything that’s not assigned.