Commit Graph

7895 Commits

Author SHA1 Message Date
Nick Cao
c4a065f6c3
Merge pull request #244644 from amiloradovsky/master
verilator & systemc: update & integration
2023-07-24 17:01:34 -06:00
Sandro
a3da17da2f
Merge pull request #237952 from SharzyL/sv-lang 2023-07-24 17:40:15 +02:00
SharzyL
a6b6203b6d
sv-lang: init at 3.0 2023-07-24 12:26:35 +08:00
github-actions[bot]
449a683b10
Merge master into staging-next 2023-07-24 00:02:26 +00:00
Mario Rodas
6936629bae
Merge pull request #245026 from natsukium/dssp/update
dssp: 4.3.1 -> 4.4.2
2023-07-23 16:39:43 -05:00
github-actions[bot]
6afe543aec
Merge master into staging-next 2023-07-23 18:01:33 +00:00
Doron Behar
d4f5099ee4
Merge pull request #240730 from doronbehar/pkg/spdlog-fmt
spdlog: reformat expression arguments, and comment about fmt_9
2023-07-23 14:42:41 +00:00
natsukium
e54f06de69
dssp: 4.3.1 -> 4.4.2
Diff: https://github.com/PDB-REDO/dssp/compare/refs/tags/v4.3.1...v4.4.2

