Skip to content

Actions: a16z/halmos

Actions

Push solvers package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish-solvers-package.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: check infeasible errors (#445) Push solvers package #23: Commit 028d726 pushed by daejunpark
January 24, 2025 23:48 4m 4s v0.2.4
v0.2.4
January 24, 2025 23:48 4m 4s
feat: support for snapshot cheatcodes (#427) Push solvers package #22: Commit 0ef9341 pushed by daejunpark
December 18, 2024 19:36 4m 36s v0.2.3
v0.2.3
December 18, 2024 19:36 4m 36s
feat: improve logging (#418) Push solvers package #21: Commit 27f620a pushed by daejunpark
December 10, 2024 02:38 4m 52s v0.2.2
v0.2.2
December 10, 2024 02:38 4m 52s
test: add regression tests for previous issues (#412) Push solvers package #20: Commit ce13a9f pushed by daejunpark
November 14, 2024 01:20 5m 6s v0.2.1
v0.2.1
November 14, 2024 01:20 5m 6s
Merge branch 'main' into feat/truncated-hashes Push solvers package #19: Commit 9b57d15 pushed by 0xkarmacoma
November 13, 2024 21:50 4m 35s feat/truncated-hashes
feat/truncated-hashes
November 13, 2024 21:50 4m 35s
customize bash prompt in our docker images (#407) Push solvers package #18: Commit 4fd369f pushed by 0xkarmacoma
November 13, 2024 21:49 5m 7s main
main
November 13, 2024 21:49 5m 7s
customize bash prompt in our docker images Push solvers package #17: Commit b1ebbc2 pushed by 0xkarmacoma
November 13, 2024 18:44 5m 11s docker-customize-shell-prompt
docker-customize-shell-prompt
November 13, 2024 18:44 5m 11s
Push solvers package Push solvers package #16: Manually run by 0xkarmacoma
November 13, 2024 18:34 4m 28s main
main
November 13, 2024 18:34 4m 28s
Push solvers package Push solvers package #15: Manually run by 0xkarmacoma
November 8, 2024 23:43 4m 27s main
main
November 8, 2024 23:43 4m 27s
more docker workflow tweaks Push solvers package #14: Commit a23d260 pushed by 0xkarmacoma
November 8, 2024 23:31 4m 24s chore-workflows
chore-workflows
November 8, 2024 23:31 4m 24s
update solvers and halmos-builder dockerfiles (#404) Push solvers package #13: Commit 29d9484 pushed by 0xkarmacoma
November 8, 2024 22:58 5m 3s main
main
November 8, 2024 22:58 5m 3s
update packages/solvers/README.md Push solvers package #12: Commit a79f6d5 pushed by 0xkarmacoma
November 8, 2024 22:46 5m 26s chore-workflows
chore-workflows
November 8, 2024 22:46 5m 26s
install z3 from release binaries Push solvers package #11: Commit 9ad0087 pushed by 0xkarmacoma
November 8, 2024 22:43 4m 32s chore-workflows
chore-workflows
November 8, 2024 22:43 4m 32s
add foundryup to halmos-builder Push solvers package #10: Commit e7d411f pushed by 0xkarmacoma
November 8, 2024 01:30 4m 28s chore-workflows
chore-workflows
November 8, 2024 01:30 4m 28s
fix: manually solve dynamic array overflow conditions (#366) Push solvers package #9: Commit 20cd93a pushed by daejunpark
September 25, 2024 01:56 4m 18s v0.2.0
v0.2.0
September 25, 2024 01:56 4m 18s
fix: smt encoding for evm div-by-zero (#271) Push solvers package #8: Commit f5acded pushed by daejunpark
August 14, 2024 05:05 4m 30s v0.1.14
v0.1.14
August 14, 2024 05:05 4m 30s
lint Push solvers package #7: Commit bb3d8e7 pushed by daejunpark
August 13, 2024 05:26 4m 18s fix-bv-div-by-zero-smt-encoding
fix-bv-div-by-zero-smt-encoding
August 13, 2024 05:26 4m 18s
Merge branch 'main' into quiet-metadata-warning Push solvers package #6: Commit a55c93c pushed by 0xkarmacoma
July 26, 2024 01:14 4m 30s quiet-metadata-warning
quiet-metadata-warning
July 26, 2024 01:14 4m 30s
Merge branch 'main' into chore-workflows Push solvers package #5: Commit 6ea8f8b pushed by 0xkarmacoma
July 26, 2024 01:10 4m 50s chore-workflows
chore-workflows
July 26, 2024 01:10 4m 50s
Update packages/solvers/README.md (#332) Push solvers package #4: Commit 29827c4 pushed by 0xkarmacoma
July 26, 2024 00:47 4m 47s main
main
July 26, 2024 00:47 4m 47s
Update packages/solvers/README.md Push solvers package #3: Commit d0dd9b7 pushed by 0xkarmacoma
July 25, 2024 18:02 4m 29s readme-patch-1
readme-patch-1
July 25, 2024 18:02 4m 29s
add intermediary halmos-builder image and dockerize more workflows (#… Push solvers package #2: Commit fcadd92 pushed by 0xkarmacoma
July 19, 2024 23:31 6m 5s main
main
July 19, 2024 23:31 6m 5s
fix publish workflows Push solvers package #1: Commit 6fd3c68 pushed by 0xkarmacoma
June 7, 2024 22:38 4m 54s chore-workflows
chore-workflows
June 7, 2024 22:38 4m 54s