about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/abc
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2023-11-08abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13Luflosi1-3/+3
2023-11-08abc-verifier: cleanupLuflosi1-6/+13
2023-11-08abc-verifier: add Luflosi as maintainerLuflosi1-1/+1
2023-10-07abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13Luflosi1-3/+3
2023-07-18abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28Luflosi1-3/+3
2023-03-12abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23Luflosi1-3/+3
2023-02-22abc-verifier: unstable-2022-11-09 -> unstable-2023-02-04Luflosi1-3/+3
2022-12-06abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09Luflosi1-3/+3
2022-10-14abc-verifier: 2022.07.27 -> unstable-2022-09-08Luflosi1-3/+3
2022-08-12yosys: 0.18 -> 0.20Austin Seipp1-3/+3
2022-06-20abc-verifier: 2022.03.22 -> 2022.05.06Luflosi1-3/+3
2022-05-04treewide: add meta.mainProgram to many packagesMalo Bourgon1-1/+2
2022-04-12abc-verifier: 2022.03.04 -> 2022.03.22Luflosi1-3/+3
2022-03-08abc-verifier: 2021.11.12 -> 2022.03.04Luflosi1-3/+3
2021-12-02yosys: 0.10+1 -> 0.11+52, with abc updateAustin Seipp1-5/+5
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2021-01-03treewide: remove enableParallelBuilding = true if using cmakeBen Siraphob1-1/+0
2020-12-02abc-verifier: 2020.06.22 -> 2020.11.24Austin Seipp1-4/+4
2020-07-09yosys: 2020.06.19 -> 2020.07.07Austin Seipp1-3/+3
2020-06-11yosys: 2020.03.24 -> 2020.06.11Austin Seipp1-3/+3
2020-03-17yosys: 2020.02.25 -> 2020.03.16Austin Seipp1-21/+18
2020-02-01abc-verifier: passthru revFlorian Klink1-2/+6
2020-02-01abc-verifier: 2018-07-08 -> 2020-01-11Florian Klink1-3/+3
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-07-12abc-verifier: 20160818 -> 2018-07-08Will Dietz1-10/+11
2017-07-15abc-verifier: fix typo in metaVladimír Čunát1-1/+1
2017-04-23abc-verifier: Add http url scheme to abc homepageMario Rodas1-1/+1
2016-08-19nixpkgs: abc-verifier 20160813 -> 20160818Austin Seipp1-3/+3
2016-08-13nixpkgs: abc-verifier 20150614 -> 20160813Austin Seipp1-3/+3
2015-06-14nixpkgs: abc-verifier 20150406 -> 20150614Austin Seipp1-4/+4
2015-04-06nixpkgs: abc-verifier 20140509 -> 20150406Austin Seipp1-4/+4
2015-01-03abc: export buildFlags in the preBuildJohn Wiegley1-0/+3
2014-06-28fetchbzr, fetchdarcs, fetchhg: use `rev` attrBenno Fünfstück1-1/+1
2014-05-17nixpkgs: add abc version 040509Austin Seipp1-0/+27
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 03:09:11 +0000