Minor enhancements in toolkit
Minor enhancements with minimal or no functional impacts:
- Enhancements in OPC UA types management
- Add shallow copy for variants (no content deallocation for the copy in this case)
- Improve encoders/decoders return status
- Add OpcUa types print helpers
- Fix invalid encoders return status in out of memory case
- Fix minor issues
- Fix invalid casts
- Fix minor or tests memory leaks
- Fix print formatting for specific integer types using macros of
inttypes.h
- Fix minor issues in the B model
- Fix minor bugs in OpcUa types (Copy operations)
- Minor code refactoring
- Minor tests enhancement
- Working on B proof
- Documentation fix
- Source code formatting issues
- Gitlab CI build.sh boilerplate + config factorization
Edited by Vincent Monfort