Age | Commit message (Expand) | Author |
---|---|---|
2016-10-07 | Added a big chunk of documentation. +small fixes | skachano |
2016-10-07 | Added the possibility to limit dimension | skachano |
2016-10-04 | Fixed a major bug in the Active_witness_iterator | skachano |
2016-09-30 | Weak Witness + Active Witness. It seems to work. | skachano |
2016-09-29 | Weak Witness + Active Witness. It compiles | skachano |