Jiajie Chen da87f77102 cbmc: init at 5.63.0 ... Cadical is used as sat solver backend. https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0		2022-08-18 05:21:32 +02:00
..
astronomy	Merge pull request #184937 from r-ryantm/auto-update/gprojector	2022-08-07 16:13:26 +08:00
biology	messer-slim: 3.7.1 -> 4.0	2022-08-14 14:11:37 +00:00
chemistry	jmol: 14.32.66 -> 14.32.68	2022-08-16 13:39:44 +00:00
computer-architecture/qtrvsim	QtRVSim: 0.9.2 -> 0.9.3	2022-04-25 14:38:39 +03:00
electronics	Merge pull request #186604 from panicgh/sigrok	2022-08-17 14:44:28 +02:00
engineering	strictdoc: init at 0.0.26	2022-07-16 19:19:32 -03:00
geometry	gama: 2.19 -> 2.21	2022-07-31 09:39:15 +00:00
logic	cbmc: init at 5.63.0	2022-08-18 05:21:32 +02:00
machine-learning	Merge branch 'master' into staging-next	2022-07-13 09:57:41 +02:00
math	gretl: 2022a -> 2022b	2022-08-12 15:40:37 +00:00
medicine	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
misc	Merge pull request #183328 from r-ryantm/auto-update/graphia	2022-08-15 14:13:00 +02:00
molecular-dynamics	gromacs: 2022.1 -> 2022.2	2022-06-17 10:54:56 +02:00
networking/sumo
physics	dawn: init at 3.91a	2022-06-16 19:05:08 -04:00
programming	jflap: refactoring, add xdg desktop item (#173905)	2022-07-16 01:39:21 +02:00
robotics	Merge pull request #180052 from lopsided98/qgroundcontrol-update	2022-08-01 23:51:06 +02:00