Closed viper-admin closed 4 years ago
Pull request :twisted_rightwards_arrows: created by bitbucket user rukaelin on 2017-05-09 14:30 Last updated on 2017-05-11 16:13 Original Bitbucket pull request id: 3 Participants: @aterga (reviewer) Source: https://github.com/viperproject/viperserver/commit/1b1d187779b348d559b3a1cc4b6bf7d738d774de on branch rukaelin/viperserver_for_ide/default Destination: https://github.com/viperproject/viperserver/commit/9acb8d19776ea25a92737e99e9eeee5fcbe033e3 on branch master Marge commit: https://github.com/viperproject/viperserver/commit/1b1d187779b348d559b3a1cc4b6bf7d738d774de State: MERGED
Pull request :twisted_rightwards_arrows: created by bitbucket user rukaelin on 2017-05-09 14:30 Last updated on 2017-05-11 16:13 Original Bitbucket pull request id: 3
Participants:
Source: https://github.com/viperproject/viperserver/commit/1b1d187779b348d559b3a1cc4b6bf7d738d774de on branch rukaelin/viperserver_for_ide/default Destination: https://github.com/viperproject/viperserver/commit/9acb8d19776ea25a92737e99e9eeee5fcbe033e3 on branch master Marge commit: https://github.com/viperproject/viperserver/commit/1b1d187779b348d559b3a1cc4b6bf7d738d774de
rukaelin/viperserver_for_ide/default
master
State: MERGED
MERGED
added flushCache functionality, fixed timeout problems
implemented backend specific cache
fixed error location updating, implemented backendSpecific cache, implemented cacheFlushing, removed entityHash from Info, added timestamp and backendName to CacheEntry
fix for problem with Quantifiers
fix for update error location
fix for autotriggers and other improvements
deal with the missing copy method of the DomainFuncApp case class
(easterEgg commit) implemented goto Definition
ViperCache.scala edited online with Bitbucket
added flushCache functionality, fixed timeout problems
implemented backend specific cache
fixed error location updating, implemented backendSpecific cache, implemented cacheFlushing, removed entityHash from Info, added timestamp and backendName to CacheEntry
fix for problem with Quantifiers
fix for update error location
fix for update error location
fix for autotriggers and other improvements
deal with the missing copy method of the DomainFuncApp case class
(easterEgg commit) implemented goto Definition
ViperCache.scala edited online with Bitbucket