Merge requests · xsmith

Printing redux

xsmith!1 · created Oct 22, 2019 by Pierce Darragh
- Merged
updated Oct 22, 2019
Refiner merge

xsmith!2 · created Dec 16, 2019 by Pierce Darragh
- Merged
- 2
updated Dec 17, 2019
Update refiners with whole-node replacement

xsmith!3 · created Jan 28, 2020 by Pierce Darragh
- Merged
updated Jan 28, 2020
Merge Clotho changes/dependency into `master`

xsmith!4 · created Jul 01, 2020 by Pierce Darragh
- Merged
updated Jul 01, 2020
Fix various issues

webassembly-sandbox!1 · created Jul 20, 2020 by Guy Watson reference-experiment
- Merged
updated Jul 22, 2020
Transfer harness repo from local to remote, not by git clone

harness!1 · created Mar 03, 2021 by Guy Watson
- Merged
updated Mar 03, 2021
Issue 11

harness!2 · created Mar 08, 2021 by Guy Watson
- Merged
- 10
- Approved
updated Mar 08, 2021
Fix print-choice-log option

xsmith!5 · created Jul 17, 2021 by Sorawee Porncharoenwase
- Merged
- 1
updated Jul 18, 2021
doc improvement

xsmith!6 · created Jul 18, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 19, 2021
change match's else to _

xsmith!7 · created Jul 19, 2021 by Sorawee Porncharoenwase
- Merged
- 1
updated Jul 20, 2021
make concretize-type usable during printing

xsmith!8 · created Jul 21, 2021 by Sorawee Porncharoenwase
- Merged
- 1
updated Jul 21, 2021
doc: these should be comment

xsmith!9 · created Jul 26, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 28, 2021
doc: add undocumented Numbers option

xsmith!10 · created Jul 26, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 28, 2021
feat: better name validation

xsmith!11 · created Jul 27, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 28, 2021
refactor: better codegen

xsmith!12 · created Jul 28, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 29, 2021
bug fix: ProgWithSeq should imply ExprSeq

xsmith!13 · created Jul 28, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 29, 2021
bug fix: #f should mean not generate.

xsmith!14 · created Jul 28, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 29, 2021
add missing newline

xsmith!15 · created Aug 01, 2021 by Sorawee Porncharoenwase
- Merged
updated Aug 01, 2021
feat: make various magic constants adjustable

xsmith!16 · created Aug 04, 2021 by Sorawee Porncharoenwase
- Merged
- 1
updated Aug 04, 2021
doc: split to multiple pages

xsmith!17 · created Aug 04, 2021 by Sorawee Porncharoenwase
- Merged
updated Aug 09, 2021