Re: "A diagram of C23 basic types"

By Lawrence D'Oliveiro on Thu Jun 26 09:01:20 2025

Latest reply by Richard Heathfield on Wed Jul 16 03:55:14 2025

"The provenance memory model for C", by Jens Gustedt

By Alexis on Wed Jul 2 14:22:28 2025

Latest reply by BGB on Sun Jul 13 19:11:17 2025

HHH(DDD)==0 is correct

By olcott on Wed Jul 2 21:50:40 2025

Latest reply by olcott on Thu Jul 3 10:17:53 2025

Re: encapsulating directory operations

By Lawrence D'Oliveiro on Wed May 21 01:02:40 2025

Latest reply by Tim Rentsch on Tue Jul 1 10:09:11 2025

Memory protection between compilation units?

By Mateusz Viste on Wed Jun 11 15:32:39 2025

Latest reply by Tim Rentsch on Tue Jul 1 09:54:36 2025

Found an old post...

By Chris M. Thomasson on Fri Jun 27 12:52:32 2025

Latest reply by Mr Flibble on Sun Jun 29 13:47:54 2025

DDD correctly simulated by HHH can't possibly reach its own "return"statement --- Liars on comp.theory

By olcott on Fri Jun 27 14:36:33 2025

Latest reply by olcott on Sun Jun 29 10:48:47 2025

How do simulating termination analyzers work? (in C and C++)

By olcott on Tue Jun 17 18:24:45 2025

Latest reply by olcott on Fri Jun 20 14:06:22 2025

Re: Loops (was Re: do { quit; } else { })

By Tim Rentsch on Tue Jun 10 06:01:20 2025

Latest reply by Bonita Montero on Sun Jun 15 09:32:39 2025

HHH(DD) does correctly reject its input as non-halting --- VERIFIEDFACT

By olcott on Thu Jun 12 10:30:05 2025

Latest reply by olcott on Thu Jun 12 10:30:05 2025

Oh d-ai-ry d-ai-ry me

By Richard Heathfield on Fri May 30 21:01:50 2025

Latest reply by Roberto on Mon Jun 9 15:17:17 2025

Re: Regarding assignment to struct

By Andrey Tarasevich on Thu May 29 05:11:01 2025

Latest reply by Tim Rentsch on Fri Jun 6 17:44:14 2025

Re: transpiling to low level C

By Tim Rentsch on Fri Jun 6 11:50:06 2025

Latest reply by Tim Rentsch on Fri Jun 6 11:50:06 2025

Re: integer divided by zero

By goldside000 on Sat May 31 18:56:45 2025

Latest reply by scott on Sat May 31 21:53:31 2025

Disagreeing with tautologies is always incorrect

By olcott on Thu May 29 10:37:42 2025

Latest reply by Mikko on Fri May 30 10:39:24 2025

=?UTF-8?Q?=E2=80=9CThe_Pulse_=23134=3A_Stack_overflow_is_almost_dea?==?UTF-8?B?ZOKAnQ==?=

By Lynn McGuire on Tue May 20 22:32:15 2025

Latest reply by Ar Rakin on Tue May 27 22:27:40 2025

Chris Wellons' blog and webiste

By Anton Shepelev on Thu May 22 05:17:04 2025

Latest reply by Anton Shepelev on Thu May 22 05:17:04 2025

Re: Release my K&R C compiler along OS and utilities

By anthk on Wed May 21 05:02:35 2025

Latest reply by anthk on Wed May 21 05:02:35 2025