Commit message (Expand) | Author | Age | |
---|---|---|---|
* | tamarin-prover: fix ghc 8.4 build (#46597) | Maximilian Bosch | 2018-09-13 |
* | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 |
* | tamarin-prover: 1.3.1 -> 1.4.0 | Austin Seipp | 2018-05-07 |
* | tamarin-prover: Fix compile issues | Wanja Chresta | 2018-05-07 |
* | tamarin-prover: install vim syntax highlighting files | Symphorien Gibol | 2018-03-31 |
* | tamarin-prover: 1.3.0 -> 1.3.1 | wchresta | 2018-03-08 |
* | tamarin-prover: enable tests | Austin Seipp | 2017-12-30 |
* | nixpkgs: add sapic as a dependency to tamarin-prover | Austin Seipp | 2017-12-30 |
* | nixpkgs: add 'graphviz' to tamarin-prover dependencies | Austin Seipp | 2017-12-30 |
* | nixpkgs: add tamarin-prover 1.3.0 (dev) tool | Austin Seipp | 2017-12-30 |