Leonardo de Moura
|
e8c09015ad
|
Move elaborator to lean default frontend. It is getting too specific
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-01 18:22:24 -07:00 |
|
Leonardo de Moura
|
61a8fd16db
|
Remove unnecessary files
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-09-01 14:57:08 -07:00 |
|
Leonardo de Moura
|
9d9f9797e4
|
Improve elaborator interface. Now, the metavariables are created inside the elaborator. The elaborator-user only needs to create placeholders. Motivaton: the placeholders are meaningful independently of the elaborator. On the other hand, the metavariables depend on the elaborator state.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-31 17:11:06 -07:00 |
|
Leonardo de Moura
|
2aac94f2e6
|
Refactor elaborator using new metavar library.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-30 01:25:06 -07:00 |
|
Leonardo de Moura
|
1f6943e3a4
|
Add head_reduce_mmv (reduction function modulo metavariables)
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-29 14:15:17 -07:00 |
|
Leonardo de Moura
|
2cf9ca9345
|
Add metavariable utilities. They will be used to refactor the elaborator.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-29 13:49:22 -07:00 |
|
Leonardo de Moura
|
cdab19b88c
|
Simplify the elaborator
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-27 20:39:38 -07:00 |
|
Leonardo de Moura
|
0a34959716
|
Fix a bug. Add another test.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-25 20:43:50 -07:00 |
|
Leonardo de Moura
|
3721577700
|
Fix bugs in elaborator. Cleanup tests.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-25 18:46:33 -07:00 |
|
Leonardo de Moura
|
02b72acc2f
|
Add implicit arguments unit tests
|
2013-08-24 18:23:39 -07:00 |
|
Leonardo de Moura
|
f08c06d582
|
Add head_beta tests
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-08-23 09:42:49 -07:00 |
|