about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/avy
AgeCommit message (Expand)AuthorFilesLines
2023-02-22treewide: move NIX_CFLAGS_COMPILE to the env attrsetArtturin1-1/+1
2022-11-25avy: fix build on aarch64-linuxWeijia Wang3-50/+31
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-5/+5
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-1/+2
2020-09-20avy: 2017.10.16 -> 2019.05.01sohalt2-20/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-31treewide: NIX_*_COMPILE -> stringRobin Gloster1-2/+2
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-12-10avy: Disable build on aarch64-linuxSamuel Dionne-Riel1-0/+3
2018-02-13avy: fixes to work with clang and muslWill Dietz3-1/+149
2017-10-16nixpkgs: add 'avy' -- property directed AIGER model checkingAustin Seipp2-0/+44