Leonardo de Moura
|
079a25f770
|
refactor(library/blast/forward): make sure backward and forward modules use same naming convention
|
2015-12-28 12:37:16 -08:00 |
|
Leonardo de Moura
|
c8b9c98eb6
|
refactor(library/blast/backward): use priority_queue, make sure head is normalized when building index
|
2015-12-28 12:26:06 -08:00 |
|
Leonardo de Moura
|
26d0a62052
|
refactor(*): make sure we use LEAN_DEFAULT_PRIORITY
We recently implemented the attribute manager.
|
2015-12-28 10:47:56 -08:00 |
|
Leonardo de Moura
|
f679ce0da9
|
refactor(frontends/lean): move 'print_cmd' to separate module
|
2015-12-28 09:08:18 -08:00 |
|