Changelog: https://github.com/PDB-REDO/libcifpp/releases/tag/refs/tags/v4.4.2
2023-07-23 21:24:23 +09:00
github-actions[bot]
86a73bdb86
Merge master into staging-next 2023-07-23 00:02:31 +00:00
R. Ryantm
edb213c399 gromacs: 2023.1 -> 2023.2 2023-07-22 15:07:37 +00:00
Tobias Mayer
ba2ce6e73b
various packages: pin boost179
Taken from PR #244831 and vcunat amended the miopen override.
2023-07-22 16:54:22 +02:00
Felix Bühler
0a2745684e
Merge pull request #239624 from Stunkymonkey/use-optionalString-then
treewide: use optionalString instead of 'then ""'
2023-07-22 13:02:47 +02:00
Andrew Miloradovsky
a655cc3d9e verilator: use systemc and other fixes 2023-07-21 11:52:31 +00:00
Andrew Miloradovsky
d0ad644851 systemc: 2.3.3 -> 2.3.4 2023-07-21 11:52:22 +00:00
R. Ryantm
baf2e9b036 opensmt: 2.5.1 -> 2.5.2 2023-07-19 04:02:07 +00:00
Mauricio Collares
03843721bf
Merge pull request #244031 from r-ryantm/auto-update/primecount
primecount: 7.8 -> 7.9
2023-07-18 14:37:26 +02:00
Weijia Wang
dd3e1f7f7a
Merge pull request #244050 from r-ryantm/auto-update/sumo
sumo: 1.17.0 -> 1.18.0
2023-07-18 11:07:09 +03:00
Weijia Wang
61f3c3e183
Merge pull request #244022 from r-ryantm/auto-update/qgroundcontrol
qgroundcontrol: 4.2.6 -> 4.2.8
2023-07-18 10:51:46 +03:00
R. Ryantm
85ea4214a3 sumo: 1.17.0 -> 1.18.0 2023-07-17 21:12:36 +00:00
R. Ryantm
48e895c202 primecount: 7.8 -> 7.9 2023-07-17 18:33:41 +00:00
R. Ryantm
99ce6d1bb5 qgroundcontrol: 4.2.6 -> 4.2.8 2023-07-17 18:17:29 +00:00
R. Ryantm
7a9d01d44c seqkit: 2.4.0 -> 2.5.0 2023-07-17 11:15:14 +00:00
Weijia Wang
a65eab9e69 nvc: 1.9.2 -> 1.10.0 2023-07-15 21:52:10 +02:00
github-actions[bot]
2a22bb7087
Merge master into staging-next 2023-07-15 06:01:19 +00:00
figsoda
f6793ae4af egglog: unstable-2023-06-26 -> unstable-2023-07-11
Diff: 187441ad0d...14a6fc6060
2023-07-14 11:37:35 -04:00
github-actions[bot]
9905fde3a5
Merge master into staging-next 2023-07-14 00:02:39 +00:00
Artturi
e74e68449c
Merge pull request #211075 from ppenguin/openmodelica-with-3d-animation 2023-07-14 00:00:04 +03:00
Weijia Wang
2dfef3b02a
Merge pull request #243295 from natsukium/delly/darwin
delly: enable darwin support
2023-07-13 21:01:55 +03:00
github-actions[bot]
a3b43106c9
Merge master into staging-next 2023-07-13 18:01:24 +00:00
Weijia Wang
0c87c8c09b
Merge pull request #243286 from wegank/tobim-boost-update-1
boost17x, boost18x: remove aliases
2023-07-13 20:48:31 +03:00
Mauricio Collares
943e19d2e0
Merge pull request #243039 from collares/pari-2.15.4
pari: 2.15.3 -> 2.15.4
2023-07-13 18:08:41 +01:00
natsukium
7cec88e50f
delly: enable openmp 2023-07-14 00:20:20 +09:00
natsukium
ae95c0d5a5
delly: refactor 2023-07-14 00:18:27 +09:00
natsukium
61be2ca18a
delly: enable darwin support
- add passthru.tests
2023-07-13 23:54:39 +09:00
Tobias Mayer
315d100113 boost17x, boost18x: remove aliases 2023-07-13 17:48:33 +03:00
Theodore Ni
b3fce87bc5
ergoscf: disable fortify3 hardening flag 2023-07-12 21:32:09 -07:00
Mauricio Collares
e2622eee41
Merge pull request #242466 from risicle/ris-fortify3-disable-various
disable `fortify3` hardening flag on various packages
2023-07-12 13:49:08 +01:00
Mauricio Collares
63fd36b9f1 pari: 2.15.3 -> 2.15.4 2023-07-12 08:53:37 +01:00
Weijia Wang
46ed1e3a8c
Merge pull request #242794 from r-ryantm/auto-update/elan
elan: 1.4.6 -> 2.0.0
2023-07-11 22:22:35 +03:00
Weijia Wang
e2078e747c
Merge pull request #242775 from r-ryantm/auto-update/cbmc
cbmc: 5.86.0 -> 5.87.0
2023-07-11 16:26:04 +03:00
R. Ryantm
fc8230b13a elan: 1.4.6 -> 2.0.0 2023-07-11 09:02:20 +00:00
R. Ryantm
68c5d276f1 cbmc: 5.86.0 -> 5.87.0 2023-07-11 05:28:30 +00:00
Nick Cao
40d3a7f94c
Merge pull request #241824 from evils/kicad
kicad: 7.0.5 -> 7.0.6
2023-07-11 13:03:42 +08:00
Janik
58da584acf
Merge pull request #185499 from mgregson/tlaplus-1.8.0 2023-07-10 10:30:58 +02:00
Weijia Wang
9c73d9e61e
Merge pull request #242508 from r-ryantm/auto-update/kallisto
kallisto: 0.48.0 -> 0.50.0
2023-07-09 22:56:52 +03:00
R. Ryantm
b5e04f0bc7 kallisto: 0.48.0 -> 0.50.0 2023-07-09 17:19:43 +00:00
Weijia Wang
763c174440
Merge pull request #236975 from r-ryantm/auto-update/singular
singular: 4.3.2p1 -> 4.3.2p2
2023-07-09 18:14:53 +03:00
Mauricio Collares
8f216662cb sage: import singular 4.3.2p2 update patch 2023-07-09 12:59:45 +01:00
R. Ryantm
69cc6c07ac singular: 4.3.2p1 -> 4.3.2p2 2023-07-09 12:57:07 +01:00
Mauricio Collares
1104a22962 sage: refresh patches 2023-07-09 12:53:52 +01:00