xenia haskal
1 Followers · 1 Following
Repositories
49
 Projects Packages Public Activity Starred Repositories
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 created branch xenia/patches in haskal/rosette 2026-06-01 00:50:43 +00:00
haskal pushed to xenia/patches at 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
haskal pushed to main at haskal/dragnpkgs 2026-05-19 03:31:04 +00:00
54f236b4a4 downgrade cado-nfs python
haskal pushed to nixos-25.11 at haskal/dragnpkgs 2026-03-27 01:43:08 +00:00
e4840cb86c update nixpkgs
haskal pushed to main at haskal/dragnpkgs 2026-03-27 01:41:41 +00:00
1a95ebfe0c update nixpkgs
haskal pushed to main at haskal/dragnpkgs 2026-03-15 20:50:51 +00:00
4f1954a629 add more CI packages
haskal pushed to nixos-25.11 at haskal/dragnpkgs 2026-03-15 20:50:46 +00:00
674b02a640 add more CI packages
haskal pushed to main at haskal/dragoncaml 2026-03-15 03:47:13 +00:00
f491a4d0ba implement channels seriously