Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 14, 2025

• Delete scripts/__pycache__ directory

  spaceorc

  authored
  433d1ae

  Copy full SHA for 433d1ae

• Fix type validation

  spaceorc

  committed
  1cca837

  Copy full SHA for 1cca837

Commits on Oct 8, 2025

• feat: update bit-vector handling and character expression conversions with new methods and evaluations

  spaceorc

  committed
  1077563

  Copy full SHA for 1077563

• feat: enhance string and character expression support with conversions and comparisons

  spaceorc

  committed
  453e782

  Copy full SHA for 453e782

Commits on Oct 7, 2025

• feat: add string expression support with character and bitvector conversions

  spaceorc

  committed
  9813058

  Copy full SHA for 9813058

• feat: automatic Z3_ast_vector to array conversion in public API

  Show description for b0f6c71
  

  spaceorc

  and

  claude

  committed
  b0f6c71

  Copy full SHA for b0f6c71

• docs: update CLAUDE.md with code generation pipeline details and correct file references

  spaceorc

  committed
  8e3b98b

  Copy full SHA for 8e3b98b

• feat: add unsatisfiable cores for constraint conflict debugging

  Show description for e861771
  

  spaceorc

  and

  claude

  committed
  e861771

  Copy full SHA for e861771

• docs: enhance CLAUDE.md with detailed feature development and daily task guidelines

  spaceorc

  committed
  dfa4c0a

  Copy full SHA for dfa4c0a

• docs: update documentation with current project metrics and refactor CLAUDE.md

  Show description for bf21d63
  

  spaceorc

  and

  claude

  committed
  bf21d63

  Copy full SHA for bf21d63

• docs: update CLAUDE.md with guidelines for managing markdown artifacts in Z3Wrap.sln

  spaceorc

  committed
  b68cca6

  Copy full SHA for b68cca6

• refactor: enhance ReadmeExamplesTests with console output verification for optimization results

  spaceorc

  committed
  d2c047e

  Copy full SHA for d2c047e

• refactor: update README examples with detailed section titles and add optimization test case

  spaceorc

  committed
  e83088d

  Copy full SHA for e83088d

• feat: add Z3 optimization support with typed objectives and optimizer class

  spaceorc

  committed
  b3b508d

  Copy full SHA for b3b508d

• refactor: enhance CHANGELOG with comprehensive updates for Z3 C API wrapper and related features

  spaceorc

  committed
  de1edda

  Copy full SHA for de1edda

• refactor: convert Z3 callback names to C# delegate names

  spaceorc

  committed
  3e818fb

  Copy full SHA for 3e818fb

• refactor: enable nullable reference types in generated code files

  spaceorc

  committed
  65419c9

  Copy full SHA for 65419c9

Commits on Oct 6, 2025

• refactor: skip error checking for reference counting methods in generated code

  spaceorc

  committed
  7cca464

  Copy full SHA for 7cca464

Commits on Oct 5, 2025

• refactor: update sort kind references to use Z3Library.SortKind enumeration

  spaceorc

  committed
  a8de13d

  Copy full SHA for a8de13d

• refactor: update parameter handling to support 'out' modifiers in generated methods

  spaceorc

  committed
  0915a30

  Copy full SHA for 0915a30

• refactor: enhance output parameter handling in P/Invoke mappings

  spaceorc

  committed
  f3ec5f2

  Copy full SHA for f3ec5f2

• refactor: improve documentation clarity by adding return type descriptions and correcting method names

  spaceorc

  committed
  b808944

  Copy full SHA for b808944

• refactor: add doxygen integration script to project solution

  spaceorc

  committed
  52a7617

  Copy full SHA for 52a7617

• refactor: enhance documentation clarity by improving parameter descriptions and formatting

  spaceorc

  committed
  adf9a59

  Copy full SHA for adf9a59

• refactor: update documentation to improve clarity and consistency in parameter references

  spaceorc

  committed
  1fb15a8

  Copy full SHA for 1fb15a8

• refactor: enhance documentation clarity by improving parameter descriptions and adding remarks

  spaceorc

  committed
  b67fcfb

  Copy full SHA for b67fcfb

• refactor: improve documentation clarity by enhancing parameter descriptions and removing redundant text

  spaceorc

  committed
  161bf6c

  Copy full SHA for 161bf6c

• refactor: enhance cref reference handling and remove duplicates in parameter documentation

  spaceorc

  committed
  cd4d914

  Copy full SHA for cd4d914

• refactor: remove obsolete UpdateParamValue method and enhance library generation with new generated files

  spaceorc

  committed
  d81bbd5

  Copy full SHA for d81bbd5

• refactor: enhance parameter documentation with ctype attributes for clarity

  spaceorc

  committed
  91eb5be

  Copy full SHA for 91eb5be

Commits on Oct 4, 2025

• refactor: enhance enum processing with two-pass approach for improved documentation handling

  spaceorc

  committed
  42b9112

  Copy full SHA for 42b9112

• refactor: update error handling and improve enum reference processing in documentation

  spaceorc

  committed
  f6086cd

  Copy full SHA for f6086cd

• refactor: improve library generation output and add formatting step

  spaceorc

  committed
  8d3c659

  Copy full SHA for 8d3c659

• refactor: update Z3Library2 file structure and enhance library generation process

  spaceorc

  committed
  6b1f713

  Copy full SHA for 6b1f713

• feat: add Z3Library2 generator script for enum definitions

  spaceorc

  committed
  51b5cc2

  Copy full SHA for 51b5cc2

Pagination

Previous

Next