Skip to content
Build Windows

cec: Modifying algorithm for generating simulation vectors for SAT sweeping (SimGen) and adding new feature to specify the simulation vector of the PIs for SAT sweeping algorithm. #445

Sign in to view logs

cec: Modifying algorithm for generating simulation vectors for SAT sweeping (SimGen) and adding new feature to specify the simulation vector of the PIs for SAT sweeping algorithm.

cec: Modifying algorithm for generating simulation vectors for SAT sweeping (SimGen) and adding new feature to specify the simulation vector of the PIs for SAT sweeping algorithm. #445

Triggered via pull request December 24, 2024 14:46
@Carmine50Carmine50
opened #353
Carmine50:master
Status Success
Total duration 7m 14s
Artifacts 1

build-windows.yml

on: pull_request
build-windows
7m 4s
build-windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
package-windows
4.68 MB