Repository navigation

release: 1.1.0-rc1 - #44

Merged

hbgit merged 130 commits into

mainfrom

develop

Oct 17, 2026

Merged

release: 1.1.0-rc1#44
hbgit merged 130 commits into
mainfrom
develop

Commits on Sep 15, 2026
- 3 de set. de 2026, 14:50
  lopes-lv
  committed
  1acb208
- 10 de set. de 2026, 16:13
  lopes-lv
  committed
  67f6a19
- test: expand FFI stress harness to cover 100% of exported symbols
  lopes-lv
  committed
  346271f
- 15 de set. de 2026, 09:21
  lopes-lv
  committed
  a0f494d
Commits on Oct 2, 2026
- feat:implementação do M3
  lopes-lv
  committed
  a951802
Commits on Oct 6, 2026
- Fix Rust FFI review findings
  
  Copilot
  and
  hbgit
  authored
  860368c
Commits on Oct 13, 2026
- Merge branch 'feature/rust' into feat/update_rust
  hbgit
  committed
  6c4e6e2
- ci: fix cargo-audit installation for rust 1.82 and optimize Dockerfile
  hbgit
  committed
  38841ee
- docs: add implementation plan for verifying and resolving PR 2
  hbgit
  committed
  dfcce06
- Merge pull request #2 from hbgit/feat/update_rust
  hbgit
  authored
  672a84c
- Merge branch 'feature/rust' into feat/M3_paridade
  
  hbgit
  and
  claude
  committed
  753b4bb
- docs: correct panic = "abort" premise dropped by the base
  
  hbgit
  and
  claude
  committed
  d86e5d5
Commits on Oct 14, 2026
Commits on Oct 15, 2026
- ci: version branch protection for feature/rust and master (#26)
  hbgit
  committed
  9649c44
- docs: note master CI requirement and bypass in branch protection section (#26)
  hbgit
  committed
  eecc3c9
- Merge pull request #31 from hbgit/ci/issue-26-branch-protection
  hbgit
  authored
  f30f67d
- Minor changes
  hbgit
  committed
  eeff599
- docs: add plan for issue #27 (remove C-era artifacts)
  
  hbgit
  and
  claude
  committed
  cf6b5ae
- test: add guard against C-era artifacts in tracked files (#27)
  
  hbgit
  and
  claude
  committed
  571ae1c
- chore: remove C-era docs (Doxyfile, UML .xmi, class diagram) (#27)
  
  hbgit
  and
  claude
  committed
  b1d6abd
- fix: tighten C-era guard and remove run_libfuzzer_test.sh (#27)
  
  hbgit
  and
  claude
  committed
  e9386b5
- Merge pull request #32 from hbgit/chore/issue-27-remove-c-era-docs
  hbgit
  authored
  7908879
- build: expose crate version as MAP2CHECK_VERSION in generated header (#28)
  
  hbgit
  and
  claude
  committed
  dabda13
- build: bump crate version to 1.0.0-rc1 (#28)
  
  hbgit
  and
  claude
  committed
  8890f02
- docs: add plan for issue #28 (version crate and header as 1.0.0-rc1)
  
  hbgit
  and
  claude
  committed
  91178f3
- Merge pull request #33 from hbgit/build/issue-28-version-rc1
  hbgit
  authored
  86989e7
- test: unit-test init and result-management FFI exports (#29)
  
  hbgit
  and
  claude
  committed
  1167715
- test: unit-test nondet and basic-block FFI exports (#29)
  
  hbgit
  and
  claude
  committed
  09b4c3b
- test: unit-test memory-tracking FFI exports (#29)
  
  hbgit
  and
  claude
  committed
  740b100
- test: unit-test assert and overflow FFI exports (#29)
  
  hbgit
  and
  claude
  committed
  db05523
- test: unit-test memory-safety check FFI exports (#29)
  
  hbgit
  and
  claude
  committed
  2910f9c
- test: cover process-terminating verifier exports via child process (#29)
  
  hbgit
  and
  claude
  committed
  05b44c3
- test: fail when a header export has no Rust test (#29)
  
  hbgit
  and
  claude
  committed
  7e3cb98
- test: require real calls and cross-check source exports in FFI checklist (#29)
  
  hbgit
  and
  claude
  committed
  6e8279e
- docs: add plan for issue #29 (Rust unit tests per FFI export)
  
  hbgit
  and
  claude
  committed
  09d86ac
- Merge pull request #34 from hbgit/test/issue-29-ffi-unit-tests
  hbgit
  authored
  9600fc0
- docs: add plan for issue #5 (compatibility docs and release process)
  hbgit
  committed
  79beb93
- test: share header declaration parser between integration tests (#5)
  hbgit
  committed
  53c5d75
- docs: add symbol/signature compatibility matrix to api-deltas (#5)
  hbgit
  committed
  52f1c6b
- docs: add C integration guide with serializer-checked JSON examples (#5)
  hbgit
  committed
  e5cdbe4
- docs: add CHANGELOG and require a section for the crate version (#5)
  hbgit
  committed
  2378dfa
- docs: add reproducible semantic deltas against the legacy C code (#5)
  hbgit
  committed
  6bd4c74
- build: package release archive with header, libraries and docs (#5)
  hbgit
  committed
  c3b8a7c
- test: pin macro-generated FFI signatures to their hand-written header declarations (#5)
  hbgit
  committed
  e8dc375
- docs: record VLA size unit in SD-12 and fix release notes extraction (#5)
  hbgit
  committed
  acd4eb0
- docs: link suspected regressions to their issues (#5)
  hbgit
  committed
  b8fd022
- test: define __map2check_main__ stub in compat_docs for coverage builds (#5)
  hbgit
  committed
  bb1c7b0
- Merge pull request #35 from hbgit/docs/issue-5-compat-release
  hbgit
  authored
  3813dde
- Merge branch 'feature/rust' into develop
  hbgit
  committed
  346e340
- ci: make develop the integration branch instead of feature/rust
  hbgit
  committed
  983042c
- docs: add remote branch cleanup and develop-flow migration plan
  hbgit
  committed
  c455a96
- Merge pull request #39 from hbgit/ci/develop-as-integration-branch
  hbgit
  authored
  4c1a8b4
- ci: rename release branch master to main in CI, protection script and docs
  hbgit
  committed
  0b1dcbc
- Merge pull request #40 from hbgit/ci/rename-master-to-main
  hbgit
  authored
  6fee40d
- docs: add plan for the Map2Check C runtime cutover to the Rust library
  hbgit
  committed
  f3d337c
- docs: retarget the cutover plan at Map2Check develop (AFL++ instead of LibFuzzer)
  hbgit
  committed
  28881cf
- docs: map Map2Check pass ABI to the core Rust API and gate it with a symbol matrix
  hbgit
  committed
  b8ed2da
- docs: fix nondet log contract in the cutover plan to match the core API
  hbgit
  committed
  2d13ac2
- docs: fix the cutover ABI mapping after review (unsigned binops, widths, overflowError, termination notes)
  hbgit
  committed
  2a0a68f
Commits on Oct 16, 2026
Commits on Oct 17, 2026

Commits

Commits on Sep 15, 2026

Commits on Oct 2, 2026

Commits on Oct 6, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026

Commits on Oct 17, 2026