Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: kamel-usp/dpasp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'map' Tests #134: Commit 7dc868b pushed by RenatoGeh
3m 36s master
master
3m 36s
Merge branch 'map' Documentation #123: Commit 7dc868b pushed by RenatoGeh
8s master
master
8s
grammar: add unary negation for variables and integers Documentation #122: Commit a0c443b pushed by RenatoGeh
9s master
master
9s
grammar: add unary negation for variables and integers Tests #133: Commit a0c443b pushed by RenatoGeh
3m 45s master
master
3m 45s
Update README.md Documentation #121: Commit c11378a pushed by denismaua
9s master
master
9s
Update README.md Tests #132: Commit c11378a pushed by denismaua
3m 48s master
master
3m 48s
meta: add C11 as the default C version Documentation #120: Commit 9a4ec65 pushed by RenatoGeh
9s map
map
9s
meta: add C11 as the default C version Tests #131: Commit 9a4ec65 pushed by RenatoGeh
3m 50s map
map
3m 50s
meta: allow for environment variables to be passed during compilation Tests #130: Commit 4dafe25 pushed by RenatoGeh
3m 45s map
map
3m 45s
meta: allow for environment variables to be passed during compilation Documentation #119: Commit 4dafe25 pushed by RenatoGeh
8s map
map
8s
cmap: add MAP mapping storage Tests #129: Commit e57f2e5 pushed by RenatoGeh
2m 55s map
map
2m 55s
cmap: add MAP mapping storage Documentation #118: Commit e57f2e5 pushed by RenatoGeh
8s map
map
8s
grammar: learn: 'em' as alias for 'fixpoint' Tests #128: Commit c9a64ab pushed by RenatoGeh
3m 25s master
master
3m 25s
grammar: learn: 'em' as alias for 'fixpoint' Documentation #117: Commit c9a64ab pushed by RenatoGeh
1m 34s master
master
1m 34s
meta: examples: update citation and example, fix 3coloring example Tests #127: Commit fc40525 pushed by RenatoGeh
3m 33s master
master
3m 33s
meta: examples: update citation and example, fix 3coloring example Documentation #116: Commit fc40525 pushed by RenatoGeh
4m 6s master
master
4m 6s