Skip to content
View chenyikao's full-sized avatar
🏠
Anyone providing relevant jobs is welcome to leave a message~
🏠
Anyone providing relevant jobs is welcome to leave a message~
1 follower · 0 following

Organizations

@fozusoft
Block or Report

Block or report chenyikao

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

Popular repositories

  1. VODCondGen4DataRace VODCondGen4DataRace Public

    OpenMP Variable-oriented-DAG Condition Generator

    SMT 1

  2. VODCondGen VODCondGen Public

    A C Program condition generator based on variable-oriented directed acyclic graph.

    Java

  3. Z3DowngradingSolver Z3DowngradingSolver Public

    A Z3 solver wrapper downgrading the domain of a given program condition in case of unknown or timeout results from plain Z3 solving.

    Java

  4. SMTSolverWrapperElements SMTSolverWrapperElements Public

    This project separates common elements an SMT solver wrapper needs from the VOD condition generator and Z3 downgrading solver.

    C

  5. ShuttleEclipsespilce ShuttleEclipsespilce Public

    Java

  6. code-analysis code-analysis Public

    Java