Skip to content
💀
💀
Pro
  • Stanford University
Block or report user

Report or block 4tXJ7f

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@CVC4
  • Stanford University
Block or report user

Report or block 4tXJ7f

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

    SMT 324 104

  2. The Z3 Theorem Prover

    C++ 4.7k 802

  3. A library that provides an embeddable, persistent key-value store for fast storage.

    C++ 15.1k 3.3k

  4. Forked from nunoplopes/alive

    Alive: Automatic LLVM's Instcombine Verifier

    Python 5

1,013 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to CVC4/CVC4, 4tXJ7f/cvc4-website, CVC4/homebrew-cvc4 and 5 other repositories
Loading

Contribution activity

October 2019

Created a pull request in CVC4/CVC4 that received 4 comments

[CVC Parser] Add support for regular expressions

This commit adds support for regular expressions in the CVC parser along with a simple regression that illustrates and tests the use of the regular…

+69 −20 4 comments
8 contributions in private repositories Oct 1 – Oct 15

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.