Skip to content

Actions: flamapy/bdd_metamodel

Python analisys

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mypy and prospector
Python analisys #114: Commit bb45395 pushed by jmhorcas
May 16, 2024 15:55 35s develop
May 16, 2024 15:55 35s
New pure optional features op and add partial configs for all operations
Python analisys #113: Commit 5c4e673 pushed by jmhorcas
May 16, 2024 08:16 37s develop
May 16, 2024 08:16 37s
Improve BDD model
Python analisys #112: Commit 9c71a34 pushed by jmhorcas
May 15, 2024 17:36 1m 6s uned
May 15, 2024 17:36 1m 6s
Improve BDD model
Python analisys #111: Commit 33609b6 pushed by jmhorcas
May 15, 2024 17:34 44s uned
May 15, 2024 17:34 44s
Update BDD model and fix readers/writers
Python analisys #110: Commit 50b65d2 pushed by jmhorcas
May 15, 2024 17:12 40s develop
May 15, 2024 17:12 40s
FmToBDD from propositional formula
Python analisys #109: Commit 07e122f pushed by jmhorcas
May 14, 2024 16:42 48s develop
May 14, 2024 16:42 48s
Update readme
Python analisys #108: Commit 61c0c4f pushed by jmhorcas
May 13, 2024 13:29 41s develop
May 13, 2024 13:29 41s
Update readme
Python analisys #107: Commit acecbd6 pushed by jmhorcas
May 13, 2024 13:25 48s uned
May 13, 2024 13:25 48s
Update readme
Python analisys #106: Commit 3ff3bc6 pushed by jmhorcas
May 13, 2024 13:21 46s develop
May 13, 2024 13:21 46s
Update test files
Python analisys #105: Commit a89fc05 pushed by jmhorcas
May 12, 2024 19:59 42s uned
May 12, 2024 19:59 42s
ConfigurationNumber returns int instead of float
Python analisys #104: Commit 35543eb pushed by jmhorcas
May 12, 2024 19:03 42s develop
May 12, 2024 19:03 42s
Update transformation
Python analisys #103: Commit 047d035 pushed by jmhorcas
May 12, 2024 19:00 35s develop
May 12, 2024 19:00 35s
Update BDD plugin
Python analisys #102: Commit 111cb67 pushed by jmhorcas
May 12, 2024 18:41 38s develop
May 12, 2024 18:41 38s
Refactor operations' names
Python analisys #101: Commit e163fe5 pushed by jmhorcas
May 11, 2024 07:36 46s uned
May 11, 2024 07:36 46s
Add operations for BDD
Python analisys #100: Commit 94d8d5f pushed by jmhorcas
May 10, 2024 18:37 42s develop
May 10, 2024 18:37 42s
Add Valid, Core, Dead, and Metrics operations
Python analisys #99: Commit 5c12d3d pushed by jmhorcas
May 10, 2024 17:05 58s develop
May 10, 2024 17:05 58s
fix: update UNED plugin (#29)
Python analisys #98: Commit c992785 pushed by jagalindo
May 10, 2024 07:13 43s uned
May 10, 2024 07:13 43s
fix: solving error in the setup
Python analisys #97: Commit c933a47 pushed by jagalindo
May 10, 2024 07:12 59s develop
May 10, 2024 07:12 59s
Update UNED plugin
Python analisys #96: Pull request #29 synchronize by jmhorcas
May 9, 2024 17:52 41s jmhorcas:uned
May 9, 2024 17:52 41s
Update BDD plugin
Python analisys #95: Pull request #30 synchronize by jmhorcas
May 9, 2024 17:50 1m 3s jmhorcas:develop
May 9, 2024 17:50 1m 3s
Update BDD plugin
Python analisys #94: Pull request #30 opened by jmhorcas
May 9, 2024 17:47 59s jmhorcas:develop
May 9, 2024 17:47 59s
Update UNED plugin
Python analisys #93: Pull request #29 synchronize by jmhorcas
May 9, 2024 17:38 57s jmhorcas:uned
May 9, 2024 17:38 57s
Update UNED plugin
Python analisys #92: Pull request #29 opened by jmhorcas
May 9, 2024 17:17 49s jmhorcas:uned
May 9, 2024 17:17 49s
fix: lint and mypy
Python analisys #91: Commit 5c97f17 pushed by Virako
January 11, 2024 11:32 51s develop
January 11, 2024 11:32 51s
January 8, 2024 10:51 54s