Leonardo de Moura
|
db46f01315
|
chore(library/init): replace iterate applications with repeat when appropriate
|
2017-12-04 13:04:46 -08:00 |
|
Leonardo de Moura
|
75aa94b34c
|
refactor(library): rename repeat ==> iterate
Reason: we will implement a new `repeat` tactic.
|
2017-12-04 12:34:59 -08:00 |
|
Leonardo de Moura
|
7b97e82fb3
|
chore(library): remove unnecessary repeat applications
|
2017-12-04 12:16:11 -08:00 |
|
Leonardo de Moura
|
b7322e28c1
|
feat(library): do not using simp lemmas for sorting arguments of AC operators by default
|
2017-12-03 15:03:58 -08:00 |
|
Leonardo de Moura
|
b95b260706
|
fix(library/data/rbtree): insert
|
2017-11-22 07:52:18 -08:00 |
|
Leonardo de Moura
|
8ffff9e48b
|
feat(library/data/rbtree): cleanup and add min max
|
2017-11-18 12:22:10 -08:00 |
|