Skip to content

Actions: abramov7613/extracted_z3_integer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix readme CMake on multiple platforms #46: Commit 631ae00 pushed by abramov7613
1m 43s main
main
1m 43s
CMakeLists.txt: change version to 1.0.3 CMake on multiple platforms #45: Commit 593edcd pushed by abramov7613
1m 34s main
main
1m 34s
tests: add memory cleanup CMake on multiple platforms #44: Commit 719c34b pushed by abramov7613
1m 41s main
main
1m 41s
fix include paths CMake on multiple platforms #43: Commit 49e835e pushed by abramov7613
1m 43s main
main
1m 43s
move class mpz_stack to namespace... for msvc CMake on multiple platforms #42: Commit 1b8650e pushed by abramov7613
1m 14s main
main
1m 14s
fix paths and namespaces CMake on multiple platforms #41: Commit 350d1d2 pushed by abramov7613
1m 12s main
main
1m 12s
Fix Windows DLL/static export mismatch in the library API and CMake d… CMake on multiple platforms #40: Commit 21c8cbc pushed by abramov7613
1m 37s main
main
1m 37s
Revise CMakeLists.txt for improved project setup CMake on multiple platforms #39: Commit 2ed2ecd pushed by abramov7613
1m 25s main
main
1m 25s
Enhance CI workflow for multi-platform builds CMake on multiple platforms #38: Commit af630ab pushed by abramov7613
1m 29s main
main
1m 29s
refactor mpn.h CMake on multiple platforms #37: Commit bbbe7d1 pushed by abramov7613
1m 28s main
main
1m 28s
mpn.h: add doxygen comments CMake on multiple platforms #36: Commit 01b77ed pushed by abramov7613
1m 24s main
main
1m 24s
mnp.cpp: rewrite to_string method CMake on multiple platforms #35: Commit ea4ec34 pushed by abramov7613
1m 20s main
main
1m 20s
remove SYNCH template param CMake on multiple platforms #34: Commit 3dda62a pushed by abramov7613
1m 13s main
main
1m 13s
mpn.cpp: fix 'mpn_manager::div' for buffer overflow bug CMake on multiple platforms #33: Commit 6f58491 pushed by abramov7613
1m 22s main
main
1m 22s
fix tests include CMake on multiple platforms #32: Commit b1fa62b pushed by abramov7613
1m 16s main
main
1m 16s
delete unnecessary files CMake on multiple platforms #31: Commit 5c12e8b pushed by abramov7613
1m 23s main
main
1m 23s
Remove unused bit_util.h include CMake on multiple platforms #30: Commit d8601e2 pushed by abramov7613
1m 32s main
main
1m 32s
Replace custom power of two checks with std::bit_width CMake on multiple platforms #29: Commit 89f1c17 pushed by abramov7613
1m 38s main
main
1m 38s
Refactor hash function for mpz_manager class CMake on multiple platforms #28: Commit c0de693 pushed by abramov7613
1m 28s main
main
1m 28s
Remove linking to math library in CMakeLists CMake on multiple platforms #27: Commit eccbb4e pushed by abramov7613
1m 32s main
main
1m 32s
Replace log2 with bit_width for efficiency CMake on multiple platforms #26: Commit 2926e89 pushed by abramov7613
1m 37s main
main
1m 37s
Fix Google Test target check in CMakeLists.txt CMake on multiple platforms #25: Commit 8db1f7a pushed by abramov7613
1m 52s main
main
1m 52s
Rename project from z3mp to any_precision CMake on multiple platforms #24: Commit cee8438 pushed by abramov7613
1m 23s main
main
1m 23s
Add cmath include to mpz.cpp CMake on multiple platforms #23: Commit 28be447 pushed by abramov7613
1m 49s main
main
1m 49s
Remove small_object_allocator from mpz_manager CMake on multiple platforms #22: Commit 9e57343 pushed by abramov7613
1m 40s main
main
1m 40s