Activity for COMPOSE-HPC
-
T. Dahlgren committed [b1df31]
Fixed enforcer macro so enforcement statistics ...
-
Violation-related messages tweaking plus append...
-
Cleaned up contract enforcement initialization ...
-
Resolved issues with postcondition checks for '...
-
Snapshot of latest fiducials related to generat...
-
Corrected source extension in the 'checkall' bu...
-
Corrected issues with postcondition and invaria...
-
Revert "Removed unused code related to recent c...
-
Removed unused code related to recent contract ...
-
Snapshot of latest changes, primarily to aid de...
-
Corrected postcondition checks for functions.
-
Corrected issue contract enforcement initializa...
-
Exclude any contract comments prior to preproce...
-
Added support and unit tests for pce_*_float, w...
-
Added support for character array quantifiers (...
-
Added basic support for quantification routines...
-
Added support and tests for pce_range contract ...
-
Updated year in copyright file.
-
Provide an example setup.sh script with setting...
-
Cleaned up makefiles
-
Updated documentation and provided helper envir...
-
Added four new helper functions for richer cont...
-
Expanded example/test contracts and fixed issue...
-
Minor updates to TODO list
-
Latest changes from porting and upgrading to ro...
-
Jason Dagit committed [4dba31]
tree-utils: add antiunifyList function
1
