about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2023-08-26Merge master into staging-nextgithub-actions[bot]1-3/+3
2023-08-26egglog: unstable-2023-08-19 -> unstable-2023-08-23figsoda1-3/+3
2023-08-25Merge master into staging-nextgithub-actions[bot]1-2/+2
2023-08-24cryptominisat: 5.11.11 -> 5.11.12R. Ryantm1-2/+2
2023-08-23Merge master into staging-nextgithub-actions[bot]1-2/+2
2023-08-23cbmc: 5.89.0 -> 5.90.0R. Ryantm1-2/+2
2023-08-21Merge staging-next into staginggithub-actions[bot]2-10/+231
2023-08-20egglog: unstable-2023-08-09 -> unstable-2023-08-19figsoda2-10/+231
2023-08-18Merge branch 'staging-next' into stagingTheodore Ni1-3/+3
2023-08-16cvc5: 1.0.5 → 1.0.6Vincent Laporte1-3/+3
2023-08-15Merge pull request #248683 from oxij/tree/source-root-continues-3Pol Dellaiera1-1/+1
2023-08-13Merge pull request #247626 from r-ryantm/auto-update/fast-downwardWeijia Wang1-2/+2
2023-08-12treewide: remove unneeded dots and slashes in `sourceRoot`sJan Malakhovski1-1/+1
2023-08-10Merge pull request #248258 from r-ryantm/auto-update/cbmcNick Cao1-2/+2
2023-08-10cbmc: 5.88.1 -> 5.89.0R. Ryantm1-2/+2
2023-08-09egglog: unstable-2023-07-19 -> unstable-2023-08-09figsoda1-3/+3
2023-08-07libpoly: 0.1.11 -> 0.1.13R. Ryantm1-2/+2
2023-08-07fast-downward: 22.12.0 -> 23.06.0R. Ryantm1-2/+2
2023-08-04Merge pull request #247155 from wegank/beluga-hashWeijia Wang1-1/+1
2023-08-04beluga: fix hashWeijia Wang1-1/+1
2023-08-04hol_light: 2019-10-06 → 2023-07-21Vincent Laporte1-6/+10
2023-08-03treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropri...Jan Malakhovski1-1/+1
2023-08-02beluga: 1.0 -> 1.1Ben Darwin1-16/+19
2023-08-01cbmc: 5.87.0 -> 5.88.1Jiajie Chen1-2/+2
2023-07-28dafny: 4.0.0 -> 4.2.0whonore2-15/+16
2023-07-27elan: 2.0.0 -> 2.0.1R. Ryantm1-3/+3
2023-07-26Merge pull request #245556 from figsoda/egglogNick Cao2-3/+84
2023-07-27Merge pull request #244292 from Luflosi/update/yosysSandro1-3/+3
2023-07-26egglog: unstable-2023-07-11 -> unstable-2023-07-19figsoda2-3/+84
2023-07-22Merge pull request #239624 from Stunkymonkey/use-optionalString-thenFelix Bühler1-2/+1
2023-07-19opensmt: 2.5.1 -> 2.5.2R. Ryantm1-2/+2
2023-07-18abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28Luflosi1-3/+3
2023-07-14egglog: unstable-2023-06-26 -> unstable-2023-07-11figsoda2-200/+287
2023-07-11Merge pull request #242794 from r-ryantm/auto-update/elanWeijia Wang1-3/+3
2023-07-11elan: 1.4.6 -> 2.0.0R. Ryantm1-3/+3
2023-07-11cbmc: 5.86.0 -> 5.87.0R. Ryantm1-2/+2
2023-07-10Merge pull request #185499 from mgregson/tlaplus-1.8.0Janik1-0/+39
2023-07-04egglog: unstable-2023-06-11 -> unstable-2023-06-26figsoda1-3/+3
2023-07-03Merge pull request #241120 from jiegec/cbmcNick Cao2-37/+29
2023-07-02pkgs/applications: replace "${version}" with versionfigsoda1-1/+1
2023-07-02cbmc: 5.76.1 -> 5.86.0Jiajie Chen2-37/+29
2023-06-30tlaplus18: init at 1.8.0Michael Gregson1-0/+39
2023-06-30coq: 8.17.0 → 8.17.1Vincent Laporte1-0/+1
2023-06-28cryptominisat: 5.11.4 -> 5.11.11R. Ryantm1-2/+2
2023-06-27Merge pull request #238964 from McSinyx/klee-3Janik1-10/+5
2023-06-26Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-depen...Janik1-3/+2
2023-06-26Merge pull request #239623 from marsam/update-z3Mario Rodas1-4/+5
2023-06-25elan: 1.4.5 -> 1.4.6R. Ryantm1-3/+3
2023-06-24treewide: use optionalString instead of 'then ""'Felix Buehler1-2/+1
2023-06-24Merge pull request #230298 from jleightcap/jl/z3-4.12Mario Rodas1-0/+4
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-12 01:27:15 +0000