aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Tool/Icarus.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add new simulation for EMIYann Herklotz2021-05-191-4/+63
|
* Format with ormoluYann Herklotz2020-05-121-153/+193
|
* Fix types with annotationsYann Herklotz2020-05-111-4/+5
|
* WIP changes to the AST typesYann Herklotz2020-03-161-9/+9
|
* Update license noticesYann Herklotz2020-01-061-1/+1
|
* Update license to dual license GPLv3Yann Herklotz2020-01-061-1/+1
|
* Add delay to finishYann Herklotz2019-11-141-1/+1
|
* Add reduction for simulation failuresYann Herklotz2019-11-121-46/+66
|
* Add data-file installation pathYann Herklotz2019-10-291-4/+7
| | | | | This removes the need to recursively copy the data directory which will also save on space.
* Rename Sim to ToolYann Herklotz2019-10-181-0/+188