Skip to content

Actions: ratioSolver/oRatio

Actions

Publish Package to npmjs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update z3 submodule to version 4.13.0 Publish Package to npmjs #18: Commit c28c770 pushed by riccardodebenedictis
January 27, 2025 17:54 22s uncertainty
uncertainty
January 27, 2025 17:54 22s
Refactor flaw and resolver creation to use std::make_unique; update z… Publish Package to npmjs #17: Commit 36cfb1a pushed by riccardodebenedictis
January 24, 2025 13:50 23s uncertainty
uncertainty
January 24, 2025 13:50 23s
Add SeMiTONE support in CMake; implement semitone solver and types Publish Package to npmjs #16: Commit 4bf5e07 pushed by riccardodebenedictis
January 23, 2025 17:07 21s uncertainty
uncertainty
January 23, 2025 17:07 21s
Update subproject commit and enhance Z3 solver methods; adjust assert… Publish Package to npmjs #15: Commit 14b5c3a pushed by riccardodebenedictis
January 21, 2025 18:08 22s uncertainty
uncertainty
January 21, 2025 18:08 22s
Update CMake configuration to exclude Z3 source directory from covera… Publish Package to npmjs #14: Commit 105685a pushed by riccardodebenedictis
January 21, 2025 09:04 18s uncertainty
uncertainty
January 21, 2025 09:04 18s
Add causal link functionality and improve tooltip handling in solver … Publish Package to npmjs #13: Commit f10d817 pushed by riccardodebenedictis
January 20, 2025 15:18 20s uncertainty
uncertainty
January 20, 2025 15:18 20s
Update subproject commit for rationet to latest version Publish Package to npmjs #12: Commit 9d7da46 pushed by riccardodebenedictis
January 20, 2025 09:30 22s uncertainty
uncertainty
January 20, 2025 09:30 22s
Add ratio-core module and update dependencies; refactor build process… Publish Package to npmjs #11: Commit ff707fd pushed by riccardodebenedictis
January 20, 2025 09:15 19s uncertainty
uncertainty
January 20, 2025 09:15 19s
Fix JSON serialization in flaw and resolver classes; cast cost numera… Publish Package to npmjs #10: Commit ed8142c pushed by riccardodebenedictis
January 18, 2025 08:49 25s uncertainty
uncertainty
January 18, 2025 08:49 25s
Refactor GitHub Actions workflow for CMake builds; streamline job con… Publish Package to npmjs #9: Commit 1b7cb56 pushed by riccardodebenedictis
January 18, 2025 08:33 22s uncertainty
uncertainty
January 18, 2025 08:33 22s
Update CMake minimum version to 3.21 and adjust sanitizer setup; upda… Publish Package to npmjs #8: Commit c27e08c pushed by riccardodebenedictis
January 17, 2025 18:40 22s uncertainty
uncertainty
January 17, 2025 18:40 22s
Refactor build configuration to support executable and server options… Publish Package to npmjs #7: Commit c1e4a09 pushed by riccardodebenedictis
January 17, 2025 17:22 19s uncertainty
uncertainty
January 17, 2025 17:22 19s
Enhance TypeScript configuration and improve code quality by enabling… Publish Package to npmjs #6: Commit b6fbc1c pushed by riccardodebenedictis
January 16, 2025 20:19 23s uncertainty
uncertainty
January 16, 2025 20:19 23s
Add virtual state management and JSON serialization to graph and reso… Publish Package to npmjs #5: Commit 389b5ee pushed by riccardodebenedictis
January 16, 2025 17:09 24s uncertainty
uncertainty
January 16, 2025 17:09 24s
Update ratio-lib to version 0.0.19 and add new solver methods for enh… Publish Package to npmjs #4: Commit 4c87de8 pushed by riccardodebenedictis
January 15, 2025 18:16 22s uncertainty
uncertainty
January 15, 2025 18:16 22s
Bump version to 0.0.18, update TypeScript configuration, and refactor… Publish Package to npmjs #3: Commit c8c5e87 pushed by riccardodebenedictis
January 15, 2025 17:24 21s uncertainty
uncertainty
January 15, 2025 17:24 21s
Update package name and version in package-lock.json Publish Package to npmjs #2: Commit f180271 pushed by riccardodebenedictis
January 15, 2025 13:00 25s uncertainty
uncertainty
January 15, 2025 13:00 25s
Refactor GUI structure and configuration, add new settings and utilities Publish Package to npmjs #1: Commit a9e8e91 pushed by riccardodebenedictis
January 15, 2025 12:53 23s uncertainty
uncertainty
January 15, 2025 12:53 23s