Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Add annotations and make it compile again | Yann Herklotz | 2020-04-07 | 11 | -31/+41 |
| | |||||
* | Merge branch 'develop' of github.com:ymherklotz/verismith into develop | Yann Herklotz | 2020-04-06 | 29 | -226/+255 |
|\ | |||||
| * | WIP changes to the AST types | Yann Herklotz | 2020-03-16 | 23 | -224/+224 |
| | | |||||
| * | Merge branch 'master' into develop | Yann Herklotz | 2020-03-08 | 7 | -13/+43 |
| |\ | |||||
| | * | Update documentation | Yann Herklotz | 2020-03-07 | 1 | -1/+1 |
| | | | |||||
| | * | Add caching for cabal to travis | Yann Herklotz | 2020-03-07 | 1 | -0/+4 |
| | | | |||||
| | * | Fix formatting of build | Yann Herklotz | 2020-03-07 | 1 | -1/+1 |
| | | | |||||
| | * | Add not condition | Yann Herklotz | 2020-03-07 | 1 | -3/+2 |
| | | | |||||
| | * | Update build script to run in bash | Yann Herklotz | 2020-03-07 | 2 | -2/+2 |
| | | | |||||
| | * | Fix travis build and .envrc | Yann Herklotz | 2020-03-07 | 2 | -2/+9 |
| | | | |||||
| | * | New travis build | Yann Herklotz | 2020-03-06 | 2 | -0/+22 |
| | | | |||||
| | * | Bump version to stable 1.0.0.2 | Yann Herklotz | 2020-03-06 | 1 | -1/+1 |
| | | | |||||
| | * | Change setup for default build | Yann Herklotz | 2020-03-06 | 1 | -2/+2 |
| | | | |||||
| | * | Merge branch 'master' of github.com:ymherklotz/verismith | Yann Herklotz | 2020-03-06 | 0 | -0/+0 |
| | |\ | |||||
| | | * | Merge pull request #70 from ymherklotz/feature/update-dependencies | Yann Herklotz | 2020-03-06 | 2 | -13/+13 |
| | | |\ | | | | | | | | | | | Upgrading packages to work with 8.2.2 | ||||
| | * | | | Change build to simple | Yann Herklotz | 2020-03-06 | 1 | -8/+2 |
| | | |/ | | |/| | |||||
| | * | | Upgrading packages to work with 8.2.2feature/update-dependencies | Yann Herklotz | 2020-03-06 | 2 | -13/+13 |
| | |/ | |||||
* | / | Add cachix to travis build | Yann Herklotz | 2020-04-06 | 1 | -3/+8 |
|/ / | |||||
* | | Changes to AST to support annotations | Yann Herklotz | 2020-03-04 | 1 | -289/+305 |
| | | |||||
* | | Use lorri in .envrc | Yann Herklotz | 2020-03-04 | 1 | -1/+1 |
| | | |||||
* | | Upgrading packages to work with 8.2.2 | Yann Herklotz | 2020-03-04 | 2 | -16/+12 |
|/ | |||||
* | Fix spacing in the generated Verilog | Yann Herklotz | 2020-03-03 | 1 | -16/+20 |
| | |||||
* | Add case statement to the AST | Yann Herklotz | 2020-03-03 | 2 | -1/+41 |
| | |||||
* | Add contact information | Yann Herklotz | 2020-02-28 | 1 | -0/+3 |
| | |||||
* | Update adding info for commercial license | Yann Herklotz | 2020-02-28 | 2 | -1/+9 |
| | |||||
* | Add bib entry to readme and update results | Yann Herklotz | 2020-02-23 | 1 | -6/+26 |
| | |||||
* | Update license notices | Yann Herklotz | 2020-01-06 | 38 | -38/+38 |
| | |||||
* | Bump version | Yann Herklotz | 2020-01-06 | 1 | -2/+2 |
| | |||||
* | Update license to dual license GPLv3 | Yann Herklotz | 2020-01-06 | 40 | -68/+720 |
| | |||||
* | More changes to instructions | Yann Herklotz | 2020-01-01 | 2 | -21/+21 |
| |