Alejandro Serrano
|
edfe0c8ef3
|
Cleaning of case splitting code
|
2014-06-27 19:06:20 +02:00 |
|
Alejandro Serrano
|
2ab6991d95
|
Move code to new FillSig module
- Clean up a lot of code
|
2014-06-27 18:38:15 +02:00 |
|
Alejandro Serrano
|
40cd5b7deb
|
Haskell part of case splitting working!
|
2014-06-25 18:09:24 +02:00 |
|
Alejandro Serrano
|
5fa536714f
|
Initial code generation working
- Added fallback with haskell-src-exts
|
2014-06-22 18:03:34 +02:00 |
|
Alejandro Serrano
|
8c56d2e3c8
|
Obtain better information for case split
|
2014-06-18 21:01:22 +02:00 |
|
Alejandro Serrano
|
6854d417c0
|
Initial implementation of case splitting
- It doesn't handle vars correctly yet
|
2014-06-08 12:33:13 +02:00 |
|
Daniel Gröber
|
8324dd96ae
|
Don't expose Convert
|
2014-05-14 18:54:56 +02:00 |
|
Daniel Gröber
|
ebfb740a2e
|
Move convert to it's own module.
|
2014-05-14 17:06:30 +02:00 |
|