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
|
Tue, 19 May 2009 19:00:34 -0400 |
Xavier Glorot |
fixed bug of scan_inputs_groups
|
Tue, 19 May 2009 11:23:54 -0400 |
Xavier Glorot |
improved efficiency of scan_inputs_groups
|