summary refs log tree commit diff
path: root/pkgs/development/tools/analysis/ikos
Commit message (Expand)AuthorAge
* treewide: rename name to pname&versionFelix Buehler2022-02-01
* treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob2021-01-01
* ikos: 2.1 → 3.0Vincent Laporte2020-09-30
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren2019-12-30
* ikos: init at 2.1Etienne Laurin2018-12-12