immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34676
Command and Command_State handle results from prover as Accumulator
accumulating results in State;
prover outputs any result
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34675
trait Accumulator;
template for State accumulating results from prover
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34674
Command notifies changes
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34673
change_receiver and output_info are used before regular initialisation
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34672
TheoryView starts Prover
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34671
output_info specific to prover
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34670
proper activation with multiple buffers
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34669
state_update global in Plugin
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34668
unused
immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34667
fixed special case;
fixed conversion of offsets