Skip to content

Actions: Inria-Prosecco/StarMalloc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
581 workflow runs
581 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #21 from Inria-Prosecco/upd-readme Nix #579: Commit d234da1 pushed by cmovcc
October 24, 2024 19:45 35m 7s main
main
October 24, 2024 19:45 35m 7s
README.md: update Nix #578: Pull request #21 opened by cmovcc
October 24, 2024 19:44 34m 54s upd-readme
upd-readme
October 24, 2024 19:44 34m 54s
README.md: minor edits Nix #577: Commit f8b67e6 pushed by cmovcc
October 24, 2024 19:44 35m 13s upd-readme
upd-readme
October 24, 2024 19:44 35m 13s
update README Nix #576: Commit 48b2c61 pushed by cmovcc
October 24, 2024 19:41 37m 26s upd-readme
upd-readme
October 24, 2024 19:41 37m 26s
Merge pull request #18 from Inria-Prosecco/areitz/cleaning Nix #575: Commit c5b206b pushed by cmovcc
October 24, 2024 19:40 37m 48s upd-readme
upd-readme
October 24, 2024 19:40 37m 48s
WIP: Extended size classes Nix #574: Pull request #13 synchronize by cmovcc
October 1, 2024 17:46 1h 5m 9s areitz/extended-size-classes
areitz/extended-size-classes
October 1, 2024 17:46 1h 5m 9s
SlabsCommon2.fsti: some cleaning Nix #573: Commit 1173c8d pushed by cmovcc
October 1, 2024 17:46 39m 43s areitz/extended-size-classes
areitz/extended-size-classes
October 1, 2024 17:46 39m 43s
WIP: Extended size classes Nix #572: Pull request #13 synchronize by cmovcc
September 1, 2024 16:18 48m 55s areitz/extended-size-classes
areitz/extended-size-classes
September 1, 2024 16:18 48m 55s
Main.Meta.fst WIP Nix #571: Commit 6f253e1 pushed by cmovcc
September 1, 2024 16:18 24m 20s areitz/extended-size-classes
areitz/extended-size-classes
September 1, 2024 16:18 24m 20s
WIP: Extended size classes Nix #570: Pull request #13 synchronize by cmovcc
August 31, 2024 17:11 49m 23s areitz/extended-size-classes
areitz/extended-size-classes
August 31, 2024 17:11 49m 23s
Main.fst: remove last assumes Nix #569: Commit e34fb85 pushed by cmovcc
August 31, 2024 17:11 24m 36s areitz/extended-size-classes
areitz/extended-size-classes
August 31, 2024 17:11 24m 36s
WIP: Extended size classes Nix #568: Pull request #13 synchronize by cmovcc
August 27, 2024 06:33 49m 33s areitz/extended-size-classes
areitz/extended-size-classes
August 27, 2024 06:33 49m 33s
Main.fst: broad cleaning Nix #567: Commit 003df85 pushed by cmovcc
August 27, 2024 06:33 25m 2s areitz/extended-size-classes
areitz/extended-size-classes
August 27, 2024 06:33 25m 2s
WIP: Extended size classes Nix #566: Pull request #13 synchronize by cmovcc
August 26, 2024 18:24 1h 4m 47s areitz/extended-size-classes
areitz/extended-size-classes
August 26, 2024 18:24 1h 4m 47s
proof: some layout fixes, clean Main.fst Nix #565: Commit 37c691c pushed by cmovcc
August 26, 2024 18:24 40m 27s areitz/extended-size-classes
areitz/extended-size-classes
August 26, 2024 18:24 40m 27s
WIP: large aligned alloc Nix #564: Commit a369b67 pushed by cmovcc
August 2, 2024 05:14 1d 19h 3m 59s areitz/large-aligned-alloc
areitz/large-aligned-alloc
August 2, 2024 05:14 1d 19h 3m 59s
WIP: Extended size classes Nix #563: Pull request #13 synchronize by cmovcc
August 1, 2024 11:28 1d 12h 50m 31s areitz/extended-size-classes
areitz/extended-size-classes
August 1, 2024 11:28 1d 12h 50m 31s
try Jonathan's patch Nix #562: Commit 0794e0e pushed by cmovcc
August 1, 2024 11:28 1d 12h 50m 33s areitz/extended-size-classes
areitz/extended-size-classes
August 1, 2024 11:28 1d 12h 50m 33s
WIP: Extended size classes Nix #561: Pull request #13 synchronize by cmovcc
August 1, 2024 10:50 1d 13h 28m 36s areitz/extended-size-classes
areitz/extended-size-classes
August 1, 2024 10:50 1d 13h 28m 36s
re-enable zeroing at allocation Nix #560: Commit 85afde1 pushed by cmovcc
August 1, 2024 10:50 1d 13h 28m 38s areitz/extended-size-classes
areitz/extended-size-classes
August 1, 2024 10:50 1d 13h 28m 38s
WIP: Extended size classes Nix #559: Pull request #13 synchronize by cmovcc
July 29, 2024 23:57 1d 0h 21m 0s areitz/extended-size-classes
areitz/extended-size-classes
July 29, 2024 23:57 1d 0h 21m 0s
src/Config: tempfix Nix #558: Commit cd57439 pushed by cmovcc
July 29, 2024 23:57 1h 3m 55s areitz/extended-size-classes
areitz/extended-size-classes
July 29, 2024 23:57 1h 3m 55s
WIP: Extended size classes Nix #557: Pull request #13 synchronize by cmovcc
July 29, 2024 23:56 17m 30s areitz/extended-size-classes
areitz/extended-size-classes
July 29, 2024 23:56 17m 30s
src/Main: remove admits Nix #556: Commit c1817e0 pushed by cmovcc
July 29, 2024 23:56 17m 47s areitz/extended-size-classes
areitz/extended-size-classes
July 29, 2024 23:56 17m 47s
WIP: Extended size classes Nix #555: Pull request #13 synchronize by cmovcc
July 29, 2024 23:04 37m 41s areitz/extended-size-classes
areitz/extended-size-classes
July 29, 2024 23:04 37m 41s