Mathieu Viale committed [r341]

Update of english messages and french translations

deschampsf committed [r340]

Added automatic detection of implemented variab...

Mathieu Viale committed [r339]

Correction of a french translation in the bart GUI

deschampsf committed [r338]

Fixed a bug which added wrong preconditions to ...

deschampsf committed [r337]

Created a visitor for predefined refinement B0_...

Mathieu Viale committed [r336]

Création de la version 4.2.1

Mathieu Viale committed [r335]

Creating 4.2 branch

Mathieu Viale committed [r334]

Création de la version 4.2.0

Mathieu Viale committed [r333]

Création de la version 4.2.0

Mathieu Viale committed [r332]

Japanese translations for BARTGUI

Mathieu Viale committed [r331]

Update of translations

Mathieu Viale committed [r330]

Mathieu Viale committed [r329]

Creation of japanese translation file

Mathieu Viale committed [r328]

Add of a flag parameter to match method, in ord...

Lilian Burdy committed [r327]

Implémentation de #1953

Mathieu Viale committed [r326]

Enabling french translation system for Bart GUI

Mathieu Viale committed [r325]

Correction of a compilation issue on MacOSx

deschampsf committed [r324]

Add a powerpoint documentation of BART which is...

deschampsf committed [r323]

Created a Visitor to add typing predicates in w...

deschampsf committed [r322]

Adding conditions of well defineness (function ...

deschampsf committed [r321]

Added automatic typing of modified local variab...

Mathieu Viale committed [r320]

Moving return for match verification

Mathieu Viale committed [r319]

Modifying match guard to work generically insid...

Mathieu Viale committed [r318]

Instantiation of left joker of bpattern before ...

deschampsf committed [r317]

Updated the documentions according to last modi...

deschampsf committed [r316]

Updated the PatchRaffiner according to last mod...

deschampsf committed [r315]

Fixed a crash of bartgui + misc

deschampsf committed [r314]

Set the output handler to silent during complet...

deschampsf committed [r313]

Improved new predifined behaviours (B0 substitu...

deschampsf committed [r312]

Added message to display for new predefined beh...

deschampsf committed [r311]

Added necessary initialisation of original conc...

deschampsf committed [r310]

Fixed a mistake to delete a pointer (B0EXPR guard)

deschampsf committed [r309]

Fixed a bug when generating TYPE() predicate fo...

deschampsf committed [r308]

Modified how are decomposed non B0 parameters o...

deschampsf committed [r307]

Improved how are managed the refinement of seve...

deschampsf committed [r306]

Modified variable refinement tree according to ...

deschampsf committed [r305]

Modified the organisation of variable refinemen...

deschampsf committed [r304]

Modified bnot guard so it it now working with s...

deschampsf committed [r303]

Added bash distribution on all abstract variables

deschampsf committed [r302]

Added automatic implementation for B0 substitut...

deschampsf committed [r301]

Made a temporary fix to avoid unwanted precondi...

deschampsf committed [r300]

Added missing guards when introducing an abstra...

deschampsf committed [r299]

Added automatic separation for non B0 parameter...

TESSIAU committed [r298]

fixe some errors

TESSIAU committed [r297]

Distribute $0 only when my identifier is an abs...

TESSIAU committed [r296]

add refiners variable to "localnames" in constr...

TESSIAU committed [r295]

Add attributes abstractVariable and concreteVar...

Mathieu Viale committed [r294]

Accessor components are named with a number as ...

deschampsf committed [r293]

Updated documentations with generation of refin...

deschampsf committed [r292]

Avoid creating several times same hypothesis fo...

deschampsf committed [r291]

Fixed a bug concerning automatic generated prec...

deschampsf committed [r290]

Reintegrated branch ref_display which manages r...

deschampsf committed [r289]

Final merge from the trunk to the branche ref_d...

deschampsf committed [r288]

Fixed a crash in bartgui due to accessor parsin...

deschampsf committed [r287]

Modified comments and removed unused variable

deschampsf committed [r286]

Modified splitting so implementation accessors ...

deschampsf committed [r285]

Improved automatic detection of implemented var...

deschampsf committed [r284]

Improved intermediate refinements computation s...

TESSIAU committed [r283]

Add $0 : distribute "$0" on identifier.

deschampsf committed [r282]

Added decomposition rules for foncarray accessors

deschampsf committed [r281]

Corrected accessors for FONCARRAY and removed c...

deschampsf committed [r280]

Corrected some bugs in removeBartSubs method

deschampsf committed [r279]

Minor rule grammar modifications

deschampsf committed [r278]

Operation rules which declared only concrete va...

deschampsf committed [r277]

Removed unused code about old refinement comput...

deschampsf committed [r276]

Removed automatic addition to implement clause ...

deschampsf committed [r275]

Seen machines given in parameters are now only ...

deschampsf committed [r274]

Added refinement variables declaration and impr...

deschampsf committed [r273]

Updated documentations according to new version...

deschampsf committed [r272]

Added generation of refinement machines + manag...

deschampsf committed [r271]

Put back VAR_G guard for automatically computed...

deschampsf committed [r270]

Fixed a mistake for min/max of subset

deschampsf committed [r269]

Saved hypothesis added by newly declared concre...

deschampsf committed [r268]

Added a method to remove LH and IMPLEMENT subst...

deschampsf committed [r267]

Added methods to treat rules with clause EXPLIC...

deschampsf committed [r266]

Merged modifications from trunk

deschampsf committed [r265]

Fixed a bug in OperationCall predefined refinem...

deschampsf committed [r264]

Copy of the trunk to work on refinements displa...

deschampsf committed [r263]

Added search in accessor rules also before sear...

deschampsf committed [r262]

Removed LH substitution from AcsSimpleSubstitut...

deschampsf committed [r261]

Fixed a bug in operation call refinement

deschampsf committed [r260]

Added local variables counter reset when going ...

deschampsf committed [r259]

Modified version of PatchRaffiner.rmf to includ...

deschampsf committed [r258]

Modified operation call refinement so it works ...

deschampsf committed [r257]

Reintegrated branch conf_resol which manages ac...

deschampsf committed [r256]

Reintegrated branch conf_resol which manages ac...

deschampsf committed [r255]

Final merge from the trunk to the branch conf_r...

deschampsf committed [r254]

Final merge from the trunk to the branch conf_r...

deschampsf committed [r253]

Added local variables types in parallele substi...

deschampsf committed [r252]

Modified parallele substitutions refinement so ...

Ludovic DELFAU committed [r251]

Ignore the "version_cvs" file.

Ludovic DELFAU committed [r250]

Ignore the "version_bart" file.

deschampsf committed [r249]

Fixed a bug in Bartgui when undoing a refinemen...

deschampsf committed [r248]

Modified the way binary subsitutions are refine...

deschampsf committed [r247]

Removed VAR_G guard for abstract variables decl...

deschampsf committed [r246]

Modified how newly declared abstract variables ...

deschampsf committed [r245]

Fix a mistake regarding refineError variable

deschampsf committed [r244]

Saving hypothesis introduced by newly declared ...

deschampsf committed [r243]

Modified predefined refinement of Operation Cal...

deschampsf committed [r242]

Delete accessorTable in RefinementContext and a...