mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-03 09:50:24 +00:00
Code Activity

Removed Minisat dependency on zlib

Browse source
This commit is contained in:
Clifford Wolf 2014-07-25 03:31:16 +02:00
parent e4a0ab9bed
commit 6789e3002a
5 changed files with 43 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

14
libs/minisat/ParseUtils.h
View file

@ -24,8 +24,6 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include <stdlib.h>
#include <stdio.h>
#include <zlib.h>
#include "XAlloc.h"
namespace Minisat {
@ -36,24 +34,16 @@ namespace Minisat {
class StreamBuffer {
gzFile in;
unsigned char* buf;
int pos;
int size;
enum { buffer_size = 64*1024 };
void assureLookahead() {
if (pos >= size) {
pos = 0;
size = gzread(in, buf, buffer_size); } }
virtual void assureLookahead() = 0;
public:
explicit StreamBuffer(gzFile i) : in(i), pos(0), size(0){
buf = (unsigned char*)xrealloc(NULL, buffer_size);
assureLookahead();
}
~StreamBuffer() { free(buf); }
virtual ~StreamBuffer() { }
int operator * () const { return (pos >= size) ? EOF : buf[pos]; }
void operator ++ () { pos++; assureLookahead(); }