Activity for B Compiler

Mathieu Viale committed [r201]

Mathieu Viale — Tue, 12 May 2015 12:43:06 -0000

Getting back on commit modifying the way to han...

Hector Ruiz Barradas committed [r200]

Hector Ruiz Barradas — Fri, 20 Mar 2015 12:51:19 -0000

1.- The change in c_api.cpp allows search of lo...

Mathieu Viale committed [r199]

Mathieu Viale — Tue, 24 Feb 2015 15:34:51 -0000

CrÃ©ation de la version 4.2.1

Mathieu Viale committed [r198]

Mathieu Viale — Thu, 19 Feb 2015 13:16:52 -0000

Creating 4.2 branch

Mathieu Viale committed [r197]

Mathieu Viale — Wed, 17 Dec 2014 15:27:36 -0000

Création de la version 4.2.0

Lilian Burdy committed [r196]

Lilian Burdy — Tue, 07 Oct 2014 10:05:03 -0000

Amélioration des infos de type

Lilian Burdy committed [r195]

Lilian Burdy — Fri, 12 Sep 2014 06:44:23 -0000

Implem de #1953: float

Lilian Burdy committed [r194]

Lilian Burdy — Thu, 11 Sep 2014 06:12:50 -0000

Implémenation de #1953: unifier les opérateurs ...

Lilian Burdy committed [r193]

Lilian Burdy — Thu, 11 Sep 2014 06:06:28 -0000

Implémentation de #1953: unifier les opérateurs...

Romain Lapostolle committed [r192]

Romain Lapostolle — Wed, 10 Sep 2014 15:51:12 -0000

Fix #1890

Lilian Burdy committed [r191]

Lilian Burdy — Wed, 03 Sep 2014 09:02:33 -0000

Fix #1910

Lilian Burdy committed [r190]

Lilian Burdy — Wed, 03 Sep 2014 07:40:34 -0000

Fix #744

Lilian Burdy committed [r189]

Lilian Burdy — Tue, 02 Sep 2014 15:17:37 -0000

Fix #744

Lilian Burdy committed [r188]

Lilian Burdy — Mon, 01 Sep 2014 14:59:09 -0000

Fix #1687

Joris committed [r187]

Joris — Thu, 28 Aug 2014 14:35:45 -0000

Add operator real, floor and ceiling

Lilian Burdy committed [r186]

Lilian Burdy — Thu, 28 Aug 2014 14:35:36 -0000

Continuing r26...

Lilian Burdy committed [r185]

Lilian Burdy — Thu, 28 Aug 2014 10:07:08 -0000

Correction #1943 (finalize r139)

Lilian Burdy committed [r184]

Lilian Burdy — Wed, 27 Aug 2014 15:02:29 -0000

Revert r173

Lilian Burdy committed [r183]

Lilian Burdy — Tue, 26 Aug 2014 08:55:32 -0000

Fix regression due to : the xml parsing is now ...

Lilian Burdy committed [r182]

Lilian Burdy — Tue, 26 Aug 2014 08:13:53 -0000

Change error message

Mathieu Viale committed [r181]

Mathieu Viale — Fri, 08 Aug 2014 12:36:46 -0000

Add of a method returning the item associated t...

Romain Lapostolle committed [r180]

Romain Lapostolle — Wed, 18 Jun 2014 17:48:26 -0000

Fix: Because of istream::tellg mingw bug, the x...

Romain Lapostolle committed [r179]

Romain Lapostolle — Tue, 17 Jun 2014 17:26:14 -0000

Real Literal node added.

Ludovic DELFAU committed [r178]

Ludovic DELFAU — Tue, 27 May 2014 12:33:49 -0000

Ignore the "version_cvs" file.

Thierry Lecomte modified ticket #2

Thierry Lecomte — Fri, 16 May 2014 05:54:18 -0000

Memory leak in p_tool.cpp

Ludovic DELFAU committed [r177]

Ludovic DELFAU — Thu, 15 May 2014 07:24:51 -0000

#1857: operands of /\ and \/ must be a set.

Mathieu Viale committed [r176]

Mathieu Viale — Mon, 05 May 2014 09:45:36 -0000

Deleting of BXMLLIB from bcomp

Mathieu Viale committed [r175]

Mathieu Viale — Mon, 05 May 2014 09:16:14 -0000

Import of BXML on sourceforge

Romain Lapostolle committed [r174]

Romain Lapostolle — Mon, 28 Apr 2014 09:01:25 -0000

Undoing change committed in r168

Prunaire committed [r173]

Prunaire — Fri, 25 Apr 2014 13:21:34 -0000

Active B0_Allow_Arrays_Of_Arrays and add check_...

Ludovic DELFAU posted a comment on ticket #2

Ludovic DELFAU — Fri, 25 Apr 2014 08:04:44 -0000

Your patches have been integrated. Thanks again.

Ludovic DELFAU committed [r172]

Ludovic DELFAU — Fri, 25 Apr 2014 08:00:22 -0000

Use size_t instead of int. Thanks to Piotr Troj...

Ludovic DELFAU committed [r171]

Ludovic DELFAU — Fri, 25 Apr 2014 07:58:39 -0000

Memory leak fixed. Thanks to Piotr Trojanek for...

Ludovic DELFAU committed [r170]

Ludovic DELFAU — Fri, 25 Apr 2014 07:34:29 -0000

Memory leak fixed. Thanks to Piotr Trojanek for...

Prunaire committed [r169]

Prunaire — Fri, 25 Apr 2014 07:33:05 -0000

Add check_is_NATURAL

Piotr Trojanek posted a comment on ticket #2

Piotr Trojanek — Thu, 24 Apr 2014 20:39:36 -0000

Another memory leak fixed and size_t/int typing improved.

Piotr Trojanek posted a comment on ticket #2

Piotr Trojanek — Thu, 24 Apr 2014 19:38:00 -0000

Thanks for accepting the patch and sorry for sending all the changes as a single...

Romain Lapostolle committed [r168]

Romain Lapostolle — Thu, 24 Apr 2014 12:13:15 -0000

Suppression de l'import de l'environnement des ...

Ludovic DELFAU posted a comment on ticket #2

Ludovic DELFAU — Thu, 24 Apr 2014 10:35:06 -0000

Hello, I integrated your patch by splitting it into several commits and specifying...

Ludovic DELFAU committed [r167]

Ludovic DELFAU — Thu, 24 Apr 2014 10:26:19 -0000

Remove unnecessary affectation. Thanks to Piotr...

Ludovic DELFAU committed [r166]

Ludovic DELFAU — Thu, 24 Apr 2014 10:03:57 -0000

Include cleanup. Thanks to Piotr Trojanek for t...

Ludovic DELFAU committed [r165]

Ludovic DELFAU — Thu, 24 Apr 2014 09:53:41 -0000

Use #include "..." for bcomp header. Thanks to ...

Ludovic DELFAU committed [r164]

Ludovic DELFAU — Thu, 24 Apr 2014 09:46:27 -0000

Use C++ header instead of C header. Thanks to P...

Ludovic DELFAU committed [r163]

Ludovic DELFAU — Thu, 24 Apr 2014 09:33:24 -0000

Memory leak fixed. Thanks to Piotr Trojanek for...

Ludovic DELFAU committed [r162]

Ludovic DELFAU — Thu, 24 Apr 2014 09:28:29 -0000

Remove unnecessary affectation. Thanks to Piotr...

Ludovic DELFAU committed [r161]

Ludovic DELFAU — Thu, 24 Apr 2014 09:24:22 -0000

Use size_t instead of int. Thanks to Piotr Troj...

Ludovic DELFAU committed [r160]

Ludovic DELFAU — Thu, 24 Apr 2014 09:18:11 -0000

Use the header instead of the

Ludovic DELFAU committed [r159]

Ludovic DELFAU — Thu, 24 Apr 2014 09:11:23 -0000

Remove the doc/src/conc_ana/conc_ana.log file. ...

Ludovic DELFAU committed [r158]

Ludovic DELFAU — Thu, 24 Apr 2014 09:09:12 -0000

Use NULL instead of 0. Thanks to Piotr Trojanek...

Ludovic DELFAU committed [r157]

Ludovic DELFAU — Thu, 24 Apr 2014 09:05:28 -0000

Move the header from BCOMP_HELPER/Me...

Piotr Trojanek posted a comment on ticket #2

Piotr Trojanek — Wed, 23 Apr 2014 19:34:13 -0000

Some additional improvements and code cleanups attached.

Piotr Trojanek created ticket #2

Piotr Trojanek — Wed, 23 Apr 2014 14:34:32 -0000

Memory leak in p_tool.cpp

Ludovic DELFAU committed [r156]

Ludovic DELFAU — Mon, 31 Mar 2014 11:58:46 -0000

Fix a bug when cloning a T_object: the fields i...

Lilian Burdy committed [r155]

Lilian Burdy — Tue, 11 Mar 2014 15:06:38 -0000

Suite de la correction de JRE

Lilian Burdy committed [r154]

Lilian Burdy — Fri, 07 Mar 2014 14:36:04 -0000

Ajout d'operateurs sur les reels

Joris committed [r153]

Joris — Thu, 06 Mar 2014 16:13:14 -0000

rejete les appels d'opération dans les affectat...

Joris committed [r152]

Joris — Thu, 06 Mar 2014 15:01:22 -0000

corrige encodage

Mathieu Viale committed [r151]

Mathieu Viale — Tue, 11 Feb 2014 13:17:52 -0000

Creation de la version 4.1.3 depuis la branche 4.1

Ludovic DELFAU committed [r150]

Ludovic DELFAU — Wed, 15 Jan 2014 16:48:26 -0000

Creation de la version 4.1.2 depuis la branche 4.1