Skip to content
This repository has been archived by the owner on Jun 11, 2021. It is now read-only.

GaloisInc/saw-core-aig

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

44 Commits
src/Verifier/SAW/Simulator
src/Verifier/SAW/Simulator
 
 
.gitignore
.gitignore
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
Setup.hs
Setup.hs
 
 
saw-core-aig.cabal
saw-core-aig.cabal
 
 

Repository files navigation

Note: this repository is obsolete, and its contents have been moved here

This repository contains a backend for the saw-core library that uses the aig library for construction of And-Inverter Graphs (AIGs).

About

Simulator backend for saw-core based on AIGs

Resources

Readme

License

BSD-3-Clause license
Activity
Custom properties

Stars

3 stars

Watchers

15 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Contributors 6

Languages