Merge requests · xsmith

Avoid compiling cish

xsmith!21 · created Sep 03, 2023 by Sorawee Porncharoenwase
- Merged
- Approved
updated Sep 04, 2023
Enable ctrl-c during ctrl-c handling and improve error logging

xsmith!20 · created Aug 25, 2022 by Sorawee Porncharoenwase
- Merged
updated Sep 01, 2022
make ctrl-c working with s-exp-on-error

xsmith!19 · created Aug 29, 2021 by Sorawee Porncharoenwase
- Merged
updated Aug 30, 2021
doc: split to multiple pages

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

xsmith!16 · created Aug 04, 2021 by Sorawee Porncharoenwase
- Merged
- 1
updated Aug 04, 2021
add missing newline

xsmith!15 · created Aug 01, 2021 by Sorawee Porncharoenwase
- Merged
updated Aug 01, 2021
bug fix: #f should mean not generate.

xsmith!14 · 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
refactor: better codegen

xsmith!12 · created Jul 28, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 29, 2021
doc: these should be comment

xsmith!9 · 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
doc: add undocumented Numbers option

xsmith!10 · created Jul 26, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 28, 2021
make concretize-type usable during printing

xsmith!8 · created Jul 21, 2021 by Sorawee Porncharoenwase
- Merged
- 1
updated Jul 21, 2021
change match's else to _

xsmith!7 · created Jul 19, 2021 by Sorawee Porncharoenwase
- Merged
- 1
updated Jul 20, 2021
doc improvement

xsmith!6 · created Jul 18, 2021 by Sorawee Porncharoenwase
- Merged
updated Jul 19, 2021
Fix print-choice-log option

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

harness!2 · created Mar 08, 2021 by Guy Watson
- Merged
- 10
- Approved
updated Mar 08, 2021
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
Fix various issues

webassembly-sandbox!1 · created Jul 20, 2020 by Guy Watson reference-experiment
- Merged
updated Jul 22, 2020
Merge Clotho changes/dependency into `master`

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