User Activity
-
Posted
a comment
on
discussion General Discussion
on
c4b
Hi Valerio, Indeed c4b has several limitations, including the renaming of abstract...
-
Modified
ticket #2
on
B Compiler
Memory leak in p_tool.cpp
-
Modified
ticket #3
on
Atelier B Graphical User Interface
English translation improved
-
Modified
ticket #2
on
Atelier B Graphical User Interface
Executable text files in the source code
-
Posted
a comment
on
ticket #1
on
Atelier B Graphical User Interface
Solved in 4.1
-
Modified
ticket #1
on
Atelier B Graphical User Interface
Atelier B 4 for linux crashes with enumerated sets
-
Modified
ticket #4
on
Atelier B Graphical User Interface
BxmlTags.h file is missing
-
Posted
a comment
on
ticket #4
on
Atelier B Graphical User Interface
Issue solved: Import of BXML on sourceforge [bcomp:code:r175] Deleting of BXMLLIB...
Personal Data
- Username:
- thanik
- Joined:
- 2003-02-04 09:40:40
Projects
This is a list of open source software projects that Thierry Lecomte is associated with:
- Atelier B Graphical User Interface Last Updated:
- B Automatic Refinement Tool Last Updated:
- B Compiler Last Updated:
- ComenC Last Updated:
- c4b C code generator for B language Last Updated: