AutoPerf: Replace RuleAppCost with long #3105
Removes RuleAppCost making lots of the code easier to reason about (and a bit faster).
Blocking on https://github.com/KeYProject/key/pull/3124
Artifacts
- 19. Apr 2023 11:04 (4228.51 kB large)
- 19. Apr 2023 10:59 (6540.85 kB large)
- 19. Apr 2023 10:59 (3622.08 kB large)
- 18. Apr 2023 16:01 (9118.74 kB large)
- 18. Apr 2023 12:52 (13313.48 kB large)
- 17. Apr 2023 23:32 (13412.66 kB large)
- 17. Apr 2023 21:20 (8903.45 kB large)
- 17. Apr 2023 20:01 (8908.93 kB large)
- 15. Apr 2023 00:55 (15372.91 kB large)
- 14. Apr 2023 20:11 (24766.50 kB large)
- 13. Apr 2023 19:04 (18880.09 kB large)
- 13. Apr 2023 14:54 (3696.79 kB large)
- 13. Apr 2023 14:45 (3646.49 kB large)
- 07. Apr 2023 21:42 (6217.66 kB large)
- 05. Apr 2023 18:48 (13147.51 kB large)