Comments (3)
We actually went public a couple months ago, but I totally forgot to respond until @ahmed-irfan just reminded me.
Here's the link: https://github.com/upscale-project/cosa2/
from cosa.
Hello, thanks for your interest in CoSA2! Unfortunately, we are not public yet, but we hope to be soon (we're shooting for a couple weeks, but no promises).
In the meantime, there is a pre-release available:
wget https://web.stanford.edu/~makaim/files/cosa2-linux
chmod +x cosa2-linux
./cosa2-linux --help
The help message is currently pretty brief but should get you started. One thing to note is that it currently only checks one of the bads in the BTOR2 file. You can select which one using -p
.
This pre-release version is not the exact one that ran for the competition. It should be faster, but we haven't thoroughly tested that yet. I can also make the competition build available if there's interest in that.
Once we go public, I'll add a comment with a pointer and close this issue.
from cosa.
Congratulations on the public release!!
from cosa.
Related Issues (20)
- AttributeError: '_BVType' object has no attribute 'get_type' HOT 1
- Brainstorm architecture for keeping CoreIR representation internally
- Brainstorm architecture for a new CoSA API
- Consider using -expose instead of -anyseq in Yosys setundef pass HOT 1
- [btor2] Initialize array with scalar constant HOT 1
- The problem about installing CoSA. HOT 10
- A question about CoSa and Pono workflow HOT 1
- Unable to access symbols defined within Verilog modules HOT 1
- Possible regression in latest CoSA release (0.2.1) HOT 4
- cosa distributed with older version of bit_vector HOT 6
- Signed arithmetic not handled in internal parser
- Out of date with bit vector HOT 6
- Suggestion: Raw String for Regular Expression
- Parsing errors donβt give line numbers
- Semi-colons in STS can't be next to bit-vector constants HOT 1
- Yosys Verilog Frontend Might Blast Memories to Registers
- Feature Idea: Synchronize clocks HOT 1
- Getting next value of array then accessing is wrong HOT 1
- Enhancement Idea: Use Yosys through Python API HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. πππ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google β€οΈ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cosa.