Skip to content

Actions: hacspec/hax

Actions

.github/workflows/charon.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
charon.yml
412 workflow runs
412 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix some binder-related crashes .github/workflows/charon.yml #412: Pull request #898 synchronize by Nadrieril
September 19, 2024 14:30 6m 34s Nadrieril:fix-some-binder-crashes
Nadrieril:fix-some-binder-crashes
September 19, 2024 14:30 6m 34s
Fix some binder-related crashes .github/workflows/charon.yml #411: Pull request #898 synchronize by Nadrieril
September 19, 2024 14:18 6m 17s Nadrieril:fix-some-binder-crashes
Nadrieril:fix-some-binder-crashes
September 19, 2024 14:18 6m 17s
Fix some binder-related crashes .github/workflows/charon.yml #410: Pull request #898 opened by Nadrieril
September 19, 2024 13:50 6m 19s Nadrieril:fix-some-binder-crashes
Nadrieril:fix-some-binder-crashes
September 19, 2024 13:50 6m 19s
Support patterns on arrays and opaque types. .github/workflows/charon.yml #409: Pull request #878 synchronize by maximebuyse
September 18, 2024 15:07 6m 10s support-array-patterns
support-array-patterns
September 18, 2024 15:07 6m 10s
Support patterns on arrays and opaque types. .github/workflows/charon.yml #408: Pull request #878 synchronize by maximebuyse
September 18, 2024 14:51 6m 21s support-array-patterns
support-array-patterns
September 18, 2024 14:51 6m 21s
Detangle trait solving from SInto .github/workflows/charon.yml #407: Pull request #894 synchronize by Nadrieril
September 18, 2024 11:31 6m 22s Nadrieril:cleanup-trait-solving
Nadrieril:cleanup-trait-solving
September 18, 2024 11:31 6m 22s
Don't eval constants eagerly .github/workflows/charon.yml #406: Pull request #895 opened by Nadrieril
September 18, 2024 09:52 7m 43s Nadrieril:dont-eval-constants-eagerly
Nadrieril:dont-eval-constants-eagerly
September 18, 2024 09:52 7m 43s
Detangle trait solving from SInto .github/workflows/charon.yml #405: Pull request #894 opened by Nadrieril
September 18, 2024 08:44 6m 33s Nadrieril:cleanup-trait-solving
Nadrieril:cleanup-trait-solving
September 18, 2024 08:44 6m 33s
Support other variants of MIR .github/workflows/charon.yml #404: Pull request #892 synchronize by Nadrieril
September 17, 2024 14:02 6m 16s Nadrieril:promoted-mir
Nadrieril:promoted-mir
September 17, 2024 14:02 6m 16s
Support other variants of MIR .github/workflows/charon.yml #403: Pull request #892 opened by Nadrieril
September 17, 2024 11:40 7m 34s Nadrieril:promoted-mir
Nadrieril:promoted-mir
September 17, 2024 11:40 7m 34s
fix: fstar: default trait .github/workflows/charon.yml #402: Pull request #891 opened by W95Psp
September 16, 2024 13:51 9m 27s improve-default-trait
improve-default-trait
September 16, 2024 13:51 9m 27s
fix(engine): make dep. analysis sensible to UID assoc. items .github/workflows/charon.yml #401: Pull request #860 synchronize by W95Psp
September 16, 2024 07:55 9m 33s make-deps-uid-assoc-items-sensible
make-deps-uid-assoc-items-sensible
September 16, 2024 07:55 9m 33s
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