Repository navigation

Ghost boolean - #46

Merged

rcosta358 merged 11 commits into

mainfrom

Oct 29, 2025

Merged

Ghost boolean#46
rcosta358 merged 11 commits into
mainfrom
ghost-boolean

Commits on Jul 10, 2025
- added basic support for boolean ghost variables
  rodrigomilisse
  committed
  31ec501
Commits on Jul 11, 2025
- added elementary testing for boolean ghost variables
  rodrigomilisse
  committed
  f1a3f97
Commits on Jul 23, 2025
- Updated README Setup Instructions
  
  pcanelas
  authored and
  rodrigomilisse
  committed
  bb99e59
- Updated README to include Prerequisites
  
  pcanelas
  authored and
  rodrigomilisse
  committed
  17345d4
- Updated README installation instructions
  
  pcanelas
  authored and
  rodrigomilisse
  committed
  3396a6d
- Fixed typo
  
  pcanelas
  authored and
  rodrigomilisse
  committed
  8ae3216
- Updated to use mvn
  
  pcanelas
  authored and
  rodrigomilisse
  committed
  2c19208
- Updated README
  
  pcanelas
  authored and
  rodrigomilisse
  committed
  57bbf02
Commits on Oct 9, 2025
- Improve Ghost Default Values in AuxStateHandler
  rcosta358
  committed
  90007df
- Update Tests
  rcosta358
  committed
  5aae07e
- Merge branch 'main' into ghost-boolean
  rcosta358
  authored
  e32b1cd