summary refs log tree commit diff
path: root/pkgs/development/tools/analysis/ikos/default.nix
AgeCommit message (Expand)AuthorFilesLines
2023-08-02ikos: 3.0 → 3.1Vincent Laporte1-2/+2
2023-08-02ikos: fix buildVincent Laporte1-1/+6
2022-02-01treewide: rename name to pname&versionFelix Buehler1-2/+2
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-1/+2
2020-09-30ikos: 2.1 → 3.0Vincent Laporte1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-30treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren1-1/+1
2018-12-12ikos: init at 2.1Etienne Laurin1-0/+36