Skip to content

Activity

Showing most recent first

Fix mingw compilation

mmickopushed 1 commit to yosys-experimental • 5ecc7c3…f2d68d5 • 
9 days ago

Revert addition of CaDiCaL

povikpushed 1 commit to yosys-experimental • 43b9a4d…5ecc7c3 • 
9 days ago

Revert addition of CaDiCaL

povikcreated remove-cadical • 5ecc7c3 • 
10 days ago

Merge remote-tracking branch 'upstream/master' into yosys-experimental

povikpushed 165 commits to yosys-experimental • 8700bb5…43b9a4d • 
10 days ago

Merge pull request #37 from YosysHQ/povik/fix-mfs-ub

Pull request merge
povikpushed 2 commits to yosys-experimental • cac8f99…8700bb5 • 
on Jan 20

Fix UB in &mfs -r print

povikpushed 1 commit to povik/fix-mfs-ub • cac8f99…013023f • 
on Jan 20

Revert "Merge pull request berkeley-abc#247 from QuantamHD/abc_unit_t…

povikcreated povik/fix-mfs-ub • cac8f99 • 
on Jan 20

Revert "Merge pull request berkeley-abc#247 from QuantamHD/abc_unit_t…

widlarizerpushed 1 commit to yosys-experimental • 745ea92…cac8f99 • 
on Oct 7, 2024

Merge remote-tracking branch 'upstream/master' into yosys-experimental

povikpushed 73 commits to yosys-experimental • 2188bc7…745ea92 • 
on Oct 5, 2024

Merge remote-tracking branch 'upstream/master' into yosys-experimental

povikcreated povik/merge-241003 • 745ea92 • 
on Oct 3, 2024

Merge branch 'povik/fix-atomic_store-call' into yosys-experimental

Force push
povikforce pushed to yosys-experimental • 745ea92…2188bc7 • 
on Oct 3, 2024

Merge remote-tracking branch 'upstream/master' into yosys-experimental

povikpushed 73 commits to yosys-experimental • 2188bc7…745ea92 • 
on Oct 3, 2024

glucose2: Don't try to justify toplevel assignments

jixpushed 1 commit to imctk-sat-patches • d1aa15b…d9b5bf6 • 
on Sep 13, 2024

Deleted branch

povikdeleted povik/aiger-cell-mapping • 
on Aug 29, 2024

Make casts explicit

povikpushed 1 commit to povik/aiger-cell-mapping • cb294bb…786a39a • 
on Aug 28, 2024

Save cell mapping as new 'M' AIGER extension

povikcreated povik/aiger-cell-mapping • cb294bb • 
on Aug 28, 2024

glucose2: Create initial extra jlevel entries

Force push
jixforce pushed to imctk-sat-patches • f67f321…d1aa15b • 
on Aug 19, 2024

glucose2: Create an initial extra jlevel entry

jixcreated imctk-sat-patches • f67f321 • 
on Aug 19, 2024

Revert "pdr -X to write CEXes immediately"

povikcreated povik/revert-pdr • de8620d • 
on Aug 12, 2024

CodeQL

Force push
mmickoforce pushed to codeql • 2926f8f…25e3bb0 • 
on Aug 12, 2024

Add CodeQL

mmickocreated codeql • 2926f8f • 
on Aug 12, 2024

Merge branch 'povik/fix-atomic_store-call' into yosys-experimental

povikpushed 3 commits to yosys-experimental • 57f93e6…2188bc7 • 
on Aug 8, 2024

Merge branch 'povik/fix-transfer-timing' into yosys-experimental

povikpushed 97 commits to yosys-experimental • 28d955c…57f93e6 • 
on Aug 8, 2024

Include stdbool.h for portability of atomic calls

povikpushed 1 commit to povik/fix-atomic_store-call • f0b070e…2d26778 • 
on Aug 7, 2024

Remove extra asserts in buffering code

povikcreated povik/rm-buffering-asserts • 2a8ea11 • 
on Aug 7, 2024

Fix types in call to atomic_store_explicit

povikcreated povik/fix-atomic_store-call • f0b070e • 
on Aug 7, 2024

Handle edge case in Gia_ManTransferTiming

povikcreated povik/fix-transfer-timing • afbeccb • 
on Aug 7, 2024

Handle edge case in Gia_ManTransferTiming

povikcreated bump-240807 • 1776063 • 
on Aug 7, 2024

Improved anytime pdr

povikcreated povik/yosyshq-commands • 5444cf2 • 
on Aug 7, 2024

Fix archive reproducibility

povikcreated povik/yosyshq-build • 68c9924 • 
on Aug 7, 2024