viperproject/viperserver

ViperServer

viper-admin opened this issue · 0 comments

viper-admin commented

Pull request 🔀 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: 1b1d187 on branch rukaelin/viperserver_for_ide/default
Destination: 9acb8d1 on branch master
Marge commit: 1b1d187

State: 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 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