Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: Generative-Program-Analysis/GenSym
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: Generative-Program-Analysis/GenSym
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: fix-heuristic
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 9 commits
  • 13 files changed
  • 1 contributor

Commits on Mar 11, 2026

  1. bug fix: remove recalculation of symbolic size

    @butterunderflow
    butterunderflow committed Mar 11, 2026
    Configuration menu
    Copy the full SHA
    5f01859 View commit details
    Browse the repository at this point in the history

  2. a debug utility

    @butterunderflow
    butterunderflow committed Mar 11, 2026
    Configuration menu
    Copy the full SHA
    31a7ca8 View commit details
    Browse the repository at this point in the history

  3. fix: symbol name for combined z3 model

    @butterunderflow
    butterunderflow committed Mar 11, 2026
    Configuration menu
    Copy the full SHA
    1b257fd View commit details
    Browse the repository at this point in the history

  4. compute composed model by z3::model directly

    @butterunderflow
    butterunderflow committed Mar 11, 2026
    Configuration menu
    Copy the full SHA
    235f74b View commit details
    Browse the repository at this point in the history

  5. remove a test case for i64.rotr, which is not use in benchmarks

    @butterunderflow
    butterunderflow committed Mar 11, 2026
    Configuration menu
    Copy the full SHA
    7612760 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2026

  1. more debuggiing infos

    @butterunderflow
    butterunderflow committed Mar 12, 2026
    Configuration menu
    Copy the full SHA
    6d458b1 View commit details
    Browse the repository at this point in the history

  2. move antlr interp files to .antlr folder so we can debug them in vscode

    @butterunderflow
    butterunderflow committed Mar 12, 2026
    Configuration menu
    Copy the full SHA
    56d2d90 View commit details
    Browse the repository at this point in the history

  3. fix load syntax

    @butterunderflow
    butterunderflow committed Mar 12, 2026
    Configuration menu
    Copy the full SHA
    25ff3c9 View commit details
    Browse the repository at this point in the history

  4. support all memory operations

    @butterunderflow
    butterunderflow committed Mar 12, 2026
    Configuration menu
    Copy the full SHA
    3663b7d View commit details
    Browse the repository at this point in the history
Loading