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

Skip to content

Actions: argotorg/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Act Rewrite Build #1851: Pull request #211 synchronize by zoep
32m 11s rewrite-new
rewrite-new
32m 11s
Makefile Build #1850: Commit f1b9d03 pushed by zoep
16m 24s rewrite-new
rewrite-new
16m 24s
Act Rewrite Build #1849: Pull request #211 opened by zoep
16m 27s rewrite-new
rewrite-new
16m 27s
WIP trying to fix hevm errors Build #1848: Commit 9991060 pushed by zoep
21m 49s rewrite-new
rewrite-new
21m 49s
cleaned up arith safety Build #1847: Commit b0335ba pushed by sophierain
23m 37s doc-rewrite
doc-rewrite
23m 37s
keywords new and value Build #1846: Commit edb26e1 pushed by sophierain
18m 49s doc-rewrite
doc-rewrite
18m 49s
Add address(0) in typing Build #1845: Commit 56c24a3 pushed by zoep
22m 49s rewrite-new
rewrite-new
22m 49s
Syntax for calls with callvalue and address(0) literal Build #1844: Commit b4ed842 pushed by zoep
21m 18s rewrite-new
rewrite-new
21m 18s
Remove some warnings Build #1843: Commit 88bf9ef pushed by zoep
22m 59s rewrite-new
rewrite-new
22m 59s
One more balance example Build #1842: Commit 1e8b6bc pushed by zoep
14m 4s rewrite-new
rewrite-new
14m 4s
Fix in aliasing check Build #1841: Commit 211083f pushed by zoep
17m 59s rewrite-new
rewrite-new
17m 59s
changed version to 0.2.0 Build #1840: Commit 45c6fa9 pushed by sophierain
20m 47s doc-rewrite
doc-rewrite
20m 47s
Experiments with balances Build #1839: Commit aef2f21 pushed by lefterislazar
18m 35s balance_experiments
balance_experiments
18m 35s
Equivalence Cex shows balance; test updates Build #1838: Commit 5194710 pushed by lefterislazar
25m 13s rewrite-new
rewrite-new
25m 13s
Experiments with balances Build #1837: Commit aef2f21 pushed by lefterislazar
20m 12s rewrite-new
rewrite-new
20m 12s
Equivalence Cex shows balance; test updates Build #1836: Commit 5194710 pushed by lefterislazar
21m 46s rewrite-new
rewrite-new
21m 46s
hevm: fix bug in init contract map in behaviors and some cleanup Build #1835: Commit 5927db1 pushed by zoep
23m 20s rewrite-new
rewrite-new
23m 20s
Fix tests Build #1834: Commit 824165d pushed by zoep
20m 19s rewrite-new
rewrite-new
20m 19s
Fix conflicts Build #1833: Commit 3504e19 pushed by zoep
24m 10s rewrite-new
rewrite-new
24m 10s
installation fix, recolored logos Build #1832: Commit d3ad3e9 pushed by anjapetkovic
16m 41s doc-rewrite
doc-rewrite
16m 41s
Rocq: unified retVal to 1 for all cases Build #1831: Commit 2650a54 pushed by lefterislazar
21m 1s rewrite-new
rewrite-new
21m 1s
Set Makefile:parser_fail to empty to test CI progress; hevm arithmeti… Build #1830: Commit c395f91 pushed by lefterislazar
23m 9s rewrite-new
rewrite-new
23m 9s
Merge remote-tracking branch 'refs/remotes/origin/rewrite-new' into r… Build #1829: Commit dbea689 pushed by lefterislazar
20m 7s rewrite-new
rewrite-new
20m 7s
Support for constructor calls with callvalue in entailment and more t… Build #1828: Commit 42dda0c pushed by zoep
19m 29s rewrite-new
rewrite-new
19m 29s
Fixes in the entailment check and more tests and outputs Build #1827: Commit aad3ab3 pushed by zoep
23m 6s rewrite-new
rewrite-new
23m 6s