aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-2112-139/+186
| | |
* | | Catch constants assigned to cell outputs in "flatten"Clifford Wolf2015-02-211-0/+6
| | |
* | | Added deep recursion warning to AST simplifyClifford Wolf2015-02-201-1/+7
| | |
* | | Parser support for complex delay expressionsClifford Wolf2015-02-202-8/+21
| | |
* | | YosysJS firefox fixesClifford Wolf2015-02-192-5/+5
| | |
* | | YosysJS stuffClifford Wolf2015-02-197-16/+156
| | |
* | | format fixes in "sat -dump_json"Clifford Wolf2015-02-191-18/+17
| | |
* | | Added "sat -dump_json" (WaveJSON format)Clifford Wolf2015-02-191-4/+92
| | |
* | | Changed "show" defaults for Win32Clifford Wolf2015-02-191-1/+4
| | |
* | | Convert floating point cell parameters to stringsClifford Wolf2015-02-181-9/+12
| | |
* | | Fixed clang (svn trunk) warningsClifford Wolf2015-02-182-4/+2
| | |
* | | Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-02-182-1/+36
|\ \ \
| * | | wreduce help typo fixClifford Wolf2015-02-171-1/+1
| | | |
| * | | CodingReadmeClifford Wolf2015-02-171-0/+35
| | | |
* | | | Added "select %xe %cie %coe"Clifford Wolf2015-02-181-7/+28
|/ / /
* | | YosysJS fixes for firefoxClifford Wolf2015-02-162-23/+41
| | |
* | | More YosysJS stuffClifford Wolf2015-02-165-105/+83
| | |
* | | Added YosysJS wrapperClifford Wolf2015-02-166-5/+273
| | |
* | | Bugfix in wreduceClifford Wolf2015-02-161-7/+14
| | |
* | | More yosys.js improvementsClifford Wolf2015-02-161-4/+29
| | |
* | | Added Viz to yosys.jsClifford Wolf2015-02-154-8/+87
| | |
* | | Added yosys.js FS supportClifford Wolf2015-02-151-2/+61
| | |
* | | More emcc stuffClifford Wolf2015-02-153-17/+39
| | |
* | | Improved yosys.js exampleClifford Wolf2015-02-151-60/+72
| | |
* | | Added "stat" to "synth" and "synth_xilinx"Clifford Wolf2015-02-152-0/+4
| | |
* | | Added final checks to "synth" and "synth_xilinx"Clifford Wolf2015-02-152-7/+24
| | |
* | | Added "check -noinit"Clifford Wolf2015-02-151-3/+19
| | |
* | | Cosmetic fixes in "hierarchy" for blackbox modulesClifford Wolf2015-02-151-2/+4
| | |
* | | More emscripten stuff, Added example appClifford Wolf2015-02-155-4/+99
| | |
* | | Fixed default EMCCFLAGSClifford Wolf2015-02-151-5/+8
| | |
* | | Smaller default parameters in $mem simlib modelClifford Wolf2015-02-151-2/+2
| | |
* | | Fixed "stat" handling of blackbox modulesClifford Wolf2015-02-141-9/+6
| | |
* | | Various fixes for memories with offsetsClifford Wolf2015-02-145-13/+24
| | |
* | | Added $meminit support to "memory" commandClifford Wolf2015-02-147-48/+98
| | |
* | | Added $meminit test caseClifford Wolf2015-02-141-0/+30
| | |
* | | Added "read_verilog -nomeminit" and "nomeminit" attributeClifford Wolf2015-02-145-7/+34
| | |
* | | Creating $meminit cells in verilog front-endClifford Wolf2015-02-144-33/+57
| | |
* | | Added $meminit cell typeClifford Wolf2015-02-144-1/+33
| | |
* | | Fixed handling of "//" in filenames in verilog pre-processorClifford Wolf2015-02-142-1/+5
| | |
* | | Fixed "write_verilog -attr2comment" handling of "*/" in stringsClifford Wolf2015-02-131-2/+4
| | |
* | | hotfix in "check" commandClifford Wolf2015-02-131-1/+2
| | |
* | | Added "check" commandClifford Wolf2015-02-133-0/+131
| | |
* | | Added AstNode::simplify() recursion counterClifford Wolf2015-02-131-2/+10
| | |
* | | Added EMCCFLAGSClifford Wolf2015-02-131-0/+8
| | |
* | | Some test related fixesClifford Wolf2015-02-126-156/+6
| | | | | | | | | | | | (incl. removal of three bad test cases)
* | | Added "proc_dlatch"Clifford Wolf2015-02-123-1/+311
| | |
* | | Less aggressive "share" defaultsClifford Wolf2015-02-101-4/+6
| | |
* | | Improved read_verilog support for empty behavioral statementsClifford Wolf2015-02-101-6/+2
| | |
* | | Added "scc -expect <N> -nofeedback"Clifford Wolf2015-02-101-7/+48
| | |
* | | Some hashlib improvementsClifford Wolf2015-02-091-9/+37
| | |