From 450bda69837b02c20d2fb391bbe7827d1becaac4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 14 Jul 2020 16:08:58 +0100 Subject: Change name to Vericert --- src/verilog/ValueInt.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/verilog/ValueInt.v') diff --git a/src/verilog/ValueInt.v b/src/verilog/ValueInt.v index f0f6de6..c7f69a1 100644 --- a/src/verilog/ValueInt.v +++ b/src/verilog/ValueInt.v @@ -1,5 +1,5 @@ (* - * CoqUp: Verified high-level synthesis. + * Vericert: Verified high-level synthesis. * Copyright (C) 2020 Yann Herklotz * * This program is free software: you can redistribute it and/or modify @@ -21,7 +21,7 @@ From bbv Require Import Word. From bbv Require HexNotation WordScope. From Coq Require Import ZArith.ZArith FSets.FMapPositive Lia. From compcert Require Import lib.Integers common.Values. -From coqup Require Import Coquplib. +From vericert Require Import Vericertlib. (* end hide *) (** * Value -- cgit