summary refs log tree commit diff
path: root/pkgs/development/tools/analysis/ikos
Commit message (Expand)AuthorAge
* ikos: init at 2.1Etienne Laurin2018-12-12