search

runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
444 stars 147 forks source link

Add missing operators to prelude.kint #4477

Closed anvacaru closed 3 months ago

anvacaru commented 3 months ago

Adding new functions to the KInt module for Integer operations described in domains.md for:

Adding docstrings to KInt module. Adding labels for minInt, maxInt, and absInt.