about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2023-04-05tamarin-prover: Allow compiling with maude-3.3Ellie Hermaszewska1-1/+9
2023-03-29Merge pull request #220832 from wegank/glucose-bumpWeijia Wang1-4/+7
2023-03-28coq: 8.16.1 -> 8.17.0Ali Caglayan1-1/+1
2023-03-25cvc5: 1.0.4 -> 1.0.5R. Ryantm1-2/+2
2023-03-22yices: fix typo in commentLuflosi1-1/+1
2023-03-22Merge pull request #220001 from wegank/isabelle-armWeijia Wang1-5/+15
2023-03-21acgtk: use Dune 3Vincent Laporte1-2/+2
2023-03-20why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)Vincent Laporte2-7/+10
2023-03-18glucose: 4.1 -> 4.2.1Weijia Wang1-4/+7
2023-03-18glucose: refactorWeijia Wang2-31/+20
2023-03-16Merge pull request #219747 from Stunkymonkey/deprecate-isNullBernardo Meurer1-1/+1
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-12abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23Luflosi1-3/+3
2023-03-08tamarin-prover: install vim-plugin to nvim/siteDoron Behar1-0/+2
2023-03-07isabelle: add aarch64-linux supportWeijia Wang1-5/+15
2023-03-07leo2: add darwin supportWeijia Wang1-1/+3
2023-03-06treewide: deprecate isNullFelix Buehler1-1/+1
2023-03-06Merge pull request #219606 from wegank/vampire-aarch64Ilan Joselevich1-7/+4
2023-03-05vampire: unbreak on aarch64-linuxWeijia Wang1-7/+4
2023-03-05cubicle: set env instead of postPatchWeijia Wang1-7/+6
2023-02-26treewide: python{ => .pythonForBuild}.interpreterAlyssa Ross1-1/+1
2023-02-25Merge pull request #210627 from wizeman/u/fix-fstarNorbert Melzer1-2/+7
2023-02-24Merge pull request #217989 from kilianar/cryptominisat-5.11.4Jörg Thalheim1-18/+16
2023-02-24cryptominisat: 5.8.0 -> 5.11.4kilianar1-18/+16
2023-02-23Merge pull request #217206 from Artturin/stdenvimprovements1Bernardo Meurer4-5/+5
2023-02-23Merge pull request #217702 from Luflosi/update/yosysNick Cao1-3/+3
2023-02-22treewide: env.NIX_CFLAGS_COMPILE use toString on result of optionalsArtturin1-2/+2
2023-02-22treewide: move NIX_CFLAGS_COMPILE to the env attrsetArtturin4-4/+4
2023-02-22treewide: use toString on list NIX_CFLAGS_COMPILEArtturin1-1/+1
2023-02-22cvc5: 1.0.3 → 1.0.4Vincent Laporte1-5/+8
2023-02-22abc-verifier: unstable-2022-11-09 -> unstable-2023-02-04Luflosi1-3/+3
2023-02-19treewide:replace http by https when https is a permanent redirectionFerry Jérémie1-1/+1
2023-02-18cvc4: Fix build failure from new bash 5.2 featureBoey Maun Suang2-0/+43
2023-02-13treewide: use optionalStringFelix Buehler1-6/+6
2023-02-07fstar: use proper z3 version and build .checked filesRicardo M. Correia1-2/+7
2023-02-07Merge master into staging-nextgithub-actions[bot]1-1/+1
2023-02-06coq: remove undefined attribute `ocamlPropagatedNativeBuildInputs` in `passthru`Thomas Gerbet1-1/+1
2023-02-06Merge master into staging-nextgithub-actions[bot]1-2/+2
2023-02-05treewide: another round of gcc12 fixupsVladimír Čunát1-2/+2
2023-02-05cbmc: 5.74.0 -> 5.76.1R. Ryantm1-2/+2
2023-02-03Merge branch 'master' into staging-nextVladimír Čunát15-29/+70
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid14-23/+55
2023-02-03ocamlPackages treewide: strictDeps all packagesUlrik Strid2-6/+15
2023-02-01Merge #206907: stdenv: gcc11 -> gcc12Vladimír Čunát1-3/+7
2023-01-30alt-ergo: fix src URLVincent Laporte1-2/+2
2023-01-27treewide: add gcc12 flagsFabián Heredia Montiel1-3/+7
2023-01-24ott: 0.32 → 0.33Vincent Laporte1-4/+4
2023-01-23Merge pull request #206494 from r-ryantm/auto-update/fast-downwardWeijia Wang1-2/+2
2023-01-22Merge pull request #194260 from r-ryantm/auto-update/logisim-evolutionWeijia Wang1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-12 23:39:46 +0000