aboutsummaryrefslogtreecommitdiffstats
path: root/libs
Commit message (Collapse)AuthorAgeFilesLines
* minisat: add missing include guard for WASI.whitequark2020-06-212-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.whitequark2020-04-304-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 Zeller2020-04-142-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 schemeClaire Wolf2020-04-021-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_simpleClifford Wolf2015-02-011-0/+1
|
* Added ENABLE_NDEBUG makefile optionsClifford Wolf2015-01-241-1/+1
|
* Added statehash to ezSATClifford Wolf2014-12-292-6/+46
|
* Compile fix for visual studioClifford Wolf2014-12-111-0/+1
|
* switching from unreliable typedefs to precisely sized uint32_t and uint64_tSlowRiot2014-11-202-19/+16
|
* fixing incorrect buffer size allocation, and unsafe integer size typeSlowRiot2014-11-202-60/+64
|
* Fixed various VS warningsClifford Wolf2014-10-181-2/+2
|
* More win32 (mxe and vs) build fixesClifford Wolf2014-10-171-11/+18
|
* Various win32 / vs build fixesClifford Wolf2014-10-171-0/+1
|
* Header changes so it will compile on VSWilliam Speirs2014-10-171-1/+4
|
* A few indent fixesClifford Wolf2014-10-151-1/+1
|
* Changed to explicit heap allocated memoryWilliam Speirs2014-10-151-1/+4
|
* Not using std::to_string in ezsat (problems with mingw)Clifford Wolf2014-10-111-5/+11
|
* Disabled ezminisat timeout feature for Win32Clifford Wolf2014-10-112-0/+8
|
* More Win32 build fixesClifford Wolf2014-10-101-0/+4
|
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-103-65/+65
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-061-2/+2
|
* Removed yosys-svgviewerClifford Wolf2014-09-0212-1091/+0
|
* Replaced sha1 implementationClifford Wolf2014-08-012-234/+327
|
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-311-2/+2
|
* Added native support for shift operations to ezSATClifford Wolf2014-07-302-1/+95
|
* Removed Minisat dependency on zlibClifford Wolf2014-07-255-13/+43
|
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-215-8/+71
|
* Fixed ezSAT stand-alone buildClifford Wolf2014-07-212-8/+4
|
* Updated minisatClifford Wolf2014-07-2120-45/+45
|
* Using relative path names in minisat headersClifford Wolf2014-07-211-1/+1
|
* Improved ezsat stand-alone testsClifford Wolf2014-05-064-106/+24
|
* minisat compile fixClifford Wolf2014-04-203-2/+25
|
* POSIX find requires a path argument.Anthony J. Bentley2014-04-041-1/+1
|
* Merged OSX fixes from Siesh1oo with some modificationsClifford Wolf2014-03-131-0/+1
|
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-123-9/+10
|