about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
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-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 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-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 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 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 master into staging-nextgithub-actions[bot]4-1/+89
2022-03-26Merge pull request #159997 from jvanbruegge/isabelle-linterSandro4-1/+89
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-24coq_8_15: 8.15.0 → 8.15.1Vincent Laporte1-0/+1
2022-03-23treewide: rename name to pname&versionFelix Buehler1-1/+1
2022-03-23treewide: rename name to pname&versionFelix Buehler1-1/+1
2022-03-23isabelle: Add isabelle-linter as optional componentJan van Brügge4-1/+89
2022-03-21Merge branch 'staging-next' into stagingVladimír Čunát2-2/+41
2022-03-20Merge pull request #157515 from jvanbruegge/isabelle-naprocheGabriel Ebner2-2/+41
2022-03-20Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt1-3/+3
2022-03-18Merge pull request #164717 from collares/lean-3.42.0Gabriel Ebner1-3/+3
2022-03-18lean: 3.41.0 -> 3.42.0Mauricio Collares1-3/+3
2022-03-18Merge staging-next into staginggithub-actions[bot]1-2/+2
2022-03-17opensmt: 2.3.0 -> 2.3.1R. Ryantm1-2/+2
2022-03-16Merge remote-tracking branch 'origin/staging-next' into stagingzowoq1-0/+25
2022-03-15klee: build with klee-uclibcMorgan Jones2-17/+162
2022-03-15Merge pull request #164195 from siraben/nuXmv-initBen Siraphob1-0/+25
2022-03-15nuXmv: init at 2.0.0Ben Siraphob1-0/+25
2022-03-14Merge remote-tracking branch 'nixpkgs/staging-next' into stagingAlyssa Ross2-5/+5
2022-03-12Merge pull request #161434 from collares/lean-3.40.0Sandro1-3/+3
2022-03-12opensmt: 2.2.0 -> 2.3.0R. Ryantm1-2/+2
2022-03-11Merge staging-next into staginggithub-actions[bot]1-3/+3
2022-03-11lean: 3.40.0 -> 3.41.0Mauricio Collares1-3/+3
2022-03-08abc-verifier: 2021.11.12 -> 2022.03.04Luflosi1-3/+3
2022-03-01isabelle: Use naproche from nixpkgsJan van Brügge1-2/+3
2022-03-01naproche: init at 0.1.0.0Jan van Brügge1-0/+38
2022-03-01Merge staging-next into staginggithub-actions[bot]1-1/+23
2022-03-01Merge pull request #157843 from jvanbruegge/isabelle_setupGabriel Ebner1-1/+23
2022-02-28Merge staging-next into staginggithub-actions[bot]1-4/+4
2022-02-28Merge pull request #160332 from florentc/tlapsBobby Rong1-4/+4
2022-02-27Merge pull request #133431 from Ma27/glibc-2.34Jonathan Ringer1-0/+5
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-10 10:07:34 +0000