Skip to content

Actions: CPMpy/cpmpy

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,001 workflow runs
1,001 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'xcsp3_perf' of https://github.com/CPMpy/cpmpy into xcsp…
Github Tests #1753: Commit a3b6341 pushed by ThomSerg
May 27, 2024 14:04 4m 10s xcsp3_perf
May 27, 2024 14:04 4m 10s
update trans_simplify
Github Tests #1752: Commit 6d94b95 pushed by Wout4
May 27, 2024 14:01 3m 45s xcsp3_2022_benchmarks
May 27, 2024 14:01 3m 45s
Merge branch 'master' into lex-list-globals
Github Tests #1751: Commit a5399a2 pushed by Dimosts
May 27, 2024 13:51 23m 27s lex-list-globals
May 27, 2024 13:51 23m 27s
Merge branch 'master' into gcc_closed
Github Tests #1750: Commit 9b77e89 pushed by Dimosts
May 27, 2024 13:47 1m 56s gcc_closed
May 27, 2024 13:47 1m 56s
activate time_limiter
Github Tests #1749: Commit 63249ac pushed by Wout4
May 27, 2024 12:53 3m 43s xcsp3_2022_benchmarks
May 27, 2024 12:53 3m 43s
merge basic CSE
Github Tests #1748: Commit dd9447b pushed by Wout4
May 27, 2024 12:47 3m 46s xcsp3_2022_benchmarks
May 27, 2024 12:47 3m 46s
AllDifferentLists (#475)
Github Tests #1747: Commit c5ee489 pushed by Wout4
May 27, 2024 12:14 21m 40s master
May 27, 2024 12:14 21m 40s
Merge branch 'refs/heads/ShortTable' into xcsp3_executable
Github Tests #1746: Commit 55e5b74 pushed by IgnaceBleukx
May 27, 2024 10:31 24m 18s xcsp3_executable
May 27, 2024 10:31 24m 18s
update testsuite
Github Tests #1745: Commit 655d57e pushed by IgnaceBleukx
May 27, 2024 10:21 21m 19s ShortTable
May 27, 2024 10:21 21m 19s
Move defining to constraining
Github Tests #1744: Commit 09d0288 pushed by ThomSerg
May 26, 2024 20:46 23m 18s SubCircuit
May 26, 2024 20:46 23m 18s
pychoco issue link
Github Tests #1743: Commit 975e32c pushed by Dimosts
May 24, 2024 14:40 23m 18s lex-list-globals
May 24, 2024 14:40 23m 18s
call super init
Github Tests #1742: Commit 5c4230d pushed by Dimosts
May 24, 2024 14:37 22m 52s lex-list-globals
May 24, 2024 14:37 22m 52s
Pass testsuit
Github Tests #1741: Commit 2ed08ce pushed by ThomSerg
May 24, 2024 12:38 3m 47s xcsp3_perf
May 24, 2024 12:38 3m 47s
Fix infinate value() loop
Github Tests #1740: Commit 00da6a8 pushed by ThomSerg
May 24, 2024 11:10 25m 33s SubCircuit
May 24, 2024 11:10 25m 33s
add comma
Github Tests #1739: Commit c899a92 pushed by IgnaceBleukx
May 24, 2024 11:06 21m 33s AlldifferentLists
May 24, 2024 11:06 21m 33s
fix decomp
Github Tests #1738: Commit c7188a4 pushed by IgnaceBleukx
May 24, 2024 09:44 22m 59s AlldifferentLists
May 24, 2024 09:44 22m 59s
add typechecking and check for length of lists
Github Tests #1737: Commit a0f41d2 pushed by IgnaceBleukx
May 24, 2024 07:49 3m 11s AlldifferentLists
May 24, 2024 07:49 3m 11s
Fix simplify bool (#487)
Github Tests #1736: Commit 61d3563 pushed by IgnaceBleukx
May 24, 2024 06:48 21m 12s master
May 24, 2024 06:48 21m 12s
add ifthenelse numeric to interface
Github Tests #1735: Commit 53384c6 pushed by IgnaceBleukx
May 23, 2024 17:12 1m 54s xcsp3_executable
May 23, 2024 17:12 1m 54s
test all solvers
Github Tests #1734: Commit 1150ab3 pushed by IgnaceBleukx
May 23, 2024 17:09 21m 58s ite_num
May 23, 2024 17:09 21m 58s
binpacking variants
Github Tests #1733: Commit 9cd2959 pushed by IgnaceBleukx
May 23, 2024 16:55 3m 37s xcsp3_executable
May 23, 2024 16:55 3m 37s
replace has_nested attempt by has_subexpr() on Expressions
Github Tests #1732: Commit 20298f9 pushed by tias
May 23, 2024 14:35 2m 24s xcsp3_performance
May 23, 2024 14:35 2m 24s
replace has_nested attempt by has_subexpr() on Expressions
Github Tests #1731: Commit 2b18507 pushed by tias
May 23, 2024 14:34 2m 9s xcsp3_performance_tias
May 23, 2024 14:34 2m 9s
faster simplify_boolean early-exit
Github Tests #1730: Commit 25ee9f5 pushed by ThomSerg
May 23, 2024 13:37 2m 0s xcsp3_perf
May 23, 2024 13:37 2m 0s
update printing
Github Tests #1729: Commit e90f11f pushed by tias
May 23, 2024 09:59 1m 57s xcsp3_performance
May 23, 2024 09:59 1m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-05-23 or the other filters available.