- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Wed, Feb 19
Wed, Feb 19
Jan 29 2025
Jan 29 2025
jasper <jasper-zw@hotmail.com> committed R231:a066da95fb5e: updated synthesis and added more structure.
Jan 13 2025
Jan 13 2025
jasper <jasper-zw@hotmail.com> committed R231:c1d179156534: Markdown fix.
jasper <jasper-zw@hotmail.com> committed R231:3fd6e0748357: compile command depends also on own setup so removed. Only used with clangd….
jasper <jasper-zw@hotmail.com> committed R231:6b1a4b6489a9: Added muxig sim guided cut rewritting. Updated report generation and….
Dec 20 2024
Dec 20 2024
jasper <jasper-zw@hotmail.com> committed R231:0ba97a5bc42e: changed sim resubstitution.
Dec 19 2024
Dec 19 2024
jasper <jasper-zw@hotmail.com> committed R231:6c998cd9b569: added mockturtle resubstitution cpp.
Dec 17 2024
Dec 17 2024
jasper <jasper-zw@hotmail.com> committed R231:251680daeea9: now with mockturtle and abc called.
Dec 5 2024
Dec 5 2024
jasper <jasper-zw@hotmail.com> committed R231:c88948801c6b: with muxig.
jasper <jasper-zw@hotmail.com> committed R231:bedd6a8f1b94: temporary for philip.
jasper <jasper-zw@hotmail.com> committed R231:f3a54bd9ee20: ISCAS_results was missing.
jasper <jasper-zw@hotmail.com> committed R231:a2692b5f9235: Added bruteforce mass run test and synthesis results of ISCAS test.
Nov 26 2024
Nov 26 2024
jasper <jasper-zw@hotmail.com> committed R231:06453b3b1ce8: added mux-xor approach.
Nov 22 2024
Nov 22 2024
jasper <jasper-zw@hotmail.com> committed R231:a00828d79870: added bruteforcing for muxxor and normal gates with .dot output.
Nov 21 2024
Nov 21 2024
jasper <jasper-zw@hotmail.com> committed R231:7c50dd1c3e4c: changed towards using int8_t to speed up slighly the bruteforcing.
jasper <jasper-zw@hotmail.com> committed R231:90f66580d0ac: Added upgraded c bruteforce approach.
Nov 12 2024
Nov 12 2024
jasper <jasper-zw@hotmail.com> committed R231:c52e9ca61a2e: added mockturtle port mapping.
Nov 11 2024
Nov 11 2024
jasper <jasper-zw@hotmail.com> committed R231:9c00cbe62fa2: added mockturtle support for muxig. Still work in progess.
Oct 31 2024
Oct 31 2024
jasper <jasper-zw@hotmail.com> committed R231:274bafe6583e: added multicore bruteforce implementation written in c.
Oct 29 2024
Oct 29 2024
jasper <jasper-zw@hotmail.com> committed R231:62b80b380bae: updated for multi core performance.
jasper <jasper-zw@hotmail.com> committed R231:54a1192ebc4d: added constraint for quick solution finding.
Oct 28 2024
Oct 28 2024
jasper <jasper-zw@hotmail.com> committed R231:ef37e58f6392: added python bruteforcing of boolean equations.