Skip to content

Actions: pgarba/SiMBA-

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing opcodes
CMake #61: Commit 84aefc9 pushed by pgarba
September 27, 2024 04:30 2m 2s main
September 27, 2024 04:30 2m 2s
Check if Function has a name
CMake #60: Commit 0c4cd6f pushed by pgarba
September 26, 2024 19:20 3m 7s main
September 26, 2024 19:20 3m 7s
Add missing type casts
CMake #59: Commit b770437 pushed by pgarba
September 26, 2024 19:14 2m 3s main
September 26, 2024 19:14 2m 3s
Remove dump function
CMake #58: Commit 9d5ac30 pushed by pgarba
September 25, 2024 17:05 1m 46s main
September 25, 2024 17:05 1m 46s
- Implement Z3 expression optimization based on idea from SLOT(https:…
CMake #57: Commit ad88f63 pushed by pgarba
September 25, 2024 16:58 1m 48s main
September 25, 2024 16:58 1m 48s
Fix SExt
CMake #56: Commit 133649c pushed by pgarba
September 22, 2024 18:20 2m 24s main
September 22, 2024 18:20 2m 24s
Upgrade to llvm 19
CMake #55: Commit 8a6419f pushed by pgarba
September 22, 2024 13:28 1m 57s main
September 22, 2024 13:28 1m 57s
Merge branch 'main' of https://github.com/pgarba/SiMBA-
CMake #54: Commit 880415c pushed by pgarba
September 17, 2024 04:52 2m 4s main
September 17, 2024 04:52 2m 4s
Add thread header
CMake #53: Commit d59ef23 pushed by pgarba
September 17, 2024 03:37 1m 58s main
September 17, 2024 03:37 1m 58s
Add support for fshl
CMake #52: Commit 91501d2 pushed by pgarba
September 16, 2024 09:37 2m 26s main
September 16, 2024 09:37 2m 26s
Support mSIMBA on Windows
CMake #51: Commit 1f169cd pushed by pgarba
August 10, 2024 06:43 2m 50s main
August 10, 2024 06:43 2m 50s
Merge branch 'main' of https://github.com/pgarba/SiMBA-
CMake #50: Commit ec4083b pushed by pgarba
August 2, 2024 07:06 2m 41s main
August 2, 2024 07:06 2m 41s
Fix compilation on Linux
CMake #48: Commit 3d145b6 pushed by pgarba
April 29, 2024 15:38 2m 12s main
April 29, 2024 15:38 2m 12s
Improve ASTSize
CMake #47: Commit e30579e pushed by pgarba
April 27, 2024 17:56 2m 9s main
April 27, 2024 17:56 2m 9s
Fix Proving
CMake #46: Commit e67850f pushed by pgarba
April 26, 2024 15:00 1m 39s main
April 26, 2024 15:00 1m 39s
Fix missed return
CMake #45: Commit a3c6ab6 pushed by pgarba
April 25, 2024 03:02 2m 17s main
April 25, 2024 03:02 2m 17s
Dont walk sub asts by default
CMake #44: Commit 6dad31a pushed by pgarba
April 25, 2024 02:58 2m 0s main
April 25, 2024 02:58 2m 0s
Fix bug in Simplifier
CMake #43: Commit 11889ff pushed by pgarba
April 11, 2024 12:00 2m 54s main
April 11, 2024 12:00 2m 54s
Add SelectInst ICMPInst Support
CMake #42: Commit e62704b pushed by pgarba
April 10, 2024 16:45 2m 14s main
April 10, 2024 16:45 2m 14s
Timeout options and more
CMake #41: Commit dcee97b pushed by pgarba
March 13, 2024 13:36 2m 28s main
March 13, 2024 13:36 2m 28s
Removing threads in LLVM simplification
CMake #40: Commit 5f4c383 pushed by pgarba
March 13, 2024 09:27 2m 23s main
March 13, 2024 09:27 2m 23s
Merge
CMake #39: Commit dbe2fbe pushed by pgarba
March 13, 2024 07:28 2m 2s main
March 13, 2024 07:28 2m 2s
Merge branch 'main' of https://github.com/pgarba/SiMBA-
CMake #38: Commit 21512bd pushed by pgarba
March 12, 2024 14:55 2m 11s main
March 12, 2024 14:55 2m 11s
Merge branch 'main' of https://github.com/pgarba/Simba-
CMake #37: Commit 79d9b46 pushed by pgarba
March 12, 2024 11:52 2m 32s main
March 12, 2024 11:52 2m 32s
Use faster tactic
CMake #36: Commit 4be4dee pushed by pgarba
March 12, 2024 11:21 6m 39s main
March 12, 2024 11:21 6m 39s