| Fri, 22 May 2009 14:13:38 -0400 |
Olivier Delalleau |
Replaced tabs by 4 blank spaces
|
| Fri, 22 May 2009 14:12:17 -0400 |
Olivier Delalleau |
Added a safety assert, just in case
|
| Fri, 22 May 2009 14:11:51 -0400 |
Olivier Delalleau |
Fixed minor typo in comment
|
| Fri, 22 May 2009 13:43:23 -0400 |
Olivier Delalleau |
Cosmetic changes
|
| 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
|
