mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

Merge branch 'YosysHQ:main' into main

Browse source
This commit is contained in:
Akash Levy 2024-11-21 00:34:49 -08:00 • committed by GitHub
commit f855b39dbb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
16 changed files with 4870 additions and 128 deletions
Download patch file Download diff file Expand all files Collapse all files

2
libs/ezsat/demo_cmp.cc
View file

@ -19,6 +19,7 @@
#include "ezminisat.h"
#include <assert.h>
#include <stdlib.h>
#define INIT_X 123456789
#define INIT_Y 362436069
@ -143,4 +144,3 @@ int main()
}
return 0;
}

2
libs/ezsat/demo_vec.cc
View file

@ -19,6 +19,7 @@
#include "ezminisat.h"
#include <assert.h>
#include <stdlib.h>
#define INIT_X 123456789
#define INIT_Y 362436069
@ -109,4 +110,3 @@ int main()
return 0;
}