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