Porting wiki

Jeremy Tan Jie Rui edited this page 2023-07-16 10:11:32 +08:00

Page revisions

73 Commits

Author	SHA1	Message	Date
Jeremy Tan Jie Rui	6afbdde23b	Updated Porting wiki (markdown)	2023-07-16 10:11:32 +08:00
Johan Commelin	fe224bd29c	Updated Porting wiki (markdown)	2023-06-02 06:41:58 +02:00
Markus Himmel	2b378ef4e7	Updated Porting wiki (markdown)	2023-05-28 20:32:08 +02:00
Jon Eugster	9b73b9b254	Updated Porting wiki (markdown)	2023-05-25 11:54:59 +02:00
Yaël Dillies	e7ff116949	clarify that not all categories should be renamed	2023-04-29 20:12:34 +01:00
Jason Yuen	e76ef3ce65	don't change `=>` to `↦`	2023-04-15 15:14:48 -07:00
Jireh Loreaux	3634694a37	info about `irreducible_def`	2023-04-11 17:02:18 -05:00
samvang	6ad40d1a6b	also mention fix-comments script in details	2023-04-11 12:11:01 +02:00
samvang	1c8ecece3f	clarify the explanation of what start_port does	2023-04-11 11:56:50 +02:00
samvang	2a023a44da	make port status page link more easy to find	2023-04-11 10:42:55 +02:00
Bulhwi Cha	184d961c84	fix typo	2023-03-24 20:45:29 +09:00
Jeremy Tan Jie Rui	b1971bf5fa	Updated Porting wiki (markdown)	2023-03-21 10:35:24 +08:00
Jeremy Tan Jie Rui	b5104eb58c	by #2839	2023-03-17 23:40:19 +08:00
arienmalec	84059e3a71	Updated Porting wiki (markdown)	2023-03-12 13:07:52 -07:00
Floris van Doorn	3e86f57abc	update to_additive section	2023-02-28 17:16:00 +01:00
thorimur	60623287a9	`tfae` landed, so removed the section about `tfae`	2023-02-21 15:48:42 -05:00
Eric Wieser	9fbe60c35d	Emphasize the need to check comments before porting	2023-02-17 13:44:19 +00:00
Moritz Firsching	c851df24ca	change link to port status page	2023-02-17 13:06:49 +01:00
thorimur	b39811cc5b	Updated Porting wiki (markdown)	2023-02-15 05:22:29 -05:00
thorimur	3f24431362	Updated Porting wiki (markdown)	2023-02-15 05:21:07 -05:00
thorimur	bc2ea102e8	Updated Porting wiki (markdown)	2023-02-15 05:14:51 -05:00
thorimur	17dce0858b	Updated Porting wiki (markdown)	2023-02-15 05:13:44 -05:00
arienmalec	52fe95fb98	Updated Porting wiki (markdown)	2023-02-14 09:26:07 -08:00
arienmalec	ed93ca9d7a	Updated Porting wiki (markdown)	2023-02-08 08:13:05 -08:00
arienmalec	6cd3140af6	Updated Porting wiki (markdown)	2023-02-07 08:40:50 -08:00
arienmalec	95b2d2cac0	Updated Porting wiki (markdown)	2023-02-07 08:25:48 -08:00
arienmalec	ddf02063f4	Updated Porting wiki (markdown)	2023-02-01 09:00:58 -08:00
Johan Commelin	b76bce201e	Updated Porting wiki (markdown)	2023-01-27 06:51:01 +01:00
arienmalec	73c5b2b77a	Updated Porting wiki (markdown)	2023-01-26 12:10:47 -08:00
arienmalec	979e6e027a	Updated Porting wiki (markdown)	2023-01-26 11:52:03 -08:00
Joachim Breitner	fb7d3bc505	ask for permissions	2023-01-26 20:01:46 +01:00
arienmalec	935d93eaf3	Updated Porting wiki (markdown)	2023-01-24 22:04:07 -08:00
Xavier-François Roblot	f4fb527f46	Update list of various targets	2023-01-21 06:50:13 +01:00
Eric Rodriguez	f4955412d7	Updated Porting wiki (markdown)	2023-01-19 19:18:48 -05:00
arienmalec	c3580253de	Updated Porting wiki (markdown)	2023-01-19 10:49:07 -08:00
arienmalec	37de0b3e47	Updated Porting wiki (markdown)	2023-01-13 11:56:59 -08:00
arienmalec	49bd1ef915	Updated Porting wiki (markdown)	2023-01-13 11:45:39 -08:00
arienmalec	571ef00f16	Updated Porting wiki (markdown)	2023-01-13 11:39:41 -08:00
thorimur	6ecf9e6589	include info about `fix-lints.py`	2023-01-13 01:57:25 -05:00
Johan Commelin	80a5514adf	Updated Porting wiki (markdown)	2023-01-05 22:22:10 +01:00
arienmalec	4d564ab7b0	Updated Porting wiki (markdown)	2023-01-02 17:01:13 -08:00
arienmalec	ba3ef31f88	Updated Porting wiki (markdown)	2023-01-02 13:55:36 -08:00
Johan Commelin	b823ca1075	Updated Porting wiki (markdown)	2022-12-22 20:12:39 +01:00
thorimur	19a66599f7	Updated Porting wiki (markdown)	2022-12-20 02:54:04 -05:00
Reid Barton	6d12ac47ca	Updated Porting wiki (markdown)	2022-12-19 15:16:08 +01:00
Johan Commelin	711b9ca416	Updated Porting wiki (markdown)	2022-12-19 12:38:22 +00:00
thorimur	c4dfa630b2	Updated Porting wiki (markdown)	2022-12-17 17:49:43 -05:00
thorimur	534fca2cd2	Updated Porting wiki (markdown)	2022-12-17 17:20:19 -05:00
thorimur	952f399dc8	added to_additive regex	2022-12-17 17:15:09 -05:00
thorimur	a2aebf0cb3	Updated Porting wiki (markdown)	2022-12-17 16:26:04 -05:00