Wilson Snyder 8a3e9748b3 For --xml, add additional information, bug1372.

2018-12-10 19:11:35 -05:00

..

t

For --xml, add additional information, bug1372.

2018-12-10 19:11:35 -05:00

.gdbinit

Debug: Add default .gdbinit file

2012-03-02 20:59:47 -05:00

.gitignore

Tests: Support multiple scenario testing.

2018-05-07 20:42:28 -04:00

driver.pl

Removed --trace-lxt2, use --trace-fst instead.

2018-12-06 19:06:20 -05:00

input.vc

Convert repository to git from svn.

2008-06-09 21:25:10 -04:00

Makefile

MAJOR: Add multithreaded model generation.

2018-07-22 20:54:28 -04:00

Makefile_obj

Tests: Fix misc multithreaded issues, merge from threads branch.

2018-05-19 09:30:54 -04:00

vgen.pl

Copyright year update. No functional change.

2018-01-02 18:05:06 -05:00