c4b Discussion

C code generator for B language

Status: Alpha

Brought to you by: thanik

Forum about anything you want to talk about.

Topic	Posts	Views	Last Post
Importing of several machines By Valério on Wed Nov 12, 2014 12:16 PM	2	201	By Thierry Lecomte on Thu Nov 13, 2014 01:42 PM
Atomic attribution in arrays By Valério on Fri Nov 07, 2014 12:00 PM	1	111	By Valério on Fri Nov 07, 2014 12:00 PM
Use the abstract machine's name as prefix for generated symbols By Grégoire Sutre on Tue Nov 29, 2011 06:32 PM	2	93