Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | translate, grt: add lib function for div and rem. | Tristan Gingold | 2022-10-02 | 1 | -0/+4 |
| | | | | | Do not rely on hardware exceptions to catch division by 0, they are caught in windows by the c handler and not propagated | ||||
* | translate: adjust null access check: add an explicit check. | Tristan Gingold | 2022-03-26 | 1 | -0/+1 |
| | |||||
* | Add explicit ?>= and ?> functions for translation. | Brian Padalino | 2021-09-22 | 1 | -0/+2 |
| | | | | | | Instead of swapping L/R arguments to try to create ?>= and ?>, create a function for each which performs the not operation of ?< and ?<= as defined by the LRM. | ||||
* | update license headers | umarcor | 2021-01-14 | 1 | -11/+9 |
| | |||||
* | vhdl: handle force/release statements in translate and grt. For #1416 | Tristan Gingold | 2020-08-03 | 1 | -0/+15 |
| | |||||
* | vhdl: add ghdl_integer_index_check_failed. For #1257 | Tristan Gingold | 2020-06-17 | 1 | -0/+1 |
| | | | | Improve error message in case of (integer) index not in bounds. | ||||
* | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code | ||||
* | Add --max-stack-alloc option, check stack allocation of complex object. | Tristan Gingold | 2018-11-23 | 1 | -0/+2 |
| | | | | Fix #692 | ||||
* | Fix overflow detection for **, implement ** for i64. | Tristan Gingold | 2018-11-14 | 1 | -1/+2 |
| | | | | Fix #683 | ||||
* | Use specific error message for direction mismatch. | Tristan Gingold | 2018-04-25 | 1 | -1/+2 |
| | | | | Fix #559 | ||||
* | Create default value for ports. | Tristan Gingold | 2017-05-09 | 1 | -13/+19 |
| | | | | Fix #328 | ||||
* | Add 'Image and 'Value for i64. | Tristan Gingold | 2017-01-13 | 1 | -0/+2 |
| | | | | Fix #254 | ||||
* | Suppress stack switching; save process state in secondary stack. | Tristan Gingold | 2015-09-04 | 1 | -0/+1 |
| | |||||
* | Handle to_string for i64 numbers. | Tristan Gingold | 2015-05-20 | 1 | -0/+1 |
| | | | | Fix ticket 76 | ||||
* | Elaborate generics in two steps. Fix -c/-e for llvm builds. | Tristan Gingold | 2015-03-01 | 1 | -0/+2 |
| | |||||
* | Move translate and simulate. | Tristan Gingold | 2014-11-05 | 1 | -0/+257 |