sang

Results 3 issues of sang

Hello, I'am starting using CREST but as subject, I have a problem of "narrowing conversion" as follow >vagrant@vagrant:~/vagrant_data/tools/jburnim-crest-f5ff7fc/src$ make g++ -I. -I../../yices-1.0.40/include -Wall -O2 -c -o base/basic_types.o base/basic_types.cc base/basic_types.cc:96:1: error:...

Error existe in lastest version moto 4.0.8 Having this template : `{{#each items}} {{itemDesc}} {{/each}}` And our input : `{"items": [{"itemName": "item1", "itemDesc": "description 1"}]}` Moto will not find out...

enhancement

### Before reporting an issue - [X] I have read and understood the above terms for submitting issues, and I understand that my issue may be closed without action if...

kind/bug
area/import-export
status/triage
team/core-iam