Skip to content

Actions: radevgit/selen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Readme Rust #220: Commit ca08d44 pushed by radevgit
31s main
main
31s
Fix in modulo for not constant divisor Rust #219: Commit c11bc17 pushed by radevgit
31s main
main
31s
Added tests with alldiff Rust #218: Commit 0c0fd3a pushed by radevgit
24s main
main
24s
Fix bug in modulo Rust #217: Commit 27180ef pushed by radevgit
26s main
main
26s
Bump version Rust #216: Commit c2f194a pushed by radevgit
18s main
main
18s
Merge pull request #35 from radevgit/table_constraint_enhancement Rust #215: Commit adf08f7 pushed by radevgit
40s main
main
40s
Using GAC for table Rust #214: Pull request #35 opened by radevgit
31s table_constraint_enhancement
table_constraint_enhancement
31s
Merge pull request #34 from radevgit/sum_incremental Rust #213: Commit 32c7811 pushed by radevgit
22s main
main
22s
feat: Add baseline benchmarks for sum constraint propagation Rust #212: Pull request #34 opened by radevgit
34s sum_incremental
sum_incremental
34s
Refactor type conversion functions and enhance cumulative constraint … Rust #211: Commit 07d268f pushed by radevgit
15s main
main
15s
Merge pull request #32 from radevgit/multidim_element_table Rust #210: Commit bcbd352 pushed by radevgit
28s main
main
28s
2d 3d dim element and table Rust #209: Pull request #32 opened by radevgit
25s multidim_element_table
multidim_element_table
25s
Fix conting varibles during search Rust #208: Commit 85fd8ab pushed by radevgit
47s main
main
47s
Update selen package version to 0.14.3 Rust #207: Commit 144cdd8 pushed by radevgit
25s main
main
25s
SolveStats changed to match standard statistics from MiniZinc Rust #206: Commit 8d93be6 pushed by radevgit
29s main
main
29s
Fixed Variable-to-variable equality pattern Rust #205: Commit dc4e0e3 pushed by radevgit
27s main
main
27s
modulo for both var parameters Rust #204: Commit 755a528 pushed by radevgit
28s main
main
28s
count to accept variables, xor implemented Rust #203: Commit 6029b08 pushed by radevgit
26s main
main
26s
count() to accept const and expresions Rust #202: Commit 9f84c1c pushed by radevgit
29s main
main
29s
Implemented count_var for variable counts Rust #201: Commit 9dbc1e8 pushed by radevgit
23s main
main
23s
Removed constraint optimization order. Fixed element issue Rust #200: Commit acf7874 pushed by radevgit
18s main
main
18s
Implemented m.implies(a,b) Rust #199: Commit e43ec47 pushed by radevgit
25s main
main
25s
Fix readme Rust #198: Commit 247f1cb pushed by radevgit
28s main
main
28s
Merge pull request #31 from radevgit/coverage_1 Rust #197: Commit 1144777 pushed by radevgit
29s main
main
29s
Coverage 1 Rust #196: Pull request #31 opened by radevgit
26s coverage_1
coverage_1
26s