Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix code generation for always blocks with or | Yann Herklotz | 2019-04-23 | 1 | -3/+3 |
* | Fine tune the generation | Yann Herklotz | 2019-04-23 | 1 | -15/+13 |
* | Add event list generation for always blocks | Yann Herklotz | 2019-04-23 | 2 | -3/+4 |
* | Add support for more event lists | Yann Herklotz | 2019-04-21 | 3 | -7/+41 |
* | Reduce the wire size as Quartus was crashing | Yann Herklotz | 2019-04-17 | 1 | -1/+9 |
* | Fix tests and remove Parser tests for now | Yann Herklotz | 2019-04-17 | 1 | -5/+5 |
* | Move declaration of SourceInfo | Yann Herklotz | 2019-04-15 | 3 | -8/+27 |
* | Format with brittany and add right modules | Yann Herklotz | 2019-04-15 | 2 | -16/+16 |
* | Add Bit vector instead of using numbers | Yann Herklotz | 2019-04-14 | 5 | -163/+141 |
* | Changes to general types | Yann Herklotz | 2019-04-14 | 1 | -95/+86 |
* | Add Eval module to evaluate expressions | Yann Herklotz | 2019-04-14 | 1 | -0/+103 |
* | Add BitVec type to model Verilog bit vectors | Yann Herklotz | 2019-04-14 | 1 | -0/+115 |
* | Fix tests passing | Yann Herklotz | 2019-04-13 | 2 | -2/+2 |
* | Remove Arbitrary model | Yann Herklotz | 2019-04-12 | 1 | -226/+0 |
* | Add for loop to design | Yann Herklotz | 2019-04-12 | 3 | -45/+130 |
* | Change Port type to include lower bound | Yann Herklotz | 2019-04-12 | 3 | -16/+20 |
* | Fix the generation of modules and add initialisation | Yann Herklotz | 2019-04-10 | 7 | -90/+204 |
* | Add probabilities to generation of expressions | Yann Herklotz | 2019-04-09 | 5 | -35/+50 |
* | Add generation of parameters and constant expressions | Yann Herklotz | 2019-04-09 | 3 | -22/+60 |
* | Add Parameter type and remove Description | Yann Herklotz | 2019-04-09 | 8 | -83/+192 |
* | Create Arbitrary module | Yann Herklotz | 2019-04-08 | 4 | -212/+232 |
* | Generate flip-flops instead of latches | Yann Herklotz | 2019-04-06 | 2 | -13/+5 |
* | New combine function | Yann Herklotz | 2019-04-04 | 1 | -0/+5 |
* | Fix adding port to state and add everything to output | Yann Herklotz | 2019-04-04 | 1 | -8/+20 |
* | Better formatting for if-statement | Yann Herklotz | 2019-04-04 | 1 | -2/+2 |
* | Fix infinite loop in state based generation | Yann Herklotz | 2019-04-03 | 1 | -12/+17 |
* | Export Vivado types and fix test failure | Yann Herklotz | 2019-04-03 | 1 | -1/+1 |
* | Apply brittany to modified modules | Yann Herklotz | 2019-04-03 | 1 | -6/+8 |
* | Formatting file | Yann Herklotz | 2019-04-03 | 1 | -92/+92 |
* | Add emacs mode line to Lex.x | Yann Herklotz | 2019-04-02 | 1 | -0/+1 |
* | Large refactor with passing tests | Yann Herklotz | 2019-04-02 | 9 | -0/+2444 |
* | More restructuring | Yann Herklotz | 2019-02-01 | 4 | -1081/+0 |
* | Add back Show for tests | Yann Herklotz | 2019-02-01 | 1 | -21/+21 |
* | [Fix #28] Add Expression generation with context | Yann Herklotz | 2019-02-01 | 1 | -16/+29 |
* | [Fix #27] Add function to Expr and add Generation type | Yann Herklotz | 2019-02-01 | 2 | -22/+54 |
* | [Fix #24] Small changes and looked at always block output | Yann Herklotz | 2019-02-01 | 1 | -7/+9 |
* | Make code a bit more readable | Yann Herklotz | 2019-02-01 | 1 | -1/+2 |
* | Remove extra import | Yann Herklotz | 2019-02-01 | 1 | -1/+0 |
* | [Fix #22] Fix SAT solver equivalence checking | Yann Herklotz | 2019-01-20 | 3 | -4/+40 |
* | Prettify files | Yann Herklotz | 2019-01-20 | 3 | -0/+11 |
* | Rename moduleId to modId | Yann Herklotz | 2019-01-20 | 4 | -9/+12 |
* | Reformat with stylish-haskell | Yann Herklotz | 2019-01-19 | 4 | -23/+15 |
* | Add hlint changes | Yann Herklotz | 2019-01-19 | 3 | -4/+3 |
* | Set column to 100 | Yann Herklotz | 2019-01-19 | 3 | -62/+23 |
* | Add brittany formatting instead of stylish-haskell | Yann Herklotz | 2019-01-19 | 4 | -162/+230 |
* | Small improvement to stmnt and expr function | Yann Herklotz | 2019-01-19 | 1 | -13/+16 |
* | Swap the exports for the types of the AST | Yann Herklotz | 2019-01-19 | 1 | -2/+2 |
* | Fix all the warnings | Yann Herklotz | 2019-01-10 | 3 | -31/+28 |
* | Add documentation in AST | Yann Herklotz | 2019-01-10 | 1 | -15/+28 |
* | Fix documentation error | Yann Herklotz | 2019-01-10 | 1 | -1/+1 |