| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Create psl_endpoint_declaration. | Tristan Gingold | 2016-03-20 | 4 | -169/+226 | |
| | | ||||||
| * | wip. | Tristan Gingold | 2016-03-20 | 2 | -3/+6 | |
| | | ||||||
| * | Always run finalizers (unless failure). | Tristan Gingold | 2016-03-20 | 3 | -18/+4 | |
| | | ||||||
| * | ghdldrv: avoid to pass -P options two times. | Tristan Gingold | 2016-03-19 | 1 | -1/+7 | |
| | | ||||||
| * | Add news entries. | Tristan Gingold | 2016-03-19 | 1 | -0/+2 | |
| | | ||||||
| * | Also test ticket24 with vhdl08. | Tristan Gingold | 2016-03-19 | 1 | -3/+13 | |
| | | ||||||
| * | Add testcase for issue45. | Tristan Gingold | 2016-03-19 | 2 | -0/+72 | |
| | | ||||||
| * | Always execute finalizers and end hooks after simulation. | Tristan Gingold | 2016-03-19 | 4 | -5/+18 | |
| | | | | | Fix for issue45. | |||||
| * | grt-psl.adb: fix build failure (unused package). | Tristan Gingold | 2016-03-18 | 1 | -1/+0 | |
| | | ||||||
| * | Add testcase for ticket24 | Tristan Gingold | 2016-03-18 | 3 | -0/+81 | |
| | | ||||||
| * | Document --psl-report | Tristan Gingold | 2016-03-18 | 1 | -0/+7 | |
| | | ||||||
| * | PSL: add counters, generate rti and add --psl-report | Tristan Gingold | 2016-03-18 | 14 | -74/+405 | |
| | | ||||||
| * | PSL translate: handle bit type. | Tristan Gingold | 2016-03-18 | 1 | -4/+8 | |
| | | ||||||
| * | grt-backtraces: fix option prefix check. | Tristan Gingold | 2016-03-16 | 1 | -1/+1 | |
| | | ||||||
| * | translation: avoid memory leak while allocating ports. | Tristan Gingold | 2016-03-16 | 4 | -18/+36 | |
| | | | | | Issue found in bug040. | |||||
| * | Add bug040 testcase. | Tristan Gingold | 2016-03-15 | 108 | -0/+16200 | |
| | | ||||||
| * | stack2: use a minimal size for chunks. | Tristan Gingold | 2016-03-15 | 1 | -23/+33 | |
| | | ||||||
| * | Improve behaviour of secondary stack. | Tristan Gingold | 2016-03-15 | 1 | -9/+5 | |
| | | | | | Fix speed issue of bug040. | |||||
| * | trans-chap12: extract gen_stubs from write_list_list. | Tristan Gingold | 2016-03-11 | 2 | -13/+54 | |
| | | ||||||
| * | simulation: reuse Mode_Signal_Type from grt.types. | Tristan Gingold | 2016-03-10 | 5 | -72/+76 | |
| | | ||||||
| * | elaboration: use std_time to represent time in signal table. | Tristan Gingold | 2016-03-10 | 3 | -9/+9 | |
| | | ||||||
| * | simulation: add block id. | Tristan Gingold | 2016-03-10 | 3 | -1/+13 | |
| | | ||||||
| * | simul debugger: display packages and configuration. | Tristan Gingold | 2016-03-10 | 1 | -2/+12 | |
| | | ||||||
| * | Merge pull request #46 from FSMaxB/fix-documentation | tgingold | 2016-03-10 | 1 | -2/+2 | |
| |\ | | | | | Fix Documentation: Name of Hello World program. | |||||
| | * | documentation: fix "hello" -> "hello_world" | Max Bruckner | 2016-03-09 | 1 | -2/+2 | |
| |/ | ||||||
| * | ortho: add new_default_value to initialize a variable. | Tristan Gingold | 2016-03-08 | 12 | -19/+75 | |
| | | ||||||
| * | trans-chap12: refactor. | Tristan Gingold | 2016-03-07 | 2 | -53/+70 | |
| | | ||||||
| * | Add reproducer for issue 44. | Tristan Gingold | 2016-03-07 | 2 | -0/+70 | |
| | | ||||||
| * | translate: separate decl and stmt elab subprograms. | Tristan Gingold | 2016-02-23 | 6 | -96/+319 | |
| | | ||||||
| * | grt: fix incorrect use of stdout for some errors. | Tristan Gingold | 2016-02-22 | 2 | -10/+12 | |
| | | ||||||
| * | translate: minor reformating. | Tristan Gingold | 2016-02-21 | 1 | -24/+19 | |
| | | ||||||
| * | grt: remove rti field in signals (to reduce space). | Tristan Gingold | 2016-02-21 | 3 | -72/+5 | |
| | | ||||||
| * | ortho: rename start/finish_const_value to start/finish_init_value. | Tristan Gingold | 2016-02-21 | 23 | -158/+153 | |
| | | ||||||
| * | grt-backtraces-gcc: add pragma unreferenced. | Tristan Gingold | 2016-02-21 | 1 | -1/+4 | |
| | | ||||||
| * | trans-chap12: factorize code. | Tristan Gingold | 2016-02-20 | 1 | -9/+1 | |
| | | ||||||
| * | Refactoring in simulate in order to link with ortho. | Tristan Gingold | 2016-02-20 | 18 | -1218/+1313 | |
| | | ||||||
| * | parse: detect early use of signature in expressions. | Tristan Gingold | 2016-02-18 | 1 | -1/+8 | |
| | | ||||||
| * | parse: avoid weird error message for end protected. | Tristan Gingold | 2016-02-17 | 1 | -1/+8 | |
| | | ||||||
| * | Reproducer of ticket97 is in fact invalid. | Tristan Gingold | 2016-02-17 | 1 | -2/+1 | |
| | | ||||||
| * | Add issue40 testcase. | Tristan Gingold | 2016-02-17 | 3 | -0/+81 | |
| | | ||||||
| * | assocations: check rules for unconstrained formal (LRM08 5.3.2.2 e 3) | Tristan Gingold | 2016-02-17 | 2 | -4/+39 | |
| | | | | | Fix issue40 | |||||
| * | Add testcase for isse43. | Tristan Gingold | 2016-02-17 | 5 | -0/+135 | |
| | | ||||||
| * | Tentative fix for issue43. | Tristan Gingold | 2016-02-17 | 1 | -1/+1 | |
| | | ||||||
| * | Add testcase for issue42. | Tristan Gingold | 2016-02-17 | 2 | -0/+91 | |
| | | ||||||
| * | Fix crash of issue42. | Tristan Gingold | 2016-02-17 | 1 | -1/+2 | |
| | | ||||||
| * | simul debugger: add info instances | Tristan Gingold | 2016-02-17 | 2 | -3/+46 | |
| | | ||||||
| * | mcode: init support for initialized variables. | Tristan Gingold | 2016-02-17 | 9 | -38/+107 | |
| | | ||||||
| * | psl: cover directive works on a sequence, not on a property. | Tristan Gingold | 2016-02-17 | 1 | -2/+0 | |
| | | ||||||
| * | PSL: move canon code to canon.adb | Tristan Gingold | 2016-02-17 | 1 | -0/+2 | |
| | | ||||||
| * | simul: fix local protected object, boolean for-generate loop | Tristan Gingold | 2016-02-14 | 3 | -38/+51 | |
| | | ||||||
