Leonardo de Moura
|
bfeb119c0c
|
feat(library/equations_compiler/pack_domain): avoid unnecessary 'unit' type when packing
|
2016-08-16 13:59:47 -07:00 |
|
Leonardo de Moura
|
7669e18c77
|
feat(library/equations_compiler): add unbounded_rec
|
2016-08-16 12:54:54 -07:00 |
|
Leonardo de Moura
|
8b67480cee
|
feat(library/equations_compiler): add step for handling structural recursion
|
2016-08-15 18:00:25 -07:00 |
|
Leonardo de Moura
|
9a63936339
|
refactor(library/equations_compiler): move pack_domain to new module
|
2016-08-15 08:22:23 -07:00 |
|