Activity for deschampsf

  • deschampsf deschampsf committed [r340]

    Added automatic detection of implemented variab...

  • deschampsf deschampsf committed [r338]

    Fixed a bug which added wrong preconditions to ...

  • deschampsf deschampsf committed [r337]

    Created a visitor for predefined refinement B0_...

  • deschampsf deschampsf committed [r324]

    Add a powerpoint documentation of BART which is...

  • deschampsf deschampsf committed [r323]

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

  • deschampsf deschampsf committed [r322]

    Adding conditions of well defineness (function ...

  • deschampsf deschampsf committed [r321]

    Added automatic typing of modified local variab...

  • deschampsf deschampsf committed [r317]

    Updated the documentions according to last modi...

  • deschampsf deschampsf committed [r316]

    Updated the PatchRaffiner according to last mod...

  • deschampsf deschampsf committed [r315]

    Fixed a crash of bartgui + misc

  • deschampsf deschampsf committed [r314]

    Set the output handler to silent during complet...

  • deschampsf deschampsf committed [r313]

    Improved new predifined behaviours (B0 substitu...

  • deschampsf deschampsf committed [r312]

    Added message to display for new predefined beh...

  • deschampsf deschampsf committed [r311]

    Added necessary initialisation of original conc...

  • deschampsf deschampsf committed [r310]

    Fixed a mistake to delete a pointer (B0EXPR guard)

  • deschampsf deschampsf committed [r309]

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

  • deschampsf deschampsf committed [r308]

    Modified how are decomposed non B0 parameters o...

  • deschampsf deschampsf committed [r307]

    Improved how are managed the refinement of seve...

  • deschampsf deschampsf committed [r306]

    Modified variable refinement tree according to ...

  • deschampsf deschampsf committed [r305]

    Modified the organisation of variable refinemen...

  • deschampsf deschampsf committed [r304]

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

  • deschampsf deschampsf committed [r303]

    Added bash distribution on all abstract variables

  • deschampsf deschampsf committed [r302]

    Added automatic implementation for B0 substitut...

  • deschampsf deschampsf committed [r301]

    Made a temporary fix to avoid unwanted precondi...

  • deschampsf deschampsf committed [r300]

    Added missing guards when introducing an abstra...

  • deschampsf deschampsf committed [r299]

    Added automatic separation for non B0 parameter...

  • deschampsf deschampsf committed [r293]

    Updated documentations with generation of refin...

  • deschampsf deschampsf committed [r292]

    Avoid creating several times same hypothesis fo...

  • deschampsf deschampsf committed [r291]

    Fixed a bug concerning automatic generated prec...

  • deschampsf deschampsf committed [r756]

    Added new keywords REFINEMENT_VARIABLES, GLUING...

  • deschampsf deschampsf committed [r290]

    Reintegrated branch ref_display which manages r...

  • deschampsf deschampsf committed [r289]

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

  • deschampsf deschampsf committed [r288]

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

  • deschampsf deschampsf committed [r287]

    Modified comments and removed unused variable

  • deschampsf deschampsf committed [r286]

    Modified splitting so implementation accessors ...

  • deschampsf deschampsf committed [r285]

    Improved automatic detection of implemented var...

  • deschampsf deschampsf committed [r284]

    Improved intermediate refinements computation s...

  • deschampsf deschampsf committed [r282]

    Added decomposition rules for foncarray accessors

  • deschampsf deschampsf committed [r281]

    Corrected accessors for FONCARRAY and removed c...

  • deschampsf deschampsf committed [r280]

    Corrected some bugs in removeBartSubs method

  • deschampsf deschampsf committed [r279]

    Minor rule grammar modifications

  • deschampsf deschampsf committed [r278]

    Operation rules which declared only concrete va...

  • deschampsf deschampsf committed [r277]

    Removed unused code about old refinement comput...

  • deschampsf deschampsf committed [r276]

    Removed automatic addition to implement clause ...

  • deschampsf deschampsf committed [r275]

    Seen machines given in parameters are now only ...

  • deschampsf deschampsf committed [r274]

    Added refinement variables declaration and impr...

  • deschampsf deschampsf committed [r273]

    Updated documentations according to new version...

  • deschampsf deschampsf committed [r272]

    Added generation of refinement machines + manag...

  • deschampsf deschampsf committed [r271]

    Put back VAR_G guard for automatically computed...

  • deschampsf deschampsf committed [r270]

    Fixed a mistake for min/max of subset

  • deschampsf deschampsf committed [r269]

    Saved hypothesis added by newly declared concre...

  • deschampsf deschampsf committed [r268]

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

  • deschampsf deschampsf committed [r267]

    Added methods to treat rules with clause EXPLIC...

  • deschampsf deschampsf committed [r266]

    Merged modifications from trunk

  • deschampsf deschampsf committed [r265]

    Fixed a bug in OperationCall predefined refinem...

  • deschampsf deschampsf committed [r264]

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

  • deschampsf deschampsf committed [r263]

    Added search in accessor rules also before sear...

  • deschampsf deschampsf committed [r262]

    Removed LH substitution from AcsSimpleSubstitut...

  • deschampsf deschampsf committed [r261]

    Fixed a bug in operation call refinement

  • deschampsf deschampsf committed [r260]

    Added local variables counter reset when going ...

  • deschampsf deschampsf committed [r259]

    Modified version of PatchRaffiner.rmf to includ...

  • deschampsf deschampsf committed [r258]

    Modified operation call refinement so it works ...

  • deschampsf deschampsf committed [r731]

    Added new keywords for rmf files (accessors & r...

  • deschampsf deschampsf committed [r257]

    Reintegrated branch conf_resol which manages ac...

  • deschampsf deschampsf committed [r256]

    Reintegrated branch conf_resol which manages ac...

  • deschampsf deschampsf committed [r255]

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

  • deschampsf deschampsf committed [r254]

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

  • deschampsf deschampsf committed [r253]

    Added local variables types in parallele substi...

  • deschampsf deschampsf committed [r252]

    Modified parallele substitutions refinement so ...

  • deschampsf deschampsf committed [r249]

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

  • deschampsf deschampsf committed [r248]

    Modified the way binary subsitutions are refine...

  • deschampsf deschampsf committed [r247]

    Removed VAR_G guard for abstract variables decl...

  • deschampsf deschampsf committed [r246]

    Modified how newly declared abstract variables ...

  • deschampsf deschampsf committed [r245]

    Fix a mistake regarding refineError variable

  • deschampsf deschampsf committed [r244]

    Saving hypothesis introduced by newly declared ...

  • deschampsf deschampsf committed [r243]

    Modified predefined refinement of Operation Cal...

  • deschampsf deschampsf committed [r242]

    Delete accessorTable in RefinementContext and a...

  • deschampsf deschampsf committed [r241]

    Fix B0 theory predicate (equivalent to B0EXPR o...

  • deschampsf deschampsf committed [r240]

    Add accessors and adapt existing rules

  • deschampsf deschampsf committed [r239]

    Add syntactical rule research for accessors (us...

  • deschampsf deschampsf committed [r238]

    Add accessors to rule model tree

  • deschampsf deschampsf committed [r237]

    Restrain accessor rule grammar and improve pars...

  • deschampsf deschampsf committed [r236]

    Get automatically computed preconditions if no ...

  • deschampsf deschampsf committed [r235]

    Throw Exception if an accessor theory has the s...

  • deschampsf deschampsf committed [r234]

    Improve parsing error management of accessor th...

  • deschampsf deschampsf committed [r233]

    Add getAccessorUserPassTheories() method to be ...

  • deschampsf deschampsf committed [r232]

    Add accessorTable initialization in a Refinemen...

  • deschampsf deschampsf committed [r231]

    Retrieving last revision from the trunk

  • deschampsf deschampsf committed [r230]

    Change the way magic attributes are added to ac...

  • deschampsf deschampsf committed [r229]

    Add theory initialization in Rule constructor

  • deschampsf deschampsf committed [r228]

    Getting back to revision 222 after a wrong commit

  • deschampsf deschampsf committed [r227]

    Correct a mistake in Tactic destructor

  • deschampsf deschampsf committed [r226]

    correct a mistake in Tactic destructor

  • deschampsf deschampsf committed [r225]

    Adding copy of when clause for second accessor ...

  • deschampsf deschampsf committed [r224]

    Adding accessors management: accessors are defi...

  • deschampsf deschampsf committed [r223]

    Adding accessors management: accessors are defi...

  • deschampsf deschampsf committed [r221]

    Copy of trunk to work on the conflicts resolution

1