Skip to content

Pull requests: turion/rhine

New pull request New
41 Open 167 Closed
41 Open 167 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Usealt+click/returnto exclude labels
or⇧+click/returnfor 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

Bump kleidukos/get-tested from 0.1.7.1 to 0.1.8.0 dependencies Pull requests that update a dependency file
#356 openedSep 9, 2024by dependabot bot Loading…
Recording
#354 openedAug 29, 2024by turion • Draft
rhine-bayes: Add presentation
#353 openedAug 29, 2024by turion • Draft
Possible fix for #304: Simplify init_clock and make sinceLast a Maybe
#352 openedAug 29, 2024by turion • Draft
WIP inspection test to ensure correct optimization
#351 openedAug 29, 2024by turion • Draft
Add script to simplify screen recordings.
#350 openedAug 29, 2024by turion Loading…
Extend benchmark
#349 openedAug 13, 2024by turion Loading…
5 tasks
Remove SN GADT in favour of inlinable functions
#348 openedAug 13, 2024by turion Loading…
1
Schedule a list of automata efficiently
#343 openedJul 16, 2024by turion Loading…
Use get-tested to compare nix flake build matrix with github actions matrix
#342 openedJul 15, 2024by turion Loading…
1 task
Allow GHC 9.10
#340 openedJun 25, 2024by turion Loading…
Fix #304 (simplify init clock)
#323 openedMay 16, 2024by turion Loading…
1 task done
1
3
Improve clock erasure in the light of automata
#309 openedMay 10, 2024by turion Loading…
Catch io exceptions in clocks
#300 openedMar 13, 2024by turion • Draft
Local clock
#291 openedFeb 23, 2024by turion • Draft
1 task
Inference buffer
#290 openedFeb 16, 2024by turion • Draft
Fix MacOS runtime error in Gloss apps
#283 openedJan 30, 2024by turion Loading…
1 of 5 tasks
Zurihac24
1
1
Dev upper bounds
#273 openedJan 6, 2024by turion Loading…
1 of 2 tasks
2
Making SN an arrow: Further ideas
#263 openedNov 14, 2023by turion • Draft
2 tasks
Make SN an Arrow
#261 openedNov 13, 2023by turion • Draft
1 task
v2
@turion
1
Dev ppmmh feature rhine-bayes
#244 openedAug 7, 2023by turion Loading…
1
WIP poisson clock
#238 openedJul 20, 2023by turion • Draft
Dev millisecond yield
#236 openedJul 13, 2023by turion • Draft
1 task
Add rhine-cassava backend
#226 openedMay 15, 2023by turion Loading…
1 of 6 tasks
18
Frequency outlier detection
#225 openedMay 15, 2023by turion • Draft
1 task
ProTip! no:milestonewill show everything without a milestone.