Skip to content

Actions: PierreSenellart/provsql

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #24: Scheduled
December 11, 2023 02:34 3m 23s master
master
December 11, 2023 02:34 3m 23s
Specify namespace Linux #175: Commit eeef2b0 pushed by PierreSenellart
December 10, 2023 09:47 7m 54s master
master
December 10, 2023 09:47 7m 54s
Computation of Banzhaf values Linux #174: Commit edaa3c8 pushed by PierreSenellart
December 8, 2023 12:04 7m 59s master
master
December 8, 2023 12:04 7m 59s
Computation of Banzhaf values CodeQL #23: Commit edaa3c8 pushed by PierreSenellart
December 8, 2023 12:04 3m 43s master
master
December 8, 2023 12:04 3m 43s
Fix two bugs in dDNNF.simplify Linux #173: Commit 726c140 pushed by PierreSenellart
December 8, 2023 08:04 8m 11s master
master
December 8, 2023 08:04 8m 11s
Fix two bugs in dDNNF.simplify CodeQL #22: Commit 726c140 pushed by PierreSenellart
December 8, 2023 08:04 3m 17s master
master
December 8, 2023 08:04 3m 17s
CodeQL CodeQL #21: Scheduled
December 4, 2023 02:34 3m 28s master
master
December 4, 2023 02:34 3m 28s
CodeQL CodeQL #20: Scheduled
November 27, 2023 02:33 4m 1s master
master
November 27, 2023 02:33 4m 1s
CodeQL CodeQL #19: Scheduled
November 20, 2023 02:34 3m 53s master
master
November 20, 2023 02:34 3m 53s
CodeQL CodeQL #18: Scheduled
November 13, 2023 02:31 5m 31s master
master
November 13, 2023 02:31 5m 31s
Fix test case determinacy Linux #172: Commit 03d179b pushed by PierreSenellart
November 10, 2023 11:27 11m 51s master
master
November 10, 2023 11:27 11m 51s
Shapley all vars function CodeQL #17: Commit 7cc2d33 pushed by PierreSenellart
November 10, 2023 11:19 5m 45s master
master
November 10, 2023 11:19 5m 45s
Shapley all vars function Linux #171: Commit 7cc2d33 pushed by PierreSenellart
November 10, 2023 11:19 3m 31s master
master
November 10, 2023 11:19 3m 31s
get_nb_gates() function CodeQL #16: Commit 5e6cfcd pushed by PierreSenellart
November 10, 2023 05:50 3m 31s master
master
November 10, 2023 05:50 3m 31s
get_nb_gates() function Linux #170: Commit 5e6cfcd pushed by PierreSenellart
November 10, 2023 05:50 9m 26s master
master
November 10, 2023 05:50 9m 26s
Add test cases for expected Shapley value computation with specific c… Linux #169: Commit fd21532 pushed by PierreSenellart
November 8, 2023 01:57 9m 4s master
master
November 8, 2023 01:57 9m 4s
Allow compilation by arbitrary knowledge compilers for Shapley value … CodeQL #15: Commit 1f474ff pushed by PierreSenellart
November 7, 2023 13:57 4m 21s master
master
November 7, 2023 13:57 4m 21s
Allow compilation by arbitrary knowledge compilers for Shapley value … Linux #168: Commit 1f474ff pushed by PierreSenellart
November 7, 2023 13:57 11m 27s master
master
November 7, 2023 13:57 11m 27s
Debug messages to know which way has been used to obtain the dD Linux #167: Commit 54338b9 pushed by PierreSenellart
November 7, 2023 12:12 11m 58s master
master
November 7, 2023 12:12 11m 58s
Debug messages to know which way has been used to obtain the dD CodeQL #14: Commit 54338b9 pushed by PierreSenellart
November 7, 2023 12:12 3m 15s master
master
November 7, 2023 12:12 3m 15s
Optimize Shapley value computation in the non-probabilistic case Linux #166: Commit 7e63b10 pushed by PierreSenellart
November 7, 2023 11:55 10m 34s master
master
November 7, 2023 11:55 10m 34s
Optimize Shapley value computation in the non-probabilistic case CodeQL #13: Commit 7e63b10 pushed by PierreSenellart
November 7, 2023 11:55 3m 15s master
master
November 7, 2023 11:55 3m 15s
Simple procedure to try and interpret a circuit as dD if possible Linux #165: Commit 3dab908 pushed by PierreSenellart
November 7, 2023 09:56 10m 33s master
master
November 7, 2023 09:56 10m 33s
Simple procedure to try and interpret a circuit as dD if possible CodeQL #12: Commit 3dab908 pushed by PierreSenellart
November 7, 2023 09:56 3m 17s master
master
November 7, 2023 09:56 3m 17s
Merge branch 'master' of github.com:PierreSenellart/provsql CodeQL #11: Commit f828b7b pushed by PierreSenellart
November 7, 2023 06:24 4m 49s master
master
November 7, 2023 06:24 4m 49s