Skip to content

Actions: FStarLang/pulse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
967 workflow runs
967 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

a testcase Build and test Pulse #62: Commit c2ed005 pushed by aseemr
February 29, 2024 17:29 24m 51s main
main
February 29, 2024 17:29 24m 51s
a testcase Build and test Pulse #61: Commit c2ed005 pushed by aseemr
February 29, 2024 17:07 22m 5s aseem_ghost_pcm_ref_non_informative
aseem_ghost_pcm_ref_non_informative
February 29, 2024 17:07 22m 5s
Merge pull request #10 from FStarLang/nik_erased_heap Build and test Pulse #60: Commit 5b66fee pushed by nikswamy
February 29, 2024 06:40 21m 18s main
main
February 29, 2024 06:40 21m 18s
Ghost functions have a model supporting their erasure Build and test Pulse #59: Pull request #10 opened by nikswamy
February 29, 2024 06:18 21m 41s nik_erased_heap
nik_erased_heap
February 29, 2024 06:18 21m 41s
removing ghost_witness/ghost_recall Build and test Pulse #58: Commit 4e73180 pushed by nikswamy
February 29, 2024 01:32 11m 44s nik_erased_heap
nik_erased_heap
February 29, 2024 01:32 11m 44s
restore alloc_action Build and test Pulse #57: Commit 814cff0 pushed by nikswamy
February 28, 2024 21:45 11m 44s nik_erased_heap
nik_erased_heap
February 28, 2024 21:45 11m 44s
erased non-informative ghost actions can be unerased Build and test Pulse #56: Commit 0e3f763 pushed by nikswamy
February 28, 2024 07:10 10m 55s nik_erased_heap
nik_erased_heap
February 28, 2024 07:10 10m 55s
refine actions, and provide heap extension as an action with pre & po… Build and test Pulse #55: Commit def8e24 pushed by nikswamy
February 28, 2024 02:30 11m 50s nik_erased_heap
nik_erased_heap
February 28, 2024 02:30 11m 50s
wip, adding an erased heap Build and test Pulse #54: Commit 8606ec9 pushed by nikswamy
February 27, 2024 07:33 12m 52s nik_erased_heap
nik_erased_heap
February 27, 2024 07:33 12m 52s
Fix a proof, reveal/hide not automatically cancelling Build and test Pulse #53: Commit 7c6dc3c pushed by mtzguido
February 23, 2024 17:30 20m 45s tasks
tasks
February 23, 2024 17:30 20m 45s
Task pool, trying to incorporate the new ghost monotonic interface Build and test Pulse #52: Commit 09afcdb pushed by tdardinier
February 23, 2024 13:44 21m 2s tasks
tasks
February 23, 2024 13:44 21m 2s
Unobservable Build and test Pulse #51: Commit c7224e8 pushed by mtzguido
February 21, 2024 07:09 11m 2s tasks
tasks
February 21, 2024 07:09 11m 2s
Merge pull request #6 from FStarLang/nik_reifiable_ghost Build and test Pulse #50: Commit efea44a pushed by nikswamy
February 21, 2024 06:57 13m 8s main
main
February 21, 2024 06:57 13m 8s
Enforcing in PulseCore that ghost computations cannot use witness/recall Build and test Pulse #49: Pull request #6 opened by nikswamy
February 21, 2024 06:44 12m 27s nik_reifiable_ghost
nik_reifiable_ghost
February 21, 2024 06:44 12m 27s
lib: add fstis for ghost monotonic refs Build and test Pulse #48: Commit 2622ca4 pushed by mtzguido
February 21, 2024 06:37 12m 55s tasks
tasks
February 21, 2024 06:37 12m 55s
Merge remote-tracking branch 'origin/main' into nik_reifiable_ghost Build and test Pulse #47: Commit b2ba8fb pushed by nikswamy
February 21, 2024 06:29 13m 36s nik_reifiable_ghost
nik_reifiable_ghost
February 21, 2024 06:29 13m 36s
Bring in TaskPool files Build and test Pulse #46: Commit bd1f7db pushed by mtzguido
February 20, 2024 01:58 11m 37s tasks
tasks
February 20, 2024 01:58 11m 37s
Merge pull request #5 from FStarLang/nik_inv_utils Build and test Pulse #45: Commit 0fcc5cf pushed by nikswamy
February 19, 2024 04:32 12m 46s main
main
February 19, 2024 04:32 12m 46s
Some utilities on invariant names Build and test Pulse #44: Pull request #5 synchronize by nikswamy
February 19, 2024 03:54 14m 16s nik_inv_utils
nik_inv_utils
February 19, 2024 03:54 14m 16s
rlimit bump on a pure lemma in Quicksort.Base Build and test Pulse #43: Commit 248a967 pushed by nikswamy
February 19, 2024 03:54 14m 23s nik_inv_utils
nik_inv_utils
February 19, 2024 03:54 14m 23s
Some utilities on invariant names Build and test Pulse #42: Pull request #5 synchronize by nikswamy
February 19, 2024 03:11 16m 20s nik_inv_utils
nik_inv_utils
February 19, 2024 03:11 16m 20s
drop SMT pats Build and test Pulse #41: Commit 467037c pushed by nikswamy
February 19, 2024 03:11 13m 50s nik_inv_utils
nik_inv_utils
February 19, 2024 03:11 13m 50s
Some utilities on invariant names Build and test Pulse #40: Pull request #5 opened by nikswamy
February 19, 2024 03:03 11m 27s nik_inv_utils
nik_inv_utils
February 19, 2024 03:03 11m 27s
expose a fresh_invariant construct to allocate an invariant whose nam… Build and test Pulse #39: Commit bbf1f9d pushed by nikswamy
February 19, 2024 02:50 10m 43s nik_inv_utils
nik_inv_utils
February 19, 2024 02:50 10m 43s
some utilities to relate invariant names and invariants Build and test Pulse #38: Commit 87f3a49 pushed by nikswamy
February 19, 2024 01:14 11m 45s nik_inv_utils
nik_inv_utils
February 19, 2024 01:14 11m 45s
ProTip! You can narrow down the results and go further in time using created:<2024-02-19 or the other filters available.