Skip to content

Actions: mojtaba-eshghie/SInDi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md CI/CD Pipeline #87: Commit 9e92872 pushed by mojtaba-eshghie
April 16, 2025 10:57 23s main
main
April 16, 2025 10:57 23s
Update README.md CI/CD Pipeline #86: Commit f5b333d pushed by mojtaba-eshghie
April 16, 2025 10:55 29s main
main
April 16, 2025 10:55 29s
Merge pull request #53 from mojtaba-eshghie/enhancement_issue_50 CI/CD Pipeline #85: Commit 0005c46 pushed by mojtaba-eshghie
April 16, 2025 10:55 28s main
main
April 16, 2025 10:55 28s
Enhancement issue 50 CI/CD Pipeline #84: Pull request #53 opened by mojtaba-eshghie
April 16, 2025 10:54 27s enhancement_issue_50
enhancement_issue_50
April 16, 2025 10:54 27s
Modified the setup for new package name. CI/CD Pipeline #83: Commit f16b031 pushed by mojtaba-eshghie
April 16, 2025 08:03 24s main
main
April 16, 2025 08:03 24s
Adding the new tests CI/CD Pipeline #82: Commit d3df2b3 pushed by mojtaba-eshghie
April 16, 2025 07:52 25s main
main
April 16, 2025 07:52 25s
Fixing the core name of the tool and reverting some changes. CI/CD Pipeline #81: Commit a7b8109 pushed by mojtaba-eshghie
April 16, 2025 07:52 25s main
main
April 16, 2025 07:52 25s
Fixing the bug in our evaluations CI/CD Pipeline #80: Commit 9e0aa26 pushed by mojtaba-eshghie
April 6, 2025 16:35 24s main
main
April 6, 2025 16:35 24s
Fixing an error found in the random experiments. CI/CD Pipeline #79: Commit e5d90a2 pushed by mojtaba-eshghie
April 6, 2025 16:29 31s main
main
April 6, 2025 16:29 31s
Update README.md CI/CD Pipeline #78: Commit 7a543db pushed by mojtaba-eshghie
March 24, 2025 09:24 20s main
main
March 24, 2025 09:24 20s
Removing playground CI/CD Pipeline #77: Commit e289d4b pushed by mojtaba-eshghie
March 24, 2025 09:23 24s main
main
March 24, 2025 09:23 24s
removing comparison.ipynb CI/CD Pipeline #76: Commit 9d3f5e4 pushed by mojtaba-eshghie
March 24, 2025 09:16 22s main
main
March 24, 2025 09:16 22s
Update README.md CI/CD Pipeline #75: Commit bc20dbb pushed by mojtaba-eshghie
November 11, 2024 08:33 21s main
main
November 11, 2024 08:33 21s
Merge pull request #47 from mojtaba-eshghie/enhancement_issue_40 CI/CD Pipeline #74: Commit cb67163 pushed by mojtaba-eshghie
September 15, 2024 09:21 22s main
main
September 15, 2024 09:21 22s
Enhancement: #40 included tests for interesting cases; CI/CD Pipeline #73: Pull request #47 opened by mojtaba-eshghie
September 15, 2024 09:20 20s enhancement_issue_40
enhancement_issue_40
September 15, 2024 09:20 20s
Fixing CI CI/CD Pipeline #72: Commit a2519f9 pushed by mojtaba-eshghie
September 14, 2024 17:12 22s main
main
September 14, 2024 17:12 22s
Merge pull request #46 from mojtaba-eshghie/fix_issue_41 CI/CD Pipeline #71: Commit 8fa3c17 pushed by mojtaba-eshghie
September 14, 2024 17:08 17s main
main
September 14, 2024 17:08 17s
Fix: resolved #41 by switching to Z3 and making assumptions about typ… CI/CD Pipeline #70: Pull request #46 opened by mojtaba-eshghie
September 14, 2024 17:07 20s fix_issue_41
fix_issue_41
September 14, 2024 17:07 20s
Merge branch 'main' of https://github.com/mojtaba-eshghie/PreDi into … CI/CD Pipeline #69: Commit 69294d7 pushed by mojtaba-eshghie
September 14, 2024 15:17 21s main
main
September 14, 2024 15:17 21s
Merge pull request #45 from mojtaba-eshghie/issue_bug_39 CI/CD Pipeline #68: Commit 4d1921a pushed by mojtaba-eshghie
September 14, 2024 15:13 21s main
main
September 14, 2024 15:13 21s
Issue bug 39 CI/CD Pipeline #67: Pull request #45 opened by mojtaba-eshghie
September 14, 2024 15:13 21s issue_bug_39
issue_bug_39
September 14, 2024 15:13 21s
Merge pull request #44 from mojtaba-eshghie/issue_bug_42 CI/CD Pipeline #66: Commit 94c1376 pushed by mojtaba-eshghie
September 14, 2024 14:13 19s main
main
September 14, 2024 14:13 19s
Fix: issues #37 and #42 which point to the same problem are resolved … CI/CD Pipeline #65: Pull request #44 opened by mojtaba-eshghie
September 14, 2024 14:13 24s issue_bug_42
issue_bug_42
September 14, 2024 14:13 24s
Enhancing the documentation CI/CD Pipeline #64: Commit 39b8848 pushed by mojtaba-eshghie
September 11, 2024 11:23 24s main
main
September 11, 2024 11:23 24s
Enhancement: Fixing #35 CI/CD Pipeline #63: Commit 49b6cc6 pushed by mojtaba-eshghie
September 11, 2024 11:17 23s main
main
September 11, 2024 11:17 23s