diff --git a/Changes b/Changes index 3f5bf81e5..a0672d6f8 100644 --- a/Changes +++ b/Changes @@ -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. diff --git a/configure.ac b/configure.ac index 900548d91..c6a0d3f45 100644 --- a/configure.ac +++ b/configure.ac @@ -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)