Kratos

Latest version: v0.1.3

Safety actively analyzes 693883 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 3 of 11

0.0.32.4

Fixed
- fix value bound check on large const numbers
- fix a bug where cloned generators lose their port packed attribute

0.0.32.3

Changed
- Updated schema for hgdb

0.0.32.2

Added
- Add a simple pass (could be optimized later on) to compute trigger logic

Changed
- Updated schema for hgdb

0.0.32.1

Changed
- Adjust enable condition due to exprtk constraints
- Remove hierarchy name in value table

0.0.32

Added
- hgdb support!
- SSA support. Off by default

Changed
- Code refactoring based on the newest clang-tidy
- Debug symbol table change due to the adoption of hgdb

Fixed
- Fix a bug in combinational loop detection

0.0.31.2

Added
- Add ternary eval to the sim function
- Add default output to fully specify FSM output case statement

Fixed
- Fix a sensitivity list bug where string is used to query variable instead of using the var directly

Page 3 of 11

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.