about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/tamarin-prover
AgeCommit message (Expand)AuthorFilesLines
2024-03-22tamarin-prover: pick patch for Stackage LTS 22 dependenciessternenseemann2-9/+250
2023-08-31tamarin-prover: 1.6.1 -> 1.8.0Austin Seipp1-22/+31
2023-05-10tamarin-prover: allow maude 3.1.1sternenseemann1-3/+16
2023-04-05tamarin-prover: Allow compiling with maude-3.3Ellie Hermaszewska1-1/+9
2023-03-14tamarin-prover: only use glibcLocales on linuxWeijia Wang1-1/+3
2023-03-12tamarin-prover: set LOCALE_ARCHIVE in wrapperAustin Seipp1-1/+2
2023-03-08tamarin-prover: install vim-plugin to nvim/siteDoron Behar1-0/+2
2022-06-17tamarin-prover: remove darwin from hydraPlatformsDennis Gosnell1-0/+1
2022-01-25tamarin-prover: install emacs-modeVincent Laporte1-0/+2
2021-10-22tamarin-prover: 1.6.0 → 1.6.1Vincent Laporte1-7/+3
2021-05-11tamarin-prover: Mark brokenMalte Brandy1-0/+4
2020-10-13tamarin-prover: 1.4.1 → 1.6.0 (#100148)Vincent Laporte2-112/+21
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-09-24tamarin-prover: mark as broken because upstream is brokenKierán Meinhardt1-0/+2
2019-01-19tamarin-prover: 1.4.0 -> 1.4.1, bundled sapicAustin Seipp5-388/+91
2018-09-13tamarin-prover: fix ghc 8.4 build (#46597)Maximilian Bosch4-3/+385
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2018-05-07tamarin-prover: 1.3.1 -> 1.4.0Austin Seipp1-5/+5
2018-05-07tamarin-prover: Fix compile issuesWanja Chresta1-3/+12
2018-03-31tamarin-prover: install vim syntax highlighting filesSymphorien Gibol1-0/+3
2018-03-08tamarin-prover: 1.3.0 -> 1.3.1wchresta1-3/+3
2017-12-30tamarin-prover: enable testsAustin Seipp1-2/+4
2017-12-30nixpkgs: add sapic as a dependency to tamarin-proverAustin Seipp1-2/+2
2017-12-30nixpkgs: add 'graphviz' to tamarin-prover dependenciesAustin Seipp1-2/+3
2017-12-30nixpkgs: add tamarin-prover 1.3.0 (dev) toolAustin Seipp1-0/+84
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 08:57:22 +0000