| Fri, 22 May 2009 10:04:04 -0400 |
Olivier Delalleau |
Renamed Alloc into alloc
|
| 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
|
