Skip to content

Fixing variant rapidcheck#4

Merged
lockshaw merged 2 commits intolockshaw:dtgenfrom
yingyee0111:dtgen
May 25, 2024
Merged

Fixing variant rapidcheck#4
lockshaw merged 2 commits intolockshaw:dtgenfrom
yingyee0111:dtgen

Conversation

@yingyee0111
Copy link
Collaborator

Change cast to construct

@lockshaw lockshaw merged commit b83e54a into lockshaw:dtgen May 25, 2024
lockshaw added a commit that referenced this pull request Jun 3, 2024
* Add basic dtgen implementation

* Add some basic e2e tests

* Add rapidcheck support

* Add fmt

* Auto-run dtgen on build, test, and cmake

* Update cpp snippets with new config module name

* Change to actually correct module name

* Add support for empty types

* Add more helpful error message in load_spec

* Blacklist build from format

* Add better error message for spec parsing failure

* Add format string specifier

* Add enum support

* Add missing __init__.py file

* Add variant generation

* Modify output filename

* Fix modified filenames

* Add out-of-date file detection

* Add ability to remove outdated files

* Add fmt feature for variants

* Fix missing return in variant format_as

* Add option to make constructors implicit

* Try alternate visit implementation

* Add additional fmt include to source code

* Also add to struct rendering

* Remove automatic utils/fmt.h inclusion

* Add linting command

* Add incremental generation

* Add missing dependency

* Add verbosity configuration

* Fix bug in test suite

* Fix build command in test project

* Make verbosity level more clear

* Fix incremental dtgen, simplify logging output

* Implement rapidcheck for variant spec (#3)

* adding rapidcheck for variant

* fixing rapidcheck for variant

* variant test

---------

Co-authored-by: Rae Wong <raewong@sapling2.stanford.edu>

* variant rapidcheck (#4)

Co-authored-by: Rae Wong <raewong@sapling2.stanford.edu>

* Fix falling back to curl to install clang-format (#5)

---------

Co-authored-by: Colin Unger <lockshaw@lockshaw.net>
Co-authored-by: Rae Wong <raewong@sapling2.stanford.edu>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants