Be the first to post a text review of B Compiler. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• Code committed

  committed revision 47 to the bcomp SVN repository, changing 1 files

  posted by arequet 69 days ago

• Code committed

  arequet committed revision 46 to the B Compiler SVN repository, changing 3 files

  posted by arequet 86 days ago

• Code committed

  arequet committed revision 45 to the B Compiler SVN repository, changing 1 files

  posted by arequet 86 days ago

• Code committed

  arequet committed revision 44 to the B Compiler SVN repository, changing 1 files

  posted by arequet 169 days ago

• Code committed

  arequet committed revision 43 to the B Compiler SVN repository, changing 1 files

  posted by arequet 169 days ago

• B_COMPILER_sources_files bcomp source 19.05.2009 file released: bcomp_source_19.05.2009.zip

  This release mainly introduces support for event B modelling language: - new component clause: SYSTEM (on the top-level component, in place of MACHINE) - new clause: EVENTS (in place of OPERATIONS) - support for explicit refinement: "evt1 ref evt2 = skip" means that event evt1 refines event evt2 from the abstract model. - support for WITNESSES: in order to ease proof when refining ANY substitutions

  posted 232 days ago

• File released: /B_COMPILER_sources_files/bcomp source 19.05.2009/bcomp_source_19.05.2009.zip

  posted 232 days ago

• bcomp_doc_pdf+word doc_pdf+word file released: doc.zip

  Initial version (1.0) of bcomp documentation, by ClearSy

  posted 512 days ago

• File released: /bcomp_doc_pdf+word/doc_pdf+word/doc.zip

  posted 512 days ago

• bcomp_linux bcomp_linux_1.0 file released: bcomp_linux_1.0.zip

  1.0 : Initial version (ClearSy)

  posted 527 days ago