RODIN / Bugs / #741 Tactic Profile Editing very slow performance

Tactic Profile Editing very slow performance

#741 Tactic Profile Editing very slow performance

Milestone: 3.5

Status: closed-fixed

Owner: nobody

Labels: Event-B prover (138)

Priority: 5

Updated: 2018-09-19

Created: 2015-03-11

Creator: Michael Leuschel

Private: No

Once you have 15-20 Tactics editing the Tactics in the Tactic Profile preference Dialog (reached via the Event-B-> Sequent/Prover -> Auto/Post Tactic" pane) becomes very, very slow. It takes minutes for Rodin to respond after pressing the "Finish" button after editing a tactic. Redrawing the Tactics list can also become very slow; taking now several seconds for each Tactic, i.e., 2-3 minutes or more in total to redraw the Auto/Post Tactic window.

Discussion

Laurent Voisin - 2018-09-19

labels: --> Event-B prover

status: open --> closed-fixed

Group: 3.1 --> 3.5
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Laurent Voisin - 2018-09-19

I could not reproduce this bug with Rodin 3.5. The UI remains quite fluid. I suppose that it has been fixed in between.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Tactic Profile Editing very slow performance

Group

Searches

Help

#741 Tactic Profile Editing very slow performance

Discussion