Skip to content

Actions: fzaiser/genfer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix clippy Rust #26: Commit d132c76 pushed by fzaiser
September 16, 2024 23:29 3m 29s main
main
September 16, 2024 23:29 3m 29s
Fix clippy Rust #25: Commit 8428a86 pushed by fzaiser
June 22, 2024 16:13 3m 25s main
main
June 22, 2024 16:13 3m 25s
Update README Rust #24: Commit 60ea646 pushed by fzaiser
May 3, 2024 05:36 3m 53s main
main
May 3, 2024 05:36 3m 53s
Fix clippy lints Rust #23: Commit bdebad0 pushed by fzaiser
March 17, 2024 12:56 3m 46s main
main
March 17, 2024 12:56 3m 46s
Make support analysis more precise (take if conditions into account) Rust #22: Commit 8d2be2f pushed by fzaiser
March 7, 2024 04:10 3m 27s main
main
March 7, 2024 04:10 3m 27s
Reorganize semantics transformers in their own modules Rust #21: Commit 8cdde75 pushed by fzaiser
March 6, 2024 14:21 3m 36s main
main
March 6, 2024 14:21 3m 36s
Fix clippy warnings and typos Rust #20: Commit 52ddcad pushed by fzaiser
March 6, 2024 02:38 3m 47s main
main
March 6, 2024 02:38 3m 47s
Refactor: improve handling of events & support sets Rust #19: Commit fb46e31 pushed by fzaiser
March 5, 2024 09:01 3m 33s main
main
March 5, 2024 09:01 3m 33s
Display NaN for rationals as "(not a rational)" Rust #18: Commit 3378fdf pushed by fzaiser
February 6, 2024 15:16 3m 33s main
main
February 6, 2024 15:16 3m 33s
Fix comment Rust #17: Commit 0a84af6 pushed by fzaiser
December 30, 2023 07:07 3m 26s main
main
December 30, 2023 07:07 3m 26s
increase the default stack size for MacOS (#1) Rust #16: Commit af84c77 pushed by fzaiser
December 30, 2023 07:02 3m 41s main
main
December 30, 2023 07:02 3m 41s
increase the default stack size for MacOS Rust #15: Pull request #1 opened by Philipp15b
December 12, 2023 22:33 3m 31s Philipp15b:main
Philipp15b:main
December 12, 2023 22:33 3m 31s
Fix bug around handling of intervals Rust #14: Commit 1b2e9ba pushed by fzaiser
November 5, 2023 23:06 3m 37s main
main
November 5, 2023 23:06 3m 37s
Reorganize number types into modules Rust #13: Commit 50e94ea pushed by fzaiser
November 4, 2023 22:14 3m 49s main
main
November 4, 2023 22:14 3m 49s
Add benchmark code generation scripts Rust #12: Commit b083b7d pushed by fzaiser
November 3, 2023 13:38 6m 30s main
main
November 3, 2023 13:38 6m 30s
Add MIT license Rust #11: Commit 1d6c970 pushed by fzaiser
November 3, 2023 13:10 5m 22s main
main
November 3, 2023 13:10 5m 22s
Add (most) NeurIPS benchmarks as tests Rust #10: Commit 72127b0 pushed by fzaiser
October 31, 2023 01:31 5m 12s main
main
October 31, 2023 01:31 5m 12s
Fix benchmarking script Rust #9: Commit 7296b8e pushed by fzaiser
October 31, 2023 00:56 4m 49s main
main
October 31, 2023 00:56 4m 49s
Add NeurIPS benchmarks Rust #8: Commit 35ecde8 pushed by fzaiser
October 30, 2023 13:55 5m 23s main
main
October 30, 2023 13:55 5m 23s
Output normalized probabilities in the JSON file Rust #7: Commit 94d0cf6 pushed by fzaiser
October 28, 2023 18:24 5m 6s main
main
October 28, 2023 18:24 5m 6s
Output GF translation time in JSON Rust #6: Commit 03450b0 pushed by fzaiser
October 26, 2023 15:15 4m 45s main
main
October 26, 2023 15:15 4m 45s
Output running times uniformly (always in seconds) Rust #5: Commit 7e8a126 pushed by fzaiser
October 24, 2023 03:45 4m 44s main
main
October 24, 2023 03:45 4m 44s
Improve behavior of --rational (avoid square roots) Rust #4: Commit 5911de1 pushed by fzaiser
October 19, 2023 03:08 5m 54s main
main
October 19, 2023 03:08 5m 54s
Set an automatic --limit for finite distributions Rust #3: Commit 73cc050 pushed by fzaiser
October 19, 2023 00:35 5m 32s main
main
October 19, 2023 00:35 5m 32s
Fix bug in substitution of taylor polynomials Rust #2: Commit f1acfd4 pushed by fzaiser
October 18, 2023 15:19 5m 24s main
main
October 18, 2023 15:19 5m 24s