Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change license name | Yann Herklotz | 2019-03-30 | 1 | -1/+1 |
| | |||||
* | Add lens to access main module in SourceInfo | Yann Herklotz Grave | 2019-03-01 | 1 | -2/+8 |
| | |||||
* | [Fix #37] Fix types in the simulator with more general functions | Yann Herklotz Grave | 2019-03-01 | 1 | -32/+42 |
| | |||||
* | Reformat using brittany | Yann Herklotz Grave | 2019-02-25 | 1 | -6/+13 |
| | |||||
* | Indent by 4 | Yann Herklotz Grave | 2019-02-17 | 1 | -33/+34 |
| | |||||
* | Brittany formatting | Yann Herklotz Grave | 2019-02-17 | 1 | -3/+2 |
| | |||||
* | Fix logging | Yann Herklotz | 2019-02-03 | 1 | -1/+1 |
| | |||||
* | Add timeout and timeout check | Yann Herklotz | 2019-02-02 | 1 | -1/+1 |
| | |||||
* | Try to add logging | Yann Herklotz | 2019-02-02 | 1 | -7/+13 |
| | |||||
* | Fix all the compile and test errors | Yann Herklotz | 2019-02-01 | 1 | -9/+8 |
| | |||||
* | Fix imports | Yann Herklotz | 2019-02-01 | 1 | -2/+2 |
| | |||||
* | More restructuring | Yann Herklotz | 2019-02-01 | 1 | -0/+81 |