Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 22, 2025

• Update smtfuzz.rs

  rainoftime

  authored
  132db45

  Copy full SHA for 132db45

Commits on Aug 13, 2025

• Update and rename smtfuzz2.py to smtfuzz.rs

  rainoftime

  authored
  e7cd32f

  Copy full SHA for e7cd32f

Commits on Aug 7, 2025

• Update README.md

  rainoftime

  authored
  a0f448e

  Copy full SHA for a0f448e

Commits on Aug 5, 2025

• clean more

  cutelimination

  committed
  ab1ec5c

  Copy full SHA for ab1ec5c

• cleanup code

  cutelimination

  committed
  b89a9c7

  Copy full SHA for b89a9c7

Commits on Jun 16, 2025

• Implement incremental solving features in smtfuzz2; add IncrementalContext class and update GenerationConfig with new parameters for push/pop commands. Introduce new third-party modules for ADT, in…

  Show description for 22fb128
  cutelimination

  committed
  22fb128

  Copy full SHA for 22fb128

Commits on Jun 15, 2025

• feat: smtfuzz2, a new SMT-LIB2 formula generator with support for multiple theories and complex expression generation strategies; includes configuration options for depth, variables, constants, and…

  Show description for ec09bdf
  cutelimination

  committed
  ec09bdf

  Copy full SHA for ec09bdf

Commits on Jun 12, 2025

• Merge branch 'main' of https://github.com/ZJU-Automated-Reasoning-Group/smtfuzz

  cutelimination

  committed
  94ae125

  Copy full SHA for 94ae125

• more..

  cutelimination

  committed
  f619b82

  Copy full SHA for f619b82

• more third-party tools

  cutelimination

  committed
  59bd487

  Copy full SHA for 59bd487

• Update README.md

  rainoftime

  authored
  c4f09e6

  Copy full SHA for c4f09e6

Commits on Jun 11, 2025

• Add Skeletal Approximation Enumeration (SAE) module with mutator and utility functions for SMT solver testing; include initial test suite for functionality verification.

  cutelimination

  committed
  492ee54

  Copy full SHA for 492ee54

Commits on Jun 9, 2025

• refine

  cutelimination

  committed
  e3cf70e

  Copy full SHA for e3cf70e

• Enhance SMTFuzz CLI by introducing a new runner script for advanced fuzzing modes and consolidating legacy functionality; remove outdated seed and generation scripts.

  cutelimination

  committed
  d735b09

  Copy full SHA for d735b09

• refine

  cutelimination

  committed
  7c040a3

  Copy full SHA for 7c040a3

• Add scripts for commit analysis and checking; remove unused storm documentation and assets

  cutelimination

  committed
  a129b02

  Copy full SHA for a129b02

• clean up code

  cutelimination

  committed
  3089f9a

  Copy full SHA for 3089f9a

• refine

  cutelimination

  committed
  90243b7

  Copy full SHA for 90243b7

• Implement inter-theory mutation engine with seed generation and mutation capabilities; update setup.py to pin z3-solver version

  cutelimination

  committed
  ee9d3d8

  Copy full SHA for ee9d3d8

Commits on Jun 8, 2025

• add histfuzz

  cutelimination

  committed
  7478c85

  Copy full SHA for 7478c85

• Add new mutators and initial setup for storm and diver projects

  cutelimination

  committed
  ef52f7f

  Copy full SHA for ef52f7f

Commits on May 26, 2025

• add txt

  cutelimination

  committed
  6686933

  Copy full SHA for 6686933

• add new mutators

  cutelimination

  committed
  a79ea15

  Copy full SHA for a79ea15

Commits on May 12, 2025

• Update README.md

  rainoftime

  authored
  2de747f

  Copy full SHA for 2de747f

Commits on Jan 19, 2025

• fix

  cutelimination

  committed
  a7b4d94

  Copy full SHA for a7b4d94

Commits on Jan 18, 2025

• make mutators a part of the library; todo: expose the APIs and extend the cli?

  cutelimination

  committed
  ffa6069

  Copy full SHA for ffa6069

Commits on Jan 17, 2025

• modern setup

  cutelimination

  committed
  5ea95f8

  Copy full SHA for 5ea95f8

• fix setup

  cutelimination

  committed
  39534c8

  Copy full SHA for 39534c8

• fix setup

  cutelimination

  committed
  ce37e19

  Copy full SHA for ce37e19

• fix setup

  cutelimination

  committed
  140563f

  Copy full SHA for 140563f

• update setup.py

  cutelimination

  committed
  acac11c

  Copy full SHA for acac11c

Commits on Nov 21, 2024

• refine

  cutelimination

  committed
  b8b5c1a

  Copy full SHA for b8b5c1a

Commits on Nov 19, 2024

• refine

  cutelimination

  committed
  3773bc2

  Copy full SHA for 3773bc2

• some scripts..

  cutelimination

  committed
  f10476c

  Copy full SHA for f10476c

Commits on Nov 11, 2024

• Update README.md

  rainoftime

  authored
  5498060

  Copy full SHA for 5498060

Pagination

Previous

Next