Stefan Ellmauthaler ellmau
0 Followers · 0 Following
Repositories
2
 Projects Packages Public Activity Starred Repositories
ellmau synced commits to dependabot/cargo/biodivine-lib-bdd-0.4.2 at ellmau/adf-obdd from mirror 2023-02-02 05:32:30 +01:00
ellmau synced new reference dependabot/cargo/nom-7.1.3 to ellmau/adf-obdd from mirror 2023-02-02 05:32:30 +01:00
ellmau synced commits to dependabot/cargo/nom-7.1.3 at ellmau/adf-obdd from mirror 2023-02-02 05:32:30 +01:00
ellmau synced new reference dependabot/cargo/env_logger-0.10.0 to ellmau/adf-obdd from mirror 2023-02-02 05:32:30 +01:00
ellmau synced new reference dependabot/cargo/clap-4.1.4 to ellmau/adf-obdd from mirror 2023-02-02 05:32:30 +01:00
ellmau synced commits to dependabot/cargo/clap-4.1.4 at ellmau/adf-obdd from mirror 2023-02-02 05:32:30 +01:00
ellmau synced new reference dependabot/cargo/biodivine-lib-bdd-0.4.2 to ellmau/adf-obdd from mirror 2023-02-02 05:32:30 +01:00
ellmau synced commits to main at ellmau/nixos from mirror 2023-01-26 16:02:28 +01:00
e7176eccc1 flake.lock: Update
ab101cd80a Fix swayidle
Compare 2 commits »
ellmau synced commits to main at ellmau/adf-obdd from mirror 2023-01-25 04:18:12 +01:00
24c6788c9f Update Readme files to fix breaking badge changes
ellmau synced commits to main at ellmau/nixos from mirror 2023-01-20 15:08:11 +01:00
2e87b3e566 Update flake templates to 22.11
ellmau synced commits to main at ellmau/nixos from mirror 2023-01-19 15:00:03 +01:00
c9e4d78666 Update NixOS Mailserver flake
23186bf68d flake.lock: Update
823636d552 Remove override inputs
Compare 3 commits »
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-01-14 02:18:14 +01:00
d905776952 Animate graph changes
e615a1fb86 Upgrade frontend dependencies
b23f342a4e Use unoptimised hybrid step for better presentation
92954cf87b Use standard example for adfs on the frontend
07537c6d25 Support more options and multiple models
Compare 25 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-01-11 03:38:12 +01:00
abb6b00c25 flake.lock: Update
ellmau synced commits to main at ellmau/nixos from mirror 2023-01-03 02:28:12 +01:00
cb6bab9199 flake.lock: Update
ellmau synced and deleted reference dependabot/cargo/predicates-2.1.5 at ellmau/adf-obdd from mirror 2023-01-03 00:28:12 +01:00
ellmau synced and deleted reference dependabot/cargo/assert_fs-1.0.10 at ellmau/adf-obdd from mirror 2023-01-03 00:28:12 +01:00
ellmau synced and deleted reference dependabot/cargo/clap-4.0.32 at ellmau/adf-obdd from mirror 2023-01-03 00:28:12 +01:00
ellmau synced commits to main at ellmau/adf-obdd from mirror 2023-01-03 00:28:12 +01:00
11083098a2 Update/depbot flake (#133)
ellmau synced and deleted reference dependabot/cargo/serde_json-1.0.91 at ellmau/adf-obdd from mirror 2023-01-03 00:28:12 +01:00
ellmau synced and deleted reference dependabot/cargo/serde-1.0.152 at ellmau/adf-obdd from mirror 2023-01-03 00:28:12 +01:00