mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-14 16:36:40 +00:00
Code Activity
13673 commits 120 branches 56 tags 57 MiB
Commit graph

40 commits

Author SHA1 Message Date
Akash Levy
5173e329ea Sync yosys 2024-05-21 19:07:13 -07:00
Akash Levy
e784c47ae5 Ignore .bak 2024-05-19 21:31:42 -07:00
Roland Coeurjoly
c40d43e3a9 Ignore result dir, generated by nix 2024-05-13 13:45:06 +02:00
Miodrag Milanovic
eae7356c70
Cleanups and update of VS action 2024-05-10 09:53:46 +12:00
Akash Levy
da8c1955af Updates from YosysHQ 2024-05-09 05:10:44 -07:00
Roland Coeurjoly
09b9aa83c9 Add YosysHQ/abc as a submodule located in abc 2024-05-08 00:32:18 +02:00
Akash Levy
a8fe47ea50 Update gitignore and Makefile 2024-04-08 22:13:22 -07:00
akash
632a70454c Update .gitignore and Makefile 2024-03-29 19:23:08 -07:00
Catherine
3dd5262355 Add *.dwo files to .gitignore 
These files are generated in `-gsplit-dwarf` builds, which provide faster linking.
 2023-11-28 12:12:03 +00:00
Rasmus Munk Larsen
98d2c9088a Ignore emacs auto-save files. 2023-10-02 17:26:37 +01:00
Jannis Harder
f041e36c6e smtbmc: Add native json based witness format + smt2 backend support 
This adds a native json based witness trace format. By having a common
format that includes everything we support, and providing a conversion
utility (yosys-witness) we no longer need to implement every format for
every tool that deals with witness traces, avoiding a quadratic
opportunity to introduce subtle bugs.

Included:

  * smt2: New yosys-smt2-witness info lines containing full hierarchical
    paths without lossy escaping.
  * yosys-smtbmc --dump-yw trace.yw: Dump results in the new format.
  * yosys-smtbmc --yw trace.yw: Read new format as constraints.
  * yosys-witness: New tool to convert witness formats.
    Currently this can only display traces in a human-readable-only
    format and do a passthrough read/write of the new format.
  * ywio.py: Small python lib for reading and writing the new format.
    Used by yosys-smtbmc and yosys-witness to avoid duplication.
 2022-08-16 13:37:30 +02:00
Miodrag Milanovic
82ad422b4e Add mandatory wasm file to zip file as well 2020-03-12 11:17:15 +01:00
Miodrag Milanovic
ece551eaff Add files to ignore for python build 2019-05-26 09:31:43 +02:00
William D. Jones
ff15cf9b1f Install launcher executable when running yosys-smtbmc on Windows. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2019-03-13 13:49:16 -04:00
Clifford Wolf
0b7a18470b Add "make ystests" 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-08-30 12:26:26 +02:00
Clifford Wolf
ddc1761f1a Add "make coverage" 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-08-27 14:22:21 +02:00
rodrigosiqueira
e0152319f5 Added required structure to implement unit tests 
Added modifications inside the main Makefile to refers the unit test Makefile.
Added separated Makefile only for compiling unit tests.
Added simple example of unit test.

Signed-off-by: Charles Oliveira <18oliveira.charles@gmail.com>
Signed-off-by: Pablo Alejandro <pabloabur@usp.br>
Signed-off-by: Rodrigo Siqueira <siqueira@ime.usp.br>
 2016-12-04 11:34:27 -02:00
Clifford Wolf
7d3a3a3173 Added first help messages for cell types 2015-10-14 16:27:42 +02:00
Clifford Wolf
31b555ae72 Added libyosys.so build 2015-08-04 13:22:49 +02:00
Clifford Wolf
3e5e9a3889 More YosysJS stuff 2015-02-16 13:23:54 +01:00
Clifford Wolf
33e80b96c7 Added YosysJS wrapper 2015-02-16 12:41:48 +01:00
Clifford Wolf
0283703f9e Added Viz to yosys.js 2015-02-15 22:53:41 +01:00
Clifford Wolf
3216f9420e More emscripten stuff, Added example app 2015-02-15 12:09:30 +01:00
Clifford Wolf
1df81f92ce Added "make mklibyosys", some minor API changes 2015-02-01 13:38:46 +01:00
Clifford Wolf
85572b05e5 Create vcxsrc in mxe build "make dist" 2014-10-18 15:17:33 +02:00
Clifford Wolf
2fdb3a4a91 Various Makefile changes for cross-compiling ABC for Win32 2014-10-12 13:48:05 +02:00
Clifford Wolf
1007f54235 added .exe and .html output files to .gitignore 2014-10-09 10:52:45 +02:00
Clifford Wolf
37fe7c7bdf Removed references to yosys-svgviewer from docs 2014-09-02 04:03:06 +02:00
Clifford Wolf
54552f6809 Added eclipse .setting folder to .gitignore 2014-07-23 19:31:34 +02:00
Clifford Wolf
73e68fe323 Added API and Makefile rules for share/ files 2013-10-27 09:33:26 +01:00
Clifford Wolf
485e870bcd Added version info to yosys command and added -V option 2013-08-20 09:48:12 +02:00
Clifford Wolf
ad9bbcbf40 Added $lut cells and abc lut mapping support 2013-07-23 16:19:34 +02:00
Clifford Wolf
6c8a424872 Added "make abc" and "make install-abc" 2013-06-08 23:48:19 +02:00
Clifford Wolf
9c401b58a2 Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib 2013-03-27 10:51:15 +01:00
Clifford Wolf
69ce1191c0 Added eclipse CDT project files to .gitignore 2013-03-21 10:59:35 +01:00
Clifford Wolf
13b2279b6c Added vi .*.swp files to .gitignore 2013-03-15 10:23:53 +01:00
Clifford Wolf
b380af9d6d Added support for loadable modules (aka plugins) 2013-03-06 11:58:07 +01:00
Clifford Wolf
e9fffd68e3 Added qtcreator.creator.user to top level .gitignore 2013-01-05 12:27:18 +01:00
Clifford Wolf
9c955c4c17 More .gitignore and fixed "make mrproper" 2013-01-05 11:44:29 +01:00
Clifford Wolf
6543917fb8 added .gitignore files 2013-01-05 11:19:11 +01:00