about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/aiger
AgeCommit message (Expand)AuthorFilesLines
2023-11-11Merge master into staging-nextgithub-actions[bot]1-2/+2
2023-11-11treewide: fix redirected and broken URLsAnthony Roussel1-2/+2
2023-10-27aiger: fix build with clang 16Randy Eckenrode2-0/+16
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-08aiger: enable for darwinRobert Scott1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2018-08-22Revert "treewide: fixup breakage due to absolute compiler path"Matthew Bauer1-3/+0
2018-08-21treewide: fixup breakage due to absolute compiler pathVladimír Čunát1-0/+3
2018-08-15aiger: clean up configurePhase, install multi-output objects/headersAustin Seipp1-4/+6
2017-10-16aiger: fix stupid incorrect download linkAustin Seipp1-1/+1
2017-10-16nixpkgs: add aiger 1.9.9Austin Seipp1-0/+53