devel release

This commit is contained in:
Wilson Snyder 2014-05-11 16:58:01 -04:00
parent b46f656d17
commit cd2d6575c6
2 changed files with 4 additions and 1 deletions

View File

@ -3,6 +3,9 @@ Revision history for Verilator
The contributors that suggested a given feature are shown in []. [by ...]
indicates the contributor was also the author of the fix; Thanks!
* Verilator 3.861 devel
* Verilator 3.860 2014-05-11
** PSL is no longer supported, please use System Verilog assertions.

View File

@ -6,7 +6,7 @@
#AC_INIT([Verilator],[#.### YYYY-MM-DD])
#AC_INIT([Verilator],[#.### devel])
AC_INIT([Verilator],[3.860 2014-05-11])
AC_INIT([Verilator],[3.861 devel])
AC_CONFIG_HEADER(src/config_build.h)
AC_CONFIG_FILES(Makefile src/Makefile src/Makefile_obj include/verilated.mk include/verilated_config.h)