about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/symbiyosys/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-15treewide: remove myself from packages I don’t useEmily1-1/+1
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
2022-04-14treewide: add meta.mainProgram to many packagesMalo Bourgon1-0/+1
2021-12-02symbiyosys: 2021.09.13 -> 2021.11.30Austin Seipp1-5/+5
2021-09-29symbiyosys: 2020.08.22 -> 2021.09.13Austin Seipp1-3/+3
2021-02-10symbiyosys: fix the interpreter of the `sby` binary.David Anderson1-0/+3
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2020-08-23symbiyosys: 2020.07.03 -> 2020.08.22Austin Seipp1-10/+15
2020-07-09symbiyosys: 2020.05.18 -> 2020.07.03Austin Seipp1-3/+3
2020-06-11symbiyosys: 2020.03.24 -> 2020.05.18Austin Seipp1-3/+3
2020-03-25symbiyosys: 2020.02.11 -> 2020.03.24Austin Seipp1-3/+3
2020-03-17symbiyosys: 2020.02.08 -> 2020.02.11Austin Seipp1-6/+6
2020-02-27symbiyosys: fix calls to external programsAustin Seipp1-12/+24
2020-02-08symbiyosys: 2019.10.11 -> 2020.02.08Emily1-5/+5
2019-12-04symbiyosys: add yices dependencyMatt Huszagh1-1/+3
2019-10-19symbiyosys: 2019.08.13 -> 2019.10.11Emily1-3/+3
2019-09-02Merge branch 'master' into stagingVladimír Čunát1-0/+2
2019-09-01symbiyosys: fix path to bash (again)Emily1-0/+2
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-23symbiyosys: extend platformsEmily1-2/+2
2019-08-14symbiyosys: 2019.04.18 -> 2019.08.13Emily1-7/+4
2019-05-12symbiyosys: fix path to bashSebastien Bourdeauducq1-1/+4
2019-04-22symbiyosys: 2019.03.28 -> 2019.04.18Austin Seipp1-4/+4
2019-04-15symbiyosys: 2018.12.09 -> 2019.03.28Austin Seipp1-3/+3
2019-01-08symbiyosys: 2018.09.12 -> 2018.12.09Austin Seipp1-3/+3
2018-10-01symbiyosys: 2018.07.26 -> 2018.09.12Austin Seipp1-3/+3
2018-08-08symbiyosys: 2018.05.03 -> 2018.07.26Austin Seipp1-3/+3
2018-05-03symbiyosys: 2018.03.21 -> 2018.05.03Austin Seipp1-3/+3
2018-04-16symbiyosys: larger meta.platformsVincent Laporte1-1/+1
2018-03-21symbiyosys: 2018.03.07 -> 2018.03.21Austin Seipp1-4/+4
2018-03-08symbiyosys: 2018.02.04 -> 2018.03.07Austin Seipp1-3/+3
2018-02-04symbiyosys: 2018.01.10 -> 2018.02.04Austin Seipp1-4/+4
2018-01-10symbiyosys: 2017.12.06 -> 2018.01.10Austin Seipp1-3/+3
2017-12-06nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06Austin Seipp1-3/+3
2017-11-05yosys/symbiyosys: 2017.10.16 -> 2017.11.05Austin Seipp1-3/+3
2017-10-16nixpkgs: add symbiyosys, for HDL verification flowsAustin Seipp1-0/+37
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 13:36:15 +0000