log

age author description
Fri, 22 May 2009 10:03:29 -0400 Olivier Delalleau Merged
Fri, 22 May 2009 10:03:10 -0400 Olivier Delalleau Renamed Alloc into alloc
Thu, 21 May 2009 19:52:46 -0400 Xavier Glorot improved initialization of StackedDAAig
Thu, 21 May 2009 14:11:54 -0400 Xavier Glorot comments DAA_inputs_groups
Thu, 21 May 2009 12:54:41 -0400 Xavier Glorot better definition of parameters for DAAig
Thu, 21 May 2009 12:18:36 -0400 Xavier Glorot added a parameter to SatckedDAAig
Wed, 20 May 2009 13:40:10 -0400 Xavier Glorot added a DAAig module and a StackedDAAig module to deal with auxiliary output possibly missing in algorithm.sandbox