Skip to content

Actions: Kappa-Dev/KappaTools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
300 workflow runs
300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Translate the new kappa files to version 4 syntax and add them to the… ci #545: Commit 3bf722e pushed by reb-ddm
11m 5s families-of-models
families-of-models
11m 5s
explicitly state that the sites are free ci #544: Commit 8d40999 pushed by reb-ddm
11m 6s families-of-models
families-of-models
11m 6s
github_actions in /. - Update #997558658 Dependabot Updates #32: by dependabot bot
40s master
master
40s
comment out the experiments where the result is not printed ci #543: Commit 2685ed9 pushed by reb-ddm
13m 21s families-of-models
families-of-models
13m 21s
fix bug where not all variables are in the renamed_list when renaming… ci #542: Commit 300d9a2 pushed by reb-ddm
11m 27s families-of-models
families-of-models
11m 27s
Add a comment ci #541: Commit 1930b30 pushed by reb-ddm
12m 33s families-of-models
families-of-models
12m 33s
Revert "Depend on atdgen at build time only" ci #540: Commit 71e8980 pushed by feret
22m 7s master
master
22m 7s
Depend on atdgen at build time only ci #539: Commit 99e4a16 pushed by feret
22m 18s master
master
22m 18s
add script and models for the parametric model experiments ci #538: Commit 520a17a pushed by reb-ddm
18m 7s families-of-models
families-of-models
18m 7s
github_actions in /. - Update #993703208 Dependabot Updates #31: by dependabot bot
37s master
master
37s
link cc size computation ci #537: Commit 006836e pushed by feret
10m 41s size_scc
size_scc
10m 41s
code simplification ci #536: Commit ca10eca pushed by feret
22m 45s size_scc
size_scc
22m 45s
CLeaning the code ci #535: Commit 7fbfd2d pushed by feret
13m 23s size_scc
size_scc
13m 23s
first commit ci #534: Commit b192c75 pushed by feret
28m 12s size_scc
size_scc
28m 12s
first commit ci #533: Commit 63822a4 pushed by feret
8m 49s size_scc
size_scc
8m 49s
github_actions in /. - Update #989153795 Dependabot Updates #30: by dependabot bot
39s master
master
39s
fix bug in dump_view_diff by renaming the bdu variables to the right … ci #532: Commit f174f99 pushed by reb-ddm
12m 43s families-of-models
families-of-models
12m 43s
formating ci #531: Commit 78c5b03 pushed by reb-ddm
13m 43s families-of-models
families-of-models
13m 43s
fix bugs when printing: add -1 for thesold and check if mvbdu is true ci #530: Commit 07ee8c2 pushed by reb-ddm
13m 21s families-of-models
families-of-models
13m 21s
Add threshold where the predicates start in the mvbdu ci #529: Commit c898e46 pushed by reb-ddm
12m 23s families-of-models
families-of-models
12m 23s
Add examples ci #528: Commit 054d5d1 pushed by reb-ddm
11m 28s families-of-models
families-of-models
11m 28s
merge and reverse list of rules ci #527: Commit 6b3d4c1 pushed by reb-ddm
11m 26s families-of-models
families-of-models
11m 26s
format ci #526: Commit 39364a2 pushed by feret
12m 31s families-of-models
families-of-models
12m 31s
hint to use Ckappa_sig.Views_bdu.parametric_conditions_of_mvbdu param… ci #525: Commit 8e6579e pushed by feret
15m 33s families-of-models
families-of-models
15m 33s
cleaning ci #524: Commit afe81b9 pushed by feret
11m 43s families-of-models
families-of-models
11m 43s