xenia haskal
1 Followers · 1 Following
Repositories
49
 Projects Packages Public Activity Starred Repositories
haskal created branch nixos-26.05 in haskal/dragnpkgs 2026-06-08 01:54:42 +00:00
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 01:54:42 +00:00
4e0cce3aad flake-self-attrs
14280abe39 nixos 26.05
Compare 2 commits »
haskal pushed to main at haskal/dragnpkgs 2026-06-08 01:54:23 +00:00
95fc8fed47 flake-self-attrs
haskal deleted branch xenia/test2 from haskal/rosette 2026-06-05 04:30:07 +00:00
haskal pushed to xenia/patches at haskal/rosette 2026-06-05 04:29:35 +00:00
c4c3564cb4 wip: feat: add support for z3 bit rotate exts
9a344b9ab2 fix: always use system Z3 by default
4e6988384e z3: bump version to 4.12.6
1d1cb179db solvers: avoid specifying solver paths in define-runtime-path
Compare 4 commits »
haskal created branch xenia/test2 in haskal/rosette 2026-06-01 06:55:22 +00:00
haskal pushed to xenia/test2 at haskal/rosette 2026-06-01 06:55:22 +00:00
c4c3564cb4 wip: feat: add support for z3 bit rotate exts
9a344b9ab2 fix: always use system Z3 by default
4e6988384e z3: bump version to 4.12.6
1d1cb179db solvers: avoid specifying solver paths in define-runtime-path
Compare 4 commits »
haskal pushed to xenia/patches at haskal/rosette 2026-06-01 03:43:11 +00:00
25b2b677cd wip: feat: add support for z3 bit rotate exts
92d4091567 fix: test regression on newer Z3
38d467618e fix: always use system Z3 by default
Compare 3 commits »
haskal pushed to xenia/patches at haskal/rosette 2026-06-01 01:23:55 +00:00
733863da2f wip: feat: add support for z3 bit rotate exts
haskal pushed to xenia/patches at haskal/rosette 2026-06-01 01:00:43 +00:00
68163584e6 fix: always use system Z3 by default
haskal pushed to xenia/patches at haskal/rosette 2026-06-01 01:00:04 +00:00
d4a43723fb always use system Z3 by default
haskal pushed to xenia/patches at haskal/rosette 2026-06-01 00:50:43 +00:00
haskal created branch xenia/patches in haskal/rosette 2026-06-01 00:50:43 +00:00
haskal pushed to nixos-25.11 at haskal/dragnpkgs 2026-05-19 04:14:08 +00:00
42e46dfee3 update libbs/binsync
haskal pushed to main at haskal/dragnpkgs 2026-05-19 04:14:08 +00:00
67929ade4f update libbs/binsync
haskal pushed to main at haskal/dragnpkgs 2026-05-19 03:50:45 +00:00
26a1970eaa update idapro module
haskal pushed to nixos-25.11 at haskal/dragnpkgs 2026-05-19 03:50:40 +00:00
6d704d3ed0 update idapro module
haskal pushed to main at haskal/dragnpkgs 2026-05-19 03:47:13 +00:00
eceeb0a5fd idapro -> 9.3
haskal pushed to nixos-25.11 at haskal/dragnpkgs 2026-05-19 03:47:10 +00:00
a992e11859 idapro -> 9.3
haskal pushed to nixos-25.11 at haskal/dragnpkgs 2026-05-19 03:31:12 +00:00
c46fa9f18b downgrade cado-nfs python