about summary refs log tree commit diff
path: root/pkgs/development/tools/analysis/ikos
Commit message (Expand)AuthorAge
* 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