Skip to content
View cmovcc's full-sized avatar

Block or report cmovcc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Inria-Prosecco/StarMalloc Public

    A verified, modern, hardened memory allocator. [maintainer=@cmovcc]

    F* 31 1

  2. nix-mimalloc-bench Public

    Nix 2

11 contributions in the last year

Skip to contributions year list
Contribution Graph
Day of Week August September October November December January February March April May June July
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

July 2025

Created 1 commit in 1 repository
Created 2 repositories

Created a pull request in FStarLang/steel that received 5 comments

Bump rlimit and tweak fuel/ifuel

These two proofs otherwise fail with Z3 4.13.3 locally (x86_64). Interestingly, way fewer proofs fail since context pruning has been enabled: more …

+8 −1 lines changed 5 comments
Opened 2 other pull requests in 2 repositories
Loading