aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Expand)AuthorAgeFilesLines
...
| | * sv: Fix memories of typedefsDavid Shah2019-10-031-1/+1
| | * sv: Add %expectDavid Shah2019-10-031-0/+1
| | * sv: Add support for memories of a typedefDavid Shah2019-10-031-6/+20
| | * sv: Add support for memory typedefsDavid Shah2019-10-032-3/+34
| | * sv: Fix typedefs in packagesDavid Shah2019-10-031-4/+10
| | * sv: Fix typedef parametersDavid Shah2019-10-032-6/+48
| | * sv: Switch parser to glr, prep for typedefDavid Shah2019-10-035-11/+89
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-081-2/+6
|\| |
| * | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9Eddie Hung2019-10-081-4/+4
| |\ \
| * | | Fixes for MSVC buildMiodrag Milanovic2019-10-041-2/+6
* | | | Fix merge issuesEddie Hung2019-10-041-1/+1
* | | | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-4/+4
|\ \ \ \ | | |/ / | |/| |
| * | | Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-4/+4
| |/ /
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-033-35/+61
|\| |
| * | Merge pull request #1419 from YosysHQ/eddie/lazy_deriveClifford Wolf2019-10-032-35/+59
| |\ \ | | |/ | |/|
| | * Fix for svinterfacesEddie Hung2019-09-301-2/+8
| | * module->derive() to be lazy and not touch ast if already derivedEddie Hung2019-09-302-33/+51
| * | Define environ, fixes #1424Miodrag Milanovic2019-10-011-0/+2
| |/
* | 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
| |/ |/|