Skip to content

Actions: FStarLang/pulse

Actions

Build and test Pulse

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-x64.yaml
941 workflow runs
941 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

some more examples of monotonic counters Build and test Pulse #868: Commit bdab8b2 pushed by nikswamy
October 1, 2024 23:00 12m 29s nik_monotonic_ref_and_counter
nik_monotonic_ref_and_counter
October 1, 2024 23:00 12m 29s
ArraySwap proof is fragile with quantifier instantiation Build and test Pulse #867: Commit 432eab9 pushed by nikswamy
October 1, 2024 06:18 13m 53s nik_monotonic_ref_and_counter
nik_monotonic_ref_and_counter
October 1, 2024 06:18 13m 53s
ArraySwap proof is fragile with quantifier instantiation Build and test Pulse #866: Commit 432eab9 pushed by nikswamy
September 29, 2024 01:34 9m 22s main
main
September 29, 2024 01:34 9m 22s
ArraySwap proof is fragile with quantifier instantiation Build and test Pulse #865: Commit 432eab9 pushed by nikswamy
September 29, 2024 01:22 9m 19s nik_array_swap_quant_patch
nik_array_swap_quant_patch
September 29, 2024 01:22 9m 19s
avoid needlessly nested quantifiers since they leead to poor pattern … Build and test Pulse #864: Commit b670c7b pushed by nikswamy
September 29, 2024 00:39 8m 25s nik_array_swap_quant_patch
nik_array_swap_quant_patch
September 29, 2024 00:39 8m 25s
Merge pull request #221 from FStarLang/nik_binary_search Build and test Pulse #863: Commit 9457199 pushed by nikswamy
September 27, 2024 19:12 9m 24s main
main
September 27, 2024 19:12 9m 24s
A couple of examples: binary search and contiguous sub sequence Build and test Pulse #862: Pull request #221 opened by nikswamy
September 27, 2024 19:00 11m 40s nik_binary_search
nik_binary_search
September 27, 2024 19:00 11m 40s
use --ext 'pulse:dataset=1' Build and test Pulse #861: Commit 33eb7af pushed by nikswamy
September 27, 2024 18:59 11m 22s nik_dataset
nik_dataset
September 27, 2024 18:59 11m 22s
wip Build and test Pulse #860: Commit 02ed273 pushed by gebner
September 27, 2024 18:49 1m 21s gebner_ghost_refl
gebner_ghost_refl
September 27, 2024 18:49 1m 21s
Merge remote-tracking branch 'origin/main' into nik_binary_search Build and test Pulse #859: Commit aee7fe1 pushed by nikswamy
September 27, 2024 17:15 9m 21s nik_binary_search
nik_binary_search
September 27, 2024 17:15 9m 21s
Support more pulse in pulse2rust Build and test Pulse #858: Pull request #220 opened by gebner
September 27, 2024 01:05 16m 3s gebner_ep
gebner_ep
September 27, 2024 01:05 16m 3s
Do not build rust in dune. Build and test Pulse #857: Commit 36f0d4d pushed by gebner
September 27, 2024 01:03 13m 43s gebner_ep
gebner_ep
September 27, 2024 01:03 13m 43s
Do not build rust in dune. Build and test Pulse #856: Commit 4f12650 pushed by gebner
September 27, 2024 01:02 13m 16s gebner_ep
gebner_ep
September 27, 2024 01:02 13m 16s
Support pair projections. Build and test Pulse #855: Commit 5ce0796 pushed by gebner
September 27, 2024 00:58 12m 41s gebner_ep
gebner_ep
September 27, 2024 00:58 12m 41s
Merge pull request #209 from FStarLang/gebner_extraction Build and test Pulse #854: Commit 2c42628 pushed by gebner
September 26, 2024 23:54 12m 24s main
main
September 26, 2024 23:54 12m 24s
Implement extraction via translation to Div-terms Build and test Pulse #853: Pull request #209 synchronize by gebner
September 26, 2024 22:16 18m 23s gebner_extraction
gebner_extraction
September 26, 2024 22:16 18m 23s
Merge remote-tracking branch 'origin/main' into gebner_extraction Build and test Pulse #852: Commit b8246bc pushed by gebner
September 26, 2024 22:16 18m 25s gebner_extraction
gebner_extraction
September 26, 2024 22:16 18m 25s
Support pair projections. Build and test Pulse #851: Commit ccffee7 pushed by gebner
September 25, 2024 21:41 1m 25s gebner_ep
gebner_ep
September 25, 2024 21:41 1m 25s
Support integer casts. Build and test Pulse #850: Commit a87694f pushed by gebner
September 25, 2024 21:27 3m 4s gebner_ep
gebner_ep
September 25, 2024 21:27 3m 4s
Support pts_to_range array accesses. Build and test Pulse #849: Commit f905b1b pushed by gebner
September 25, 2024 01:40 3m 8s gebner_ep
gebner_ep
September 25, 2024 01:40 3m 8s
Merge pull request #215 from mtzguido/172 Build and test Pulse #848: Commit 48ef62d pushed by mtzguido
September 17, 2024 21:48 9m 45s main
main
September 17, 2024 21:48 9m 45s
Fix #172 Build and test Pulse #847: Pull request #215 opened by mtzguido
September 17, 2024 21:38 9m 41s mtzguido:172
mtzguido:172
September 17, 2024 21:38 9m 41s
Merge pull request #208 from mtzguido/trace2 Build and test Pulse #846: Commit 753f574 pushed by mtzguido
September 17, 2024 18:24 11m 56s main
main
September 17, 2024 18:24 11m 56s
Keeping track of checker-generated terms, and not tracing for them Build and test Pulse #845: Pull request #208 synchronize by mtzguido
September 17, 2024 17:56 10m 33s mtzguido:trace2
mtzguido:trace2
September 17, 2024 17:56 10m 33s
Merge pull request #213 from mtzguido/error_bound Build and test Pulse #844: Commit 5a4b985 pushed by mtzguido
September 17, 2024 17:33 10m 52s main
main
September 17, 2024 17:33 10m 52s