riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update license

This commit is contained in:
Miodrag Milanovic 2023-01-05 16:04:07 +01:00
parent 713b7d3e26
commit 550a5b7b6b
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
passes/sat/synthprop.cc
View File

@ -1,7 +1,9 @@
/*
* yosys -- Yosys Open SYnthesis Suite
*
* Copyright (C) 2022 Miodrag Milanovic <micko@yosyshq.com>
* Copyright (C) 2023 Miodrag Milanovic <micko@yosyshq.com>
* Copyright (C) 2023
* National Technology & Engineering Solutions of Sandia, LLC (NTESS)
*
* Permission to use, copy, modify, and/or distribute this software for any
* purpose with or without fee is hereby granted, provided that the above