Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add wget as a dependency | Yann Herklotz | 2021-07-14 | 1 | -1/+1 |
* | Add a Dockerfile | Yann Herklotz | 2021-07-14 | 1 | -0/+11 |
* | Add shuffling of Verilog items | Yann Herklotz | 2021-07-14 | 1 | -0/+132 |
* | Add changes to Icarus for fuzzing | Yann Herklotz | 2021-07-14 | 6 | -5/+43 |
* | Add functions and fix EMI | Yann Herklotz | 2021-05-21 | 2 | -16/+51 |
* | Add simulation support | Yann Herklotz | 2021-05-21 | 1 | -1/+1 |
* | Fix top-level of interface | Yann Herklotz | 2021-05-21 | 2 | -3/+35 |
* | Add new simulation for EMI | Yann Herklotz | 2021-05-19 | 2 | -22/+91 |
* | Add showBS to Utils | Yann Herklotz | 2021-05-19 | 1 | -0/+9 |
* | Add formal properties to AST | Yann Herklotz | 2021-05-19 | 2 | -0/+35 |
* | Add Equivalence top-level generation | Yann Herklotz | 2021-05-19 | 1 | -5/+63 |
* | Add more top-level changes | Yann Herklotz | 2021-05-19 | 3 | -32/+107 |
* | Add top-level argument interface for EMI | Yann Herklotz | 2021-05-18 | 3 | -1/+98 |
* | Add configuration for EMI testing | Yann Herklotz | 2021-05-18 | 2 | -11/+58 |
* | Add full example of EMI testing | Yann Herklotz | 2021-05-17 | 3 | -2/+101 |
* | Add EMI testing | Yann Herklotz | 2021-05-06 | 2 | -2/+13 |
* | Fix parser for a larger set of inputs | Yann Herklotz | 2021-04-26 | 9 | -30/+71 |
* | Add hackage packagev1.0.0.2 | Yann Herklotz | 2020-08-14 | 1 | -0/+1 |
* | Add FPGA'20 DOI link | Yann Herklotz | 2020-08-13 | 1 | -0/+1 |
* | Add DOI link to zenodo | Yann Herklotz | 2020-08-13 | 1 | -1/+4 |
* | Use cachix for the build | Yann Herklotz | 2020-05-13 | 1 | -0/+1 |
* | Save out of scope variables | Yann Herklotz | 2020-05-13 | 1 | -2/+8 |
* | Remove removeDecl as that pass is already there | Yann Herklotz | 2020-05-13 | 1 | -1/+1 |
* | Remove main.v script | Yann Herklotz | 2020-05-13 | 1 | -27/+0 |
* | Better reducer and formatting (#76) | Yann Herklotz | 2020-05-13 | 44 | -5200/+6129 |
|\ | |||||
| * | Merge branch 'master' into dev/reducerdev/reducer | Yann Herklotz | 2020-05-13 | 6 | -1/+250 |
| |\ | |/ |/| | |||||
* | | Add distance function (#75) | Yann Herklotz | 2020-05-09 | 6 | -49/+274 |
| * | Fix generation of blocking assignment | Yann Herklotz | 2020-05-13 | 1 | -45/+129 |
| * | Add for loops and events to reduction | Yann Herklotz | 2020-05-12 | 2 | -1/+36 |
| * | Add line count to reduction | Yann Herklotz | 2020-05-12 | 1 | -3/+5 |
| * | Remove single module instead of all | Yann Herklotz | 2020-05-12 | 1 | -25/+30 |
| * | Change order of types in AST | Yann Herklotz | 2020-05-12 | 1 | -107/+107 |
| * | Add debug to reduction | Yann Herklotz | 2020-05-12 | 2 | -4/+14 |
| * | Format with ormolu | Yann Herklotz | 2020-05-12 | 44 | -5032/+5683 |
| * | Tests passing for new reduction | Yann Herklotz | 2020-05-11 | 4 | -18/+37 |
| * | Fix types with annotations | Yann Herklotz | 2020-05-11 | 13 | -44/+51 |
| * | Add reduction annotations | Yann Herklotz | 2020-05-11 | 1 | -92/+134 |
| * | Add proper annotation support | Yann Herklotz | 2020-05-11 | 1 | -69/+119 |
|/ | |||||
* | Merge branch 'RCoeurjoly-master' | Yann Herklotz | 2020-04-27 | 1 | -1/+1 |
|\ | |||||
| * | Ignore all dist folders | Yann Herklotz | 2020-04-27 | 1 | -2/+1 |
| * | Ignore dist, which is created when running cabal run verismith | Roland Coeurjoly | 2020-04-26 | 1 | -0/+1 |
|/ | |||||
* | Fix .gitignoredevelop | Yann Herklotz | 2020-04-25 | 1 | -7/+7 |
* | Fix README wording for LICENSE | Yann Herklotz | 2020-04-22 | 1 | -2/+22 |
* | Remove commercial restriction from this version | Yann Herklotz | 2020-04-22 | 1 | -15/+3 |
* | Add option to drop reg and wire from output | Yann Herklotz | 2020-04-09 | 3 | -18/+74 |
* | Remove shakespeare dependency | Yann Herklotz | 2020-04-07 | 4 | -104/+103 |
* | Remove unnecessary job | Yann Herklotz | 2020-04-07 | 1 | -6/+0 |
* | Remove statistic dependency | Yann Herklotz | 2020-04-07 | 2 | -6/+9 |
* | Remove DRBG dependency | Yann Herklotz | 2020-04-07 | 4 | -33/+36 |
* | Fix the test suite | Yann Herklotz | 2020-04-07 | 2 | -36/+41 |