GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Pull requests · agent-ix/quire-contract-codegen

Pull requests

Open
7 (7)
Closed
721 (721)
More items
  • Comfortable display density
  • Compact display density

  • IR-304: native-integer routed scalar harness, cover last; FR-022-AC-35 executed under Kani (refs IR-304)

    #809·kreneskyp opened Nov 12, 2026Contributor·
    ·

  • IR-1114: prepare genuine consumer receipt qualification plan

    #762·kreneskyp opened Nov 9, 2026Contributor·
    ·

  • IR-258: prepare Rational bodies, replay requests and native physical codec

    #535·kreneskyp opened Oct 22, 2026Contributor·
    ·

  • test: same-model wide field replay for IR-624

    #523·kreneskyp opened Oct 22, 2026Contributor·
    ·

  • feat(kani): add relationship symbolic graph obligations (IR-805)

    #474·kreneskyp opened Oct 20, 2026Contributor·
    ·

  • IR-837: caller-Text harness admits through quire-exact and compares Meters by accessor

    #413·kreneskyp opened Oct 17, 2026Contributor·
    ·

  • feat: admit caller text payloads

    #381·kreneskyp opened Oct 14, 2026Contributor·
    ·
    1
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.