Skip to content

Actions: Drup/dowsing

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: use dichotomi to implement NSet.add Build #339: Commit 0d2cc0a pushed by FardaleM
October 11, 2024 16:56 3m 10s faster_nset
faster_nset
October 11, 2024 16:56 3m 10s
fix bugs in the collapse after occur_check Build #338: Commit 0cb4618 pushed by FardaleM
October 10, 2024 10:47 3m 11s acu
acu
October 10, 2024 10:47 3m 11s
Feat: Introduce NSet.flatten Build #337: Commit 34fbbc3 pushed by FardaleM
October 9, 2024 22:47 3m 11s faster_nset
faster_nset
October 9, 2024 22:47 3m 11s
Feat: Introduce NSet.flatten Build #336: Commit a32891d pushed by FardaleM
October 9, 2024 16:09 4m 21s faster_nset
faster_nset
October 9, 2024 16:09 4m 21s
fix Type.refresh_variables to keep the flags Build #335: Commit 521a441 pushed by FardaleM
October 7, 2024 18:19 3m 46s acu
acu
October 7, 2024 18:19 3m 46s
update test/assets/fmt.odoc{,l} Build #334: Commit 38bb656 pushed by FardaleM
October 7, 2024 17:46 6m 5s master
master
October 7, 2024 17:46 6m 5s
feat(Scheme): add possiblity to add flags to variable. Build #333: Commit 1dee844 pushed by FardaleM
October 7, 2024 17:45 3m 51s acu
acu
October 7, 2024 17:45 3m 51s
fix bug in Env.commit Build #332: Commit 993e160 pushed by FardaleM
October 7, 2024 12:59 8m 26s master
master
October 7, 2024 12:59 8m 26s
Add new Occur_check implementation Build #331: Commit 10ce46d pushed by FardaleM
October 2, 2024 09:34 6m 19s acu
acu
October 2, 2024 09:34 6m 19s
Small API cleanup. Build #330: Commit efc1227 pushed by Drup
September 13, 2024 21:53 6m 18s no_ranges
no_ranges
September 13, 2024 21:53 6m 18s
update tests Build #329: Commit 0e938a4 pushed by FardaleM
August 30, 2024 10:39 3m 8s acu
acu
August 30, 2024 10:39 3m 8s
Add a new line to separate unifier with cmd unify Build #328: Commit 02d288b pushed by FardaleM
August 30, 2024 09:54 3m 27s acu
acu
August 30, 2024 09:54 3m 27s
Fix counting of arrow solutions Build #327: Commit 829678b pushed by FardaleM
August 30, 2024 09:16 6m 59s master
master
August 30, 2024 09:16 6m 59s
Note on possible improvement Build #326: Commit e335faa pushed by FardaleM
August 27, 2024 09:05 3m 17s acu
acu
August 27, 2024 09:05 3m 17s
feat: ACCU add the unit collapse for tuples in the AC solver Build #325: Commit 4a928f0 pushed by FardaleM
August 27, 2024 08:56 6m 30s acu
acu
August 27, 2024 08:56 6m 30s
Check if we create too many variables Build #324: Commit d8ce941 pushed by FardaleM
August 1, 2024 15:00 4m 51s new_var_repr
new_var_repr
August 1, 2024 15:00 4m 51s
clean the new implementation of variable Build #323: Commit 7efd8f1 pushed by FardaleM
August 1, 2024 14:55 3m 24s new_var_repr
new_var_repr
August 1, 2024 14:55 3m 24s
rework the HOF to include the export to a csv file Build #322: Commit 02e5ed2 pushed by FardaleM
August 1, 2024 13:28 3m 55s hall_of_fame
hall_of_fame
August 1, 2024 13:28 3m 55s
HOF: add option to filter with the features first Build #321: Commit f3190ee pushed by FardaleM
July 31, 2024 16:15 3m 36s hall_of_fame
hall_of_fame
July 31, 2024 16:15 3m 36s
Replace NonArrowVar by a bitfield associated with the variable Build #320: Commit fc3f522 pushed by FardaleM
July 31, 2024 14:29 3m 43s new_var_repr
new_var_repr
July 31, 2024 14:29 3m 43s
correctly print unit type Build #319: Commit 9779d0b pushed by FardaleM
July 31, 2024 09:35 3m 6s master
master
July 31, 2024 09:35 3m 6s
Revert "Compute the solutions to the var system once." Build #318: Commit dd5a79e pushed by FardaleM
July 29, 2024 11:11 3m 9s master
master
July 29, 2024 11:11 3m 9s
add hall of fame command Build #317: Commit 3204b8e pushed by FardaleM
July 23, 2024 19:19 3m 18s hall_of_fame
hall_of_fame
July 23, 2024 19:19 3m 18s
Crash if the same variable can return as V and NAR Build #316: Commit 10b0464 pushed by FardaleM
July 23, 2024 13:38 3m 28s master
master
July 23, 2024 13:38 3m 28s
Fix non proper equations Build #315: Pull request #29 synchronize by FardaleM
July 23, 2024 13:18 3m 22s fix_non_proper
fix_non_proper
July 23, 2024 13:18 3m 22s