https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2016-03-11T13:17:51Z
Open-Source Projects
Retrascope - Bug #6430: b14.vhd: StackOverflowError
https://forge.ispras.ru/issues/6430?journal_id=25711
2016-03-11T13:17:51Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>0.1</i> to <i>0.2</i></li></ul>
Retrascope - Bug #6430: b14.vhd: StackOverflowError
https://forge.ispras.ru/issues/6430?journal_id=28491
2016-10-25T10:21:28Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Detected in build</strong> changed from <i>svn</i> to <i>master</i></li></ul>
Retrascope - Bug #6430: b14.vhd: StackOverflowError
https://forge.ispras.ru/issues/6430?journal_id=31379
2017-09-05T20:00:43Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li></ul>
Retrascope - Bug #6430: b14.vhd: StackOverflowError
https://forge.ispras.ru/issues/6430?journal_id=31380
2017-09-06T06:49:33Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Completely fixed in <a class="changeset" title="[cfg] internal checks for Case constructor Signed-off-by: Sergey Smolov <smolov@ispras.ru>" href="https://forge.ispras.ru/projects/retrascope/repository/retrascope/revisions/4d6dcdde4bb84e07d56803017fb537e053f4d42b">4d6dcdde</a>.</p>
<pre>
2017.09.06 09:48:28.281. INFO: Retrascope is starting
2017.09.06 09:48:28.304. INFO: Running: vhdl-parser
2017.09.06 09:48:28.305. INFO: Options: {args=src/test/vhdl/itc99/b14/b14.vhd --target efsm, vhd=[src/test/vhdl/itc99/b14/b14.vhd]}
2017.09.06 09:48:32.801. INFO: Storing: cfg
2017.09.06 09:48:32.802. INFO: Running: cfg-cgaa-transformer
2017.09.06 09:48:32.802. INFO: Options: {args=src/test/vhdl/itc99/b14/b14.vhd --target efsm, cfg=<cfg>}
2017.09.06 09:48:33.065. INFO: Storing: cgaa
2017.09.06 09:48:33.065. INFO: Running: cgaa-efsm-transformer
2017.09.06 09:48:33.065. INFO: Options: {cgaa=<cgaa>, args=src/test/vhdl/itc99/b14/b14.vhd --target efsm}
2017.09.06 09:48:38.624. INFO: Execution path number: 244
2017.09.06 09:48:38.625. INFO: ======================================
2017.09.06 09:48:38.625. INFO: Clock-like variables: [CLOCK, RESET].
2017.09.06 09:48:38.626. INFO: Transforming the process 'B14 process (CLOCK,RESET)'.
2017.09.06 09:48:38.628. INFO: State-like variables: <none>.
2017.09.06 09:48:44.948. INFO: Model states number: 121.
2017.09.06 09:48:44.949. INFO: Model transitions number: 593.
2017.09.06 09:48:44.949. INFO: ======================================
2017.09.06 09:48:44.949. INFO: The number of extracted models: 1.
2017.09.06 09:48:44.950. INFO: ======================================
2017.09.06 09:48:44.954. INFO: The initial state for B14 process (CLOCK,RESET) (5de9445c): node=true phase=0
2017.09.06 09:48:45.055. WARNING: Can't find resetting transition for B14 process (CLOCK,RESET) (5de9445c)
2017.09.06 09:48:45.055. WARNING: The extracted EFSM is not single testable: B14 process (CLOCK,RESET) (5de9445c)
2017.09.06 09:48:45.056. WARNING: The initial state is selected arbitrarily: node=true phase=0
2017.09.06 09:48:45.056. INFO: ======================================
2017.09.06 09:48:45.076. INFO: Storing: efsm
2017.09.06 09:48:45.077. INFO: Retrascope is shutting down
2017.09.06 09:48:45.083. INFO: Duration: 00:00:16.777
</pre>
Retrascope - Bug #6430: b14.vhd: StackOverflowError
https://forge.ispras.ru/issues/6430?journal_id=31381
2017-09-06T06:49:42Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul>
Retrascope - Bug #6430: b14.vhd: StackOverflowError
https://forge.ispras.ru/issues/6430?journal_id=31482
2017-09-12T12:29:38Z
Sergey Smolov
smolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Verified</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>1.0.1-beta-170912</i></li></ul>