Version bump.

This commit is contained in:
Wilson Snyder 2014-05-11 16:51:56 -04:00
parent 58fd602bbd
commit b46f656d17
2 changed files with 3 additions and 3 deletions

View File

@ -1,9 +1,9 @@
overRevision history for Verilator
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.857 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.857 devel])
AC_INIT([Verilator],[3.860 2014-05-11])
AC_CONFIG_HEADER(src/config_build.h)
AC_CONFIG_FILES(Makefile src/Makefile src/Makefile_obj include/verilated.mk include/verilated_config.h)