Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | minisat: add missing include guard for WASI. | whitequark | 2020-06-21 | 2 | -0/+14 |
| | | | | | Including signal.h used to be allowed in WASI by mistake, but it's an error since SDK 11. | ||||
* | Add WASI platform support. | whitequark | 2020-04-30 | 4 | -8/+47 |
| | | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function. | ||||
* | Use static constexpr instead of static const where possible. | Henner Zeller | 2020-04-14 | 2 | -5/+4 |
| | | | | | | | In particular inside class declarations, a static const assignment is technically not a definition, while constexpr is. Signed-off-by: Henner Zeller <h.zeller@acm.org> | ||||
* | Improve ezsat onehot encoding scheme | Claire Wolf | 2020-04-02 | 1 | -14/+28 |
|
|
|
pre { line-height: 125%; margin: 0; }
td.linenos pre { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; }
span.linenos { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; }
td.linenos pre.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight { background: #ffffff; }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long *//*
* lwip/arch/cc.h
*
* Compiler-specific types and macros for lwIP running on mini-os
*
* Tim Deegan <Tim.Deegan@eu.citrix.net>, July 2007
*/
#ifndef __LWIP_ARCH_CC_H__
#define __LWIP_ARCH_CC_H__
/* Typedefs for the types used by lwip - */
#include <mini-os/os.h>
#include <mini-os/types.h>
#include <time.h>
typedef u8 u8_t;
typedef s8 s8_t;
typedef u16 u16_t;
typedef s16 s16_t;
typedef u32 u32_t;
typedef s32 s32_t;
typedef u64 u64_t;
typedef s64 s64_t;
typedef uintptr_t mem_ptr_t;
typedef u16 u_short;
/* Compiler hints for packing lwip's structures - */
#define PACK_STRUCT_FIELD(_x) _x
#define PACK_STRUCT_STRUCT __attribute__ ((packed))
#define PACK_STRUCT_BEGIN
#define PACK_STRUCT_END
/* Platform specific diagnostic output - */
extern void lwip_printk(char *fmt, ...);
#define LWIP_PLATFORM_DIAG(_x) do { lwip_printk _x ; } while (0)
extern void lwip_die(char *fmt, ...);
#define LWIP_PLATFORM_ASSERT(_x) do { lwip_die(_x); } while(0)
/* "lightweight" synchronization mechanisms - */
/* SYS_ARCH_DECL_PROTECT(x) - declare a protection state variable. */
/* SYS_ARCH_PROTECT(x) - enter protection mode. */
/* SYS_ARCH_UNPROTECT(x) - leave protection mode. */
/* If the compiler does not provide memset() this file must include a */
/* definition of it, or include a file which defines it. */
#include <mini-os/lib.h>
/* This file must either include a system-local <errno.h> which defines */
/* the standard *nix error codes, or it should #define LWIP_PROVIDE_ERRNO */
/* to make lwip/arch.h define the codes which are used throughout. */
#include <errno.h>
/* Not required by the docs, but needed for network-order calculations */
#ifdef HAVE_LIBC
#include <machine/endian.h>
#ifndef BIG_ENDIAN
#error endian.h does not define byte order
#endif
#else
#include <endian.h>
#endif
#include <inttypes.h>
#define S16_F PRIi16
#define U16_F PRIu16
#define X16_F PRIx16
#define S32_F PRIi32
#define U32_F PRIu32
#define X32_F PRIx32
#if 0
#ifndef DBG_ON
#define DBG_ON LWIP_DBG_ON
#endif
#define LWIP_DEBUG DBG_ON
//#define IP_DEBUG DBG_ON
#define TCP_DEBUG DBG_ON
#define TCP_INPUT_DEBUG DBG_ON
#define TCP_QLEN_DEBUG DBG_ON
#define TCPIP_DEBUG DBG_ON
#define DBG_TYPES_ON DBG_ON
#endif
#endif /* __LWIP_ARCH_CC_H__ */
| |||||
| | |||||
* | Improved performance in equiv_simple | Clifford Wolf | 2015-02-01 | 1 | -0/+1 |
| | |||||
* | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 1 | -1/+1 |
| | |||||
* | Added statehash to ezSAT | Clifford Wolf | 2014-12-29 | 2 | -6/+46 |
| | |||||
* | Compile fix for visual studio | Clifford Wolf | 2014-12-11 | 1 | -0/+1 |
| | |||||
* | switching from unreliable typedefs to precisely sized uint32_t and uint64_t | SlowRiot | 2014-11-20 | 2 | -19/+16 |
| | |||||
* | fixing incorrect buffer size allocation, and unsafe integer size type | SlowRiot | 2014-11-20 | 2 | -60/+64 |
| | |||||
* | Fixed various VS warnings | Clifford Wolf | 2014-10-18 | 1 | -2/+2 |
| | |||||
* | More win32 (mxe and vs) build fixes | Clifford Wolf | 2014-10-17 | 1 | -11/+18 |
| | |||||
* | Various win32 / vs build fixes | Clifford Wolf | 2014-10-17 | 1 | -0/+1 |
| | |||||
* | Header changes so it will compile on VS | William Speirs | 2014-10-17 | 1 | -1/+4 |
| | |||||
* | A few indent fixes | Clifford Wolf | 2014-10-15 | 1 | -1/+1 |
| | |||||
* | Changed to explicit heap allocated memory | William Speirs | 2014-10-15 | 1 | -1/+4 |
| | |||||
* | Not using std::to_string in ezsat (problems with mingw) | Clifford Wolf | 2014-10-11 | 1 | -5/+11 |
| | |||||
* | Disabled ezminisat timeout feature for Win32 | Clifford Wolf | 2014-10-11 | 2 | -0/+8 |
| | |||||
* | More Win32 build fixes | Clifford Wolf | 2014-10-10 | 1 | -0/+4 |
| | |||||
* | Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 3 | -65/+65 |
| | |||||
* | Corrected spelling mistakes found by lintian | Ruben Undheim | 2014-09-06 | 1 | -2/+2 |
| | |||||
* | Removed yosys-svgviewer | Clifford Wolf | 2014-09-02 | 12 | -1091/+0 |
| | |||||
* | Replaced sha1 implementation | Clifford Wolf | 2014-08-01 | 2 | -234/+327 |
| | |||||
* | Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespace | Clifford Wolf | 2014-07-31 | 1 | -2/+2 |
| | |||||
* | Added native support for shift operations to ezSAT | Clifford Wolf | 2014-07-30 | 2 | -1/+95 |
| | |||||
* | Removed Minisat dependency on zlib | Clifford Wolf | 2014-07-25 | 5 | -13/+43 |
| | |||||
* | Added ezSAT::keep_cnf() and ezSAT::non_incremental() | Clifford Wolf | 2014-07-21 | 5 | -8/+71 |
| | |||||
* | Fixed ezSAT stand-alone build | Clifford Wolf | 2014-07-21 | 2 | -8/+4 |
| | |||||
* | Updated minisat | Clifford Wolf | 2014-07-21 | 20 | -45/+45 |
| | |||||
* | Using relative path names in minisat headers | Clifford Wolf | 2014-07-21 | 1 | -1/+1 |
| | |||||
* | Improved ezsat stand-alone tests | Clifford Wolf | 2014-05-06 | 4 | -106/+24 |
| | |||||
* | minisat compile fix | Clifford Wolf | 2014-04-20 | 3 | -2/+25 |
| | |||||
* | POSIX find requires a path argument. | Anthony J. Bentley | 2014-04-04 | 1 | -1/+1 |
| | |||||
* | Merged OSX fixes from Siesh1oo with some modifications | Clifford Wolf | 2014-03-13 | 1 | -0/+1 |
| | |||||
* | Some fixes in libs/minisat (thanks to Siesh1oo) | Clifford Wolf | 2014-03-12 | 3 | -9/+10 |
| |