aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
* Cleanup $currQ from aigerparseEddie Hung2019-09-301-2/+0
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-303-2/+597
|\
| * Merge pull request #1406 from whitequark/connect_rpcwhitequark2019-09-302-0/+591
| |\
| | * rpc: new frontend.whitequark2019-09-302-0/+591
| * | Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_inMiodrag Milanović2019-09-301-2/+6
| |\ \
| | * | Fix reading aig files on windowsMiodrag Milanovic2019-09-291-1/+5
| | * | Open aig frontend as binary fileMiodrag Milanovic2019-09-291-1/+1
| | |/
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-291-2/+2
|\| |
| * | Force $inout.out ports to begin with '$' to indicate internalEddie Hung2019-09-231-2/+2
| |/
* | Big rework; flop info now mostly in cells_sim.vEddie Hung2019-09-281-6/+13
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-275-35/+73
|\|
| * Fix handling of read_verilog config in AstModule::reprocess_module(), fixes #...Clifford Wolf2019-09-202-18/+30
| * Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-181-1/+1
| |\
| | * Revert "parse_xaiger() to do "clean -purge""Eddie Hung2019-09-041-1/+1
| * | Fix handling of range selects on loop variables, fixes #1372Clifford Wolf2019-09-161-2/+9
| * | Fix handling of z_digit "?" and fix optimization of cmp with "z"Clifford Wolf2019-09-131-5/+1
| * | Fix lexing of integer literals without radixClifford Wolf2019-09-131-1/+1
| * | Fix lexing of integer literals, fixes #1364Clifford Wolf2019-09-122-3/+3
| * | Merge pull request #1312 from YosysHQ/xaig_arrivalEddie Hung2019-09-051-14/+25
| |\ \
| | * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-041-0/+7
| | |\|
| | * | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-301-1/+1
| | |\ \
| | * \ \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-08-231-0/+5
| | |\ \ \
| * | \ \ \ Merge pull request #1350 from YosysHQ/clifford/fixsby59Clifford Wolf2019-09-051-7/+18
| |\ \ \ \ \ | | |_|_|_|/ | |/| | | |
| | * | | | Properly construct $live and $fair cells from "if (...) assume/assert (s_even...Clifford Wolf2019-09-021-7/+18
| | | |_|/ | | |/| |
| * | | | Merge remote-tracking branch 'origin/master' into eddie/deferred_topEddie Hung2019-09-031-1/+1
| |\| | |
| | * | | parse_xaiger() to do "clean -purge"Eddie Hung2019-08-291-1/+1
| | | |/ | | |/|
| * | | Remove newlineEddie Hung2019-08-291-1/+0
| * | | Restore non-deferred code, deferred case to ignore non constant attrEddie Hung2019-08-291-5/+12
| * | | read_verilog -defer should still populate module attributesEddie Hung2019-08-281-5/+6
| |/ /
| * | Do not propagate mem2reg attribute through to resultEddie Hung2019-08-221-1/+2
| * | mem2reg to preserve user attributes and srcEddie Hung2019-08-211-0/+4
* | | Revert "Remove sequential extension"Eddie Hung2019-08-201-2/+33
| |/ |/|
* | Remove sequential extensionEddie Hung2019-08-201-33/+2
* | Use abc_{map,unmap,model}.vEddie Hung2019-08-201-31/+10
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-201-1/+4
|\|
| * Merge pull request #1308 from jakobwenzel/real_paramsClifford Wolf2019-08-201-1/+4
| |\
| | * handle real values when deriving ast modulesJakob Wenzel2019-08-191-1/+4
| * | Fix typoEddie Hung2019-08-191-1/+1
| |/
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-193-14/+11
|\|
| * Merge branch 'master' into eddie/pr1266_againwhitequark2019-08-184-15/+12
| |\
| | * Merge pull request #1283 from YosysHQ/clifford/fix1255Clifford Wolf2019-08-172-13/+10
| | |\
| | | * Fix erroneous ifndef-NDEBUG in verific.ccClifford Wolf2019-08-171-3/+1
| | | * Remove unused variableEddie Hung2019-08-161-5/+0
| | | * Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-132-9/+13
| * | | Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_ad...Eddie Hung2019-08-121-1/+1
| | |/ | |/|
* | | Set abc_flop and use it in toposortEddie Hung2019-08-191-0/+1
* | | Merge branch 'eddie/abc9_refactor' into xaig_dffEddie Hung2019-08-1615-124/+172
|\ \ \ | | |/ | |/|
| * | Change signature of parse_blif to take IdStringEddie Hung2019-08-152-2/+2
| |/
| * Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-101-1/+1
| * Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-108-49/+49
| |\
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 12:21:01 +0000