about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/symbiyosys
Commit message (Expand)AuthorAge
* treewide: switch to nativeCheckInputsGuillaume Girol2023-01-21
* treewide: add meta.mainProgram to many packagesMalo Bourgon2022-04-14
* symbiyosys: 2021.09.13 -> 2021.11.30Austin Seipp2021-12-02
* symbiyosys: 2020.08.22 -> 2021.09.13Austin Seipp2021-09-29
* symbiyosys: fix the interpreter of the `sby` binary.David Anderson2021-02-10
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* symbiyosys: 2020.07.03 -> 2020.08.22Austin Seipp2020-08-23
* symbiyosys: 2020.05.18 -> 2020.07.03Austin Seipp2020-07-09
* symbiyosys: 2020.03.24 -> 2020.05.18Austin Seipp2020-06-11
* symbiyosys: 2020.02.11 -> 2020.03.24Austin Seipp2020-03-25
* symbiyosys: 2020.02.08 -> 2020.02.11Austin Seipp2020-03-17
* symbiyosys: fix calls to external programsAustin Seipp2020-02-27
* symbiyosys: 2019.10.11 -> 2020.02.08Emily2020-02-08
* symbiyosys: add yices dependencyMatt Huszagh2019-12-04
* symbiyosys: 2019.08.13 -> 2019.10.11Emily2019-10-19
* Merge branch 'master' into stagingVladimír Čunát2019-09-02
|\
| * symbiyosys: fix path to bash (again)Emily2019-09-01
* | treewide: remove redundant recvolth2019-08-28
|/
* symbiyosys: extend platformsEmily2019-08-23
* symbiyosys: 2019.04.18 -> 2019.08.13Emily2019-08-14
* symbiyosys: fix path to bashSebastien Bourdeauducq2019-05-12
* symbiyosys: 2019.03.28 -> 2019.04.18Austin Seipp2019-04-22
* symbiyosys: 2018.12.09 -> 2019.03.28Austin Seipp2019-04-15
* symbiyosys: 2018.09.12 -> 2018.12.09Austin Seipp2019-01-08
* symbiyosys: 2018.07.26 -> 2018.09.12Austin Seipp2018-10-01
* symbiyosys: 2018.05.03 -> 2018.07.26Austin Seipp2018-08-08
* symbiyosys: 2018.03.21 -> 2018.05.03Austin Seipp2018-05-03
* symbiyosys: larger meta.platformsVincent Laporte2018-04-16
* symbiyosys: 2018.03.07 -> 2018.03.21Austin Seipp2018-03-21
* symbiyosys: 2018.02.04 -> 2018.03.07Austin Seipp2018-03-08
* symbiyosys: 2018.01.10 -> 2018.02.04Austin Seipp2018-02-04
* symbiyosys: 2017.12.06 -> 2018.01.10Austin Seipp2018-01-10
* nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06Austin Seipp2017-12-06
* yosys/symbiyosys: 2017.10.16 -> 2017.11.05Austin Seipp2017-11-05
* nixpkgs: add symbiyosys, for HDL verification flowsAustin Seipp2017-10-16
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-04 20:57:11 +0000