aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'master' into dev/reducerdev/reducerYann Herklotz2020-05-136-1/+250
|\
| * Add distance function (#75)Yann Herklotz2020-05-096-49/+274
| | | | | | | | | | | | | | | | | | | | | | * Add distance function * Add distance measure for lists with testcases * Add more distance measures for AST * Add distance to commandline * Fix distance always giving 0
* | Fix generation of blocking assignmentYann Herklotz2020-05-131-45/+129
| |
* | Add for loops and events to reductionYann Herklotz2020-05-122-1/+36
| |
* | Add line count to reductionYann Herklotz2020-05-121-3/+5
| |
* | Remove single module instead of allYann Herklotz2020-05-121-25/+30
| |
* | Change order of types in ASTYann Herklotz2020-05-121-107/+107
| |
* | Add debug to reductionYann Herklotz2020-05-122-4/+14
| |
* | Format with ormoluYann Herklotz2020-05-1244-5032/+5683
| |
* | Tests passing for new reductionYann Herklotz2020-05-114-18/+37
| |
* | Fix types with annotationsYann Herklotz2020-05-1113-44/+51
| |
* | Add reduction annotationsYann Herklotz2020-05-111-92/+134
| |
* | Add proper annotation supportYann Herklotz2020-05-111-69/+119
|/
* Merge branch 'RCoeurjoly-master'Yann Herklotz2020-04-271-1/+1
|\
| * Ignore all dist foldersYann Herklotz2020-04-271-2/+1
| |
| * Ignore dist, which is created when running cabal run verismithRoland Coeurjoly2020-04-261-0/+1
|/
* Fix .gitignoredevelopYann Herklotz2020-04-251-7/+7
|
* Fix README wording for LICENSEYann Herklotz2020-04-221-2/+22
|
* Remove commercial restriction from this versionYann Herklotz2020-04-221-15/+3
|
* Add option to drop reg and wire from outputYann Herklotz2020-04-093-18/+74
|
* Remove shakespeare dependencyYann Herklotz2020-04-074-104/+103
|
* Remove unnecessary jobYann Herklotz2020-04-071-6/+0
|
* Remove statistic dependencyYann Herklotz2020-04-072-6/+9
|
* Remove DRBG dependencyYann Herklotz2020-04-074-33/+36
|
* Fix the test suiteYann Herklotz2020-04-072-36/+41
|
* Add annotations and make it compile againYann Herklotz2020-04-0711-31/+41
|
* Merge branch 'develop' of github.com:ymherklotz/verismith into developYann Herklotz2020-04-0629-226/+255
|\
| * WIP changes to the AST typesYann Herklotz2020-03-1623-224/+224
| |
| * Merge branch 'master' into developYann Herklotz2020-03-087-13/+43
| |\
| | * Update documentationYann Herklotz2020-03-071-1/+1
| | |
| | * Add caching for cabal to travisYann Herklotz2020-03-071-0/+4
| | |
| | * Fix formatting of buildYann Herklotz2020-03-071-1/+1
| | |
| | * Add not conditionYann Herklotz2020-03-071-3/+2
| | |
| | * Update build script to run in bashYann Herklotz2020-03-072-2/+2
| | |
| | * Fix travis build and .envrcYann Herklotz2020-03-072-2/+9
| | |
| | * New travis buildYann Herklotz2020-03-062-0/+22
| | |
| | * Bump version to stable 1.0.0.2Yann Herklotz2020-03-061-1/+1
| | |
| | * Change setup for default buildYann Herklotz2020-03-061-2/+2
| | |
| | * Merge branch 'master' of github.com:ymherklotz/verismithYann Herklotz2020-03-060-0/+0
| | |\
| | | * Merge pull request #70 from ymherklotz/feature/update-dependenciesYann Herklotz2020-03-062-13/+13
| | | |\ | | | | | | | | | | Upgrading packages to work with 8.2.2
| | * | | Change build to simpleYann Herklotz2020-03-061-8/+2
| | | |/ | | |/|
| | * | Upgrading packages to work with 8.2.2feature/update-dependenciesYann Herklotz2020-03-062-13/+13
| | |/
* | / Add cachix to travis buildYann Herklotz2020-04-061-3/+8
|/ /
* | Changes to AST to support annotationsYann Herklotz2020-03-041-289/+305
| |
* | Use lorri in .envrcYann Herklotz2020-03-041-1/+1
| |
* | Upgrading packages to work with 8.2.2Yann Herklotz2020-03-042-16/+12
|/
* Fix spacing in the generated VerilogYann Herklotz2020-03-031-16/+20
|
* Add case statement to the ASTYann Herklotz2020-03-032-1/+41
|
* Add contact informationYann Herklotz2020-02-281-0/+3
|
* Update adding info for commercial licenseYann Herklotz2020-02-282-1/+9
|
generated by cgit (git 2.34.1) at 2024-05-11 06:25:37 +0000