about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2022-05-11python3Packages.monosat: disable failing testsP. R. d. O1-1/+8
2022-05-10makeWrapper,makeBinaryWrapper: introduce explicitly named functionsNaïm Favier1-2/+2
2022-05-10tlaplusToolbox: use non-binary wrapper for wrapGAppsHookDominik Xaver Hörl1-1/+4
2022-05-10Merge pull request #163885 from r-ryantm/auto-update/ottLassulus1-2/+2
2022-05-05Merge pull request #171602 from malob/treewide-mainProgramBernardo Meurer2-1/+3
2022-05-05easycrypt-runtest: init at 2022.04Vincent Laporte1-0/+24
2022-05-05easycrypt: init at 2022.04Vincent Laporte1-0/+50
2022-05-04treewide: add meta.mainProgram to many packagesMalo Bourgon2-1/+3
2022-04-25coq: Rename internal versionAtLeast helper to coqAtLeastAnders Kaseorg1-14/+14
2022-04-24elan: 1.4.0 -> 1.4.1R. Ryantm1-3/+3
2022-04-22treewide: testVersion -> testers.testVersionArtturin1-3/+2
2022-04-20isabelle: Make closer to upstreamJan van Brügge1-2/+31
2022-04-20naproche: 0.1.0.0 -> 2022-04-19Jan van Brügge1-3/+3
2022-04-16fast-downward: substitute version, fix buildInputs, minor cleanupSandro Jäckel1-7/+6
2022-04-16fast-downward: 19.12 → 21.12.0Fabián Heredia Montiel1-7/+15
2022-04-15Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt1-0/+1
2022-04-15Merge pull request #166865 from malob/treewide-mainProgramLassulus1-0/+1
2022-04-14treewide: add meta.mainProgram to many packagesMalo Bourgon1-0/+1
2022-04-14Merge branch 'staging-next' into stagingVladimír Čunát2-6/+6
2022-04-13elan: 1.3.1 -> 1.4.0R. Ryantm1-3/+3
2022-04-12abc-verifier: 2022.03.04 -> 2022.03.22Luflosi1-3/+3
2022-04-10Merge staging-next into staginggithub-actions[bot]2-0/+60
2022-04-09Merge pull request #166740 from shadaj/init-cvc5-symfpuThiago Kenji Okada2-0/+60
2022-04-06cvc5: init at 1.0.0Shadaj Laddad1-0/+34
2022-04-06Merge staging-next into staginggithub-actions[bot]1-66/+66
2022-04-06Merge pull request #165730 from ConnorBaker/z3_versionsEelco Dolstra1-66/+66
2022-04-05z3: Remove unused fetchpatchConnor Baker1-1/+0
2022-04-04symfpu: init at unstable-2019-05-17Shadaj Laddad1-0/+26
2022-04-04Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt3-125/+0
2022-04-03Merge master into staging-nextgithub-actions[bot]3-125/+0
2022-04-03otter: remove after being marked broken for over two yearsajs1241-53/+0
2022-04-03lean2: remove after being marked broken for over two yearsajs1241-37/+0
2022-04-03jonprl: remove after being marked broken for over two yearsajs1241-35/+0
2022-03-31Merge staging-next into staginggithub-actions[bot]1-4/+12
2022-03-31Merge master into staging-nextgithub-actions[bot]1-4/+12
2022-03-30nuXmv: fix darwin buildBen Siraphob1-4/+12
2022-03-29z3: remove 4.6.0 and 4.5.0Connor Baker1-24/+0
2022-03-27Merge staging-next into staginggithub-actions[bot]2-17/+162
2022-03-27Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt2-17/+162
2022-03-27Merge pull request #156413 from numinit/klee-fixesSandro2-17/+162
2022-03-26Merge staging-next into staginggithub-actions[bot]4-1/+89
2022-03-26Merge master into staging-nextgithub-actions[bot]4-1/+89
2022-03-26Merge pull request #159997 from jvanbruegge/isabelle-linterSandro4-1/+89
2022-03-25Merge staging-next into staginggithub-actions[bot]3-2/+3
2022-03-25Merge branch 'master' into staging-nextVladimír Čunát3-2/+3
2022-03-24Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18Ben Siraphob1-1/+1
2022-03-24z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0Connor Baker1-66/+91
2022-03-24Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17davidak1-1/+1
2022-03-24Merge pull request #164746 from ncfavier/makeWrapper-chdirDoron Behar1-1/+1
2022-03-24coq_8_15: 8.15.0 → 8.15.1Vincent Laporte1-0/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-21 13:41:40 +0000