Bug/16 - Githubissues

UST-QuAntiL / nisq-analyzer

Analyzing implementations and finding suitable quantum computers dependent on the input data.

Apache License 2.0

6 stars 5 forks source link

Closed TimPhillip closed 4 years ago

TimPhillip commented 4 years ago

Use implementation's type information to create proper Prolog literals. Closes #16.

Match provided parameters to implementation definition in order to identify type
Use type information to create correctly typed Prolog literals during replacement phase
Works for string and integers (tested)

Fixes: #16