Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-09-26 | Fix regression from states. | Tristan Gingold | |
Fix ticket96. | |||
2015-09-04 | Suppress stack switching; save process state in secondary stack. | Tristan Gingold | |
2015-09-02 | Translate: explicitly clean transient types. | Tristan Gingold | |
2015-08-29 | Replace fat accesses by bounds accesses | Tristan Gingold | |
translate: separate info for signals from object. Improve some error messages. | |||
2014-11-17 | Translate: rewrite concatenation. Now O(n). | Tristan Gingold | |
2014-11-11 | Create_Range_From_Length: use Mnode instead of ptr. Style changes. | Tristan Gingold | |
2014-11-09 | Split translation into child packages. | Tristan Gingold | |