diff options
| author | Claire Xen <claire@clairexen.net> | 2021-06-09 13:22:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-09 13:22:52 +0200 |
| commit | 55e8f5061af57bf25bd9e30528de8196c6eabe9e (patch) | |
| tree | e4fcc0a71494dd1023e938b2ed041489c7536014 /passes/sat/eval.cc | |
| parent | 2e697f5655455fd8ce5fec40b94683a11ade24e8 (diff) | |
| parent | 588137cd082849cfa3dee92a01ac4ee91f6ed946 (diff) | |
| download | yosys-55e8f5061af57bf25bd9e30528de8196c6eabe9e.tar.gz yosys-55e8f5061af57bf25bd9e30528de8196c6eabe9e.tar.bz2 yosys-55e8f5061af57bf25bd9e30528de8196c6eabe9e.zip | |
Merge pull request #2817 from YosysHQ/claire/fixemails
Fixing old e-mail addresses and deadnames
Diffstat (limited to 'passes/sat/eval.cc')
| -rw-r--r-- | passes/sat/eval.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc index 085e7c5b8..05879426e 100644 --- a/passes/sat/eval.cc +++ b/passes/sat/eval.cc @@ -1,7 +1,7 @@ /* * yosys -- Yosys Open SYnthesis Suite * - * Copyright (C) 2012 Clifford Wolf <clifford@clifford.at> + * Copyright (C) 2012 Claire Xenia Wolf <claire@yosyshq.com> * * Permission to use, copy, modify, and/or distribute this software for any * purpose with or without fee is hereby granted, provided that the above @@ -18,7 +18,7 @@ */ // [[CITE]] VlogHammer Verilog Regression Test Suite -// http://www.clifford.at/yosys/vloghammer.html +// https://yosyshq.net/yosys/vloghammer.html #include "kernel/register.h" #include "kernel/celltypes.h" |