Skip to content

Actions: hacspec/hax

Actions

.github/workflows/charon.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
charon.yml
400 workflow runs
400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial cleanup of binders-related code .github/workflows/charon.yml #400: Pull request #887 opened by Nadrieril
September 13, 2024 13:12 6m 34s Nadrieril:fix-binders3
Nadrieril:fix-binders3
September 13, 2024 13:12 6m 34s
Support float literals .github/workflows/charon.yml #399: Pull request #880 synchronize by R1kM
September 11, 2024 12:59 51s afromher_float
afromher_float
September 11, 2024 12:59 51s
Support float literals .github/workflows/charon.yml #398: Pull request #880 synchronize by R1kM
September 11, 2024 12:58 53s afromher_float
afromher_float
September 11, 2024 12:58 53s
docs(book): depend on hax-lib only when using hax .github/workflows/charon.yml #397: Pull request #885 opened by ROMemories
September 11, 2024 12:37 51s ROMemories:docs/fix-hax-lib-dep-installation
ROMemories:docs/fix-hax-lib-dep-installation
September 11, 2024 12:37 51s
Fix incorrect line numbers in error messages .github/workflows/charon.yml #396: Pull request #884 synchronize by maximebuyse
September 11, 2024 11:59 55s fix-879
fix-879
September 11, 2024 11:59 55s
Fix incorrect line numbers in error messages .github/workflows/charon.yml #395: Pull request #884 opened by maximebuyse
September 11, 2024 11:50 53s fix-879
fix-879
September 11, 2024 11:50 53s
Fix step boundaries in fold_range_step_by .github/workflows/charon.yml #394: Pull request #883 synchronize by franziskuskiefer
September 11, 2024 09:01 9m 16s fold-step-boundary
fold-step-boundary
September 11, 2024 09:01 9m 16s
Support float literals .github/workflows/charon.yml #393: Pull request #880 synchronize by franziskuskiefer
September 11, 2024 08:33 1m 28s afromher_float
afromher_float
September 11, 2024 08:33 1m 28s
Fix step boundaries in fold_range_step_by .github/workflows/charon.yml #392: Pull request #883 opened by mamonet
September 10, 2024 12:28 1m 7s fold-step-boundary
fold-step-boundary
September 10, 2024 12:28 1m 7s
fix(fstar-core): add support for Option::map .github/workflows/charon.yml #391: Pull request #882 opened by ROMemories
September 10, 2024 07:33 9m 23s ROMemories:fix/add-option-map
ROMemories:fix/add-option-map
September 10, 2024 07:33 9m 23s
Support float literals .github/workflows/charon.yml #390: Pull request #880 synchronize by R1kM
September 6, 2024 10:18 52s afromher_float
afromher_float
September 6, 2024 10:18 52s
Support float literals .github/workflows/charon.yml #389: Pull request #880 synchronize by R1kM
September 6, 2024 10:07 51s afromher_float
afromher_float
September 6, 2024 10:07 51s
Support float literals .github/workflows/charon.yml #388: Pull request #880 synchronize by R1kM
September 6, 2024 09:50 57s afromher_float
afromher_float
September 6, 2024 09:50 57s
Support float literals .github/workflows/charon.yml #387: Pull request #880 synchronize by R1kM
September 6, 2024 09:26 1m 5s afromher_float
afromher_float
September 6, 2024 09:26 1m 5s
Support float literals .github/workflows/charon.yml #386: Pull request #880 synchronize by R1kM
September 6, 2024 07:31 51s afromher_float
afromher_float
September 6, 2024 07:31 51s
Support float literals .github/workflows/charon.yml #385: Pull request #880 synchronize by R1kM
September 5, 2024 14:24 55s afromher_float
afromher_float
September 5, 2024 14:24 55s
Support float literals .github/workflows/charon.yml #384: Pull request #880 synchronize by R1kM
September 5, 2024 14:21 6m 17s afromher_float
afromher_float
September 5, 2024 14:21 6m 17s
Translate additional unsafe MIR operations .github/workflows/charon.yml #383: Pull request #876 synchronize by Nadrieril
September 5, 2024 07:26 53s Nadrieril:unsafe
Nadrieril:unsafe
September 5, 2024 07:26 53s
Translate additional unsafe MIR operations .github/workflows/charon.yml #382: Pull request #876 synchronize by R1kM
September 4, 2024 19:00 1m 4s Nadrieril:unsafe
Nadrieril:unsafe
September 4, 2024 19:00 1m 4s
Support patterns on arrays and opaque types. .github/workflows/charon.yml #381: Pull request #878 opened by maximebuyse
September 4, 2024 13:21 9m 1s support-array-patterns
support-array-patterns
September 4, 2024 13:21 9m 1s
Avoid recursing twice on the arguments. .github/workflows/charon.yml #380: Pull request #877 opened by maximebuyse
September 4, 2024 10:37 9m 10s fix-exponential-visiting-in-specialize
fix-exponential-visiting-in-specialize
September 4, 2024 10:37 9m 10s
Translate additional unsafe MIR operations .github/workflows/charon.yml #379: Pull request #876 opened by Nadrieril
September 4, 2024 09:50 6m 26s Nadrieril:unsafe
Nadrieril:unsafe
September 4, 2024 09:50 6m 26s
fix(engine/importer): use correct field to import concrete implexprs .github/workflows/charon.yml #378: Pull request #835 synchronize by paulmure
September 3, 2024 18:38 8m 46s paulmure:concrete-trait-bounds
paulmure:concrete-trait-bounds
September 3, 2024 18:38 8m 46s
Small PR to fix circularity in Core.Fmt.fsti .github/workflows/charon.yml #377: Pull request #873 opened by karthikbhargavan
September 3, 2024 12:55 9m 2s core-fmt
core-fmt
September 3, 2024 12:55 9m 2s
Pre post impl blocks .github/workflows/charon.yml #376: Pull request #872 synchronize by W95Psp
September 3, 2024 11:06 8m 41s pre_post_impl_blocks
pre_post_impl_blocks
September 3, 2024 11:06 8m 41s