Skip to content

Actions: celinval/kani-dev

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
541 workflow runs
541 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to nightly-2024-11-26 Kani CI #1584: Commit 7cef50c pushed by celinval
November 26, 2024 20:49 36m 13s toolchain-2024-11-26
toolchain-2024-11-26
November 26, 2024 20:49 36m 13s
Cleanup a few internal compiler deps Kani CI #1583: Commit b9f695c pushed by celinval
November 26, 2024 20:23 1h 0m 10s smir-abi
smir-abi
November 26, 2024 20:23 1h 0m 10s
Add test and improve comment Kani CI #1582: Commit f959623 pushed by celinval
November 25, 2024 23:59 51m 7s issue-3616-sizeof
issue-3616-sizeof
November 25, 2024 23:59 51m 7s
Fix size and alignment computation for intrinsics Kani CI #1581: Commit fa53f26 pushed by celinval
November 25, 2024 02:13 48m 3s issue-3616-sizeof
issue-3616-sizeof
November 25, 2024 02:13 48m 3s
Fix size and alignment computation for intrinsics Kani CI #1580: Commit 8d9f355 pushed by celinval
November 25, 2024 02:12 51m 0s issue-3616-sizeof
issue-3616-sizeof
November 25, 2024 02:12 51m 0s
Add more comments and split test Kani CI #1579: Commit f3736cc pushed by celinval
November 22, 2024 19:42 1h 1m 29s issue-3612-can-deref-2
issue-3612-can-deref-2
November 22, 2024 19:42 1h 1m 29s
Update library/kani_core/src/models.rs Kani CI #1578: Commit 97e9048 pushed by celinval
November 22, 2024 01:04 56m 48s issue-3612-can-deref-2
issue-3612-can-deref-2
November 22, 2024 01:04 56m 48s
Apply suggestions from code review Kani CI #1577: Commit 5c4d5b7 pushed by celinval
November 22, 2024 01:04 59m 3s issue-3612-can-deref-2
issue-3612-can-deref-2
November 22, 2024 01:04 59m 3s
Move fixes to <size|align>_of_val to a new PR Kani CI #1576: Commit a10a746 pushed by celinval
November 18, 2024 21:29 41m 2s issue-3612-can-deref-2
issue-3612-can-deref-2
November 18, 2024 21:29 41m 2s
Move fixes to <size|align>_of_val to a new PR Kani CI #1575: Commit fe47946 pushed by celinval
November 18, 2024 21:19 50m 30s issue-3612-can-deref-2
issue-3612-can-deref-2
November 18, 2024 21:19 50m 30s
Fix firecracker codegen regression test Kani CI #1574: Commit a466e72 pushed by celinval
November 16, 2024 02:08 50m 2s chores-kani-fns
chores-kani-fns
November 16, 2024 02:08 50m 2s
Apply suggestions from code review Kani CI #1573: Commit 9b88810 pushed by celinval
November 15, 2024 23:57 33m 56s chores-kani-fns
chores-kani-fns
November 15, 2024 23:57 33m 56s
Improve documentation and naming schema Kani CI #1572: Commit 194776d pushed by celinval
November 15, 2024 20:05 36m 25s chores-kani-fns
chores-kani-fns
November 15, 2024 20:05 36m 25s
Apply suggestions from code review Kani CI #1571: Commit 6f60d4f pushed by celinval
November 15, 2024 19:22 36m 26s chores-kani-fns
chores-kani-fns
November 15, 2024 19:22 36m 26s
Revert marker for shadow memory for uninit checks Kani CI #1570: Commit 7d45dd9 pushed by celinval
November 15, 2024 06:00 33m 54s chores-kani-fns
chores-kani-fns
November 15, 2024 06:00 33m 54s
Change how we test std codegen Kani CI #1569: Commit 2613708 pushed by celinval
November 15, 2024 01:01 33m 40s chores-kani-fns
chores-kani-fns
November 15, 2024 01:01 33m 40s
Move almost everything out of diagnostic Kani CI #1568: Commit 5372191 pushed by celinval
November 14, 2024 23:53 32m 52s chores-kani-fns
chores-kani-fns
November 14, 2024 23:53 32m 52s
Fix aggregate and add new abi module Kani CI #1567: Commit ae455cf pushed by celinval
November 14, 2024 20:44 46m 30s issue-3615
issue-3615
November 14, 2024 20:44 46m 30s
Merge branch 'main' into issue-3615 Kani CI #1566: Commit 397de68 pushed by celinval
November 14, 2024 20:25 57m 34s issue-3615
issue-3615
November 14, 2024 20:25 57m 34s
Fix regression failures Kani CI #1565: Commit 61ea50b pushed by celinval
November 13, 2024 23:08 32m 37s issue-3612-can-deref-2
issue-3612-can-deref-2
November 13, 2024 23:08 32m 37s
Better handling of foreign types Kani CI #1564: Commit 0128e68 pushed by celinval
November 13, 2024 21:38 20m 3s issue-3612-can-deref-2
issue-3612-can-deref-2
November 13, 2024 21:38 20m 3s
Merge branch 'main' into issue-3612-can-deref-2 Kani CI #1563: Commit f805e34 pushed by celinval
November 12, 2024 21:14 11m 53s issue-3612-can-deref-2
issue-3612-can-deref-2
November 12, 2024 21:14 11m 53s
Merge branch 'main' into issue-3612-can-deref-2 Kani CI #1562: Commit b47ae6d pushed by celinval
November 12, 2024 21:03 10m 6s issue-3612-can-deref-2
issue-3612-can-deref-2
November 12, 2024 21:03 10m 6s
Remove symtab json support Kani CI #1561: Commit d5ed53b pushed by celinval
November 8, 2024 00:49 47m 32s issue-xxxx-symtab-json
issue-xxxx-symtab-json
November 8, 2024 00:49 47m 32s
Update cbmc-viewer to 3.10 (#3683) Kani CI #1560: Commit 9b2bbd3 pushed by celinval
November 8, 2024 00:45 1h 2m 8s issue-xxxx-symtab-json
issue-xxxx-symtab-json
November 8, 2024 00:45 1h 2m 8s