| list one more parse test |
|
More...
|
over 10 years ago
|
| update atomic bool connection diagnostics after merge |
|
More...
|
over 10 years ago
|
| Merge branch 'master' into run-time-expressions |
|
More...
|
over 10 years ago
|
| improve bad-connection diagnostic |
|
More...
|
over 10 years ago
|
| forgot to update these tests with rte lang body in process_definition |
|
More...
|
over 10 years ago
|
| check for atomic redefinition and catch as error |
|
More...
|
over 10 years ago
|
| added check for undefined output atomic expressions |
|
More...
|
over 10 years ago
|
| fixes: process-definition was missing RTE body middle-end dumping now uses operator char, not class enum member |
|
More...
|
over 10 years ago
|
| initial implementation of RTE middle-end |
|
More...
|
over 10 years ago
|
| footprint: language body footprints (prs,chp,rte,spec) now allocated on first-use. Binary object format updated (process footprints slightly smaller). |
|
More...
|
over 10 years ago
|
| free syntax tokens |
|
More...
|
over 10 years ago
|
| update test-fail expects with EBOOL/EINT |
|
More...
|
over 10 years ago
|
| initial outline of RTE sublanguage middle-end implementation |
|
More...
|
over 10 years ago
|
| add check for atomic/nonatomic on bool connection disable 'ebool' token for now, force use of @[atomic] |
|
More...
|
over 10 years ago
|
| ebool_traits now obsolete |
|
More...
|
over 10 years ago
|
| initial semantic checks for ebools, a.k.a. bool @[atomic] |
|
More...
|
over 10 years ago
|
| vim syntax update with rte |
|
More...
|
over 10 years ago
|
| fix minor typo in syntax file |
|
More...
|
over 10 years ago
|
| update syntax highlighting file with rte, ebool, eint |
|
More...
|
over 10 years ago
|
| added ebool_traits, inherits mostly from bool_traits intend to use bool instance/collections with additional atomicity attribute |
|
More...
|
over 10 years ago
|
| lexing 'ebool' as a bool with additional atomic attribute |
|
More...
|
over 10 years ago
|
| initial syntax for run-time-expressions |
|
More...
|
over 10 years ago
|
| leave PRSIM_FWD_POST_TIMING_CHECKS disabled for now, though it is working |
|
More...
|
over 10 years ago
|
| force consistent use of NodeState::translate_value_to_char |
|
More...
|
over 10 years ago
|
| implemented active timing constraint checkpointing |
|
More...
|
over 10 years ago
|
| refactored timing_checker into own class |
|
More...
|
over 10 years ago
|
| started to save/checkpoint timing check information, need to refactor first |
|
More...
|
over 10 years ago
|
| draft implementation of forward posting setup/hold checks, passes tests! TODO: checkpoint preservation/restoring of active timing checks |
|
More...
|
over 10 years ago
|
| Merge branch 'master' into prsim-timing-backannot |
|
More...
|
over 10 years ago
|
| refactor EventPool implementation into class template |
|
More...
|
over 10 years ago
|
