-
Notifications
You must be signed in to change notification settings - Fork 2
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
work out why host validation on sqrt fails (float128)
bugSomething isn't workingSomething isn't workingStatus: Open.#24 In florianschanda/fp_test_generator;work out why min/max host validation fails
bugSomething isn't workingSomething isn't workingStatus: Open.#23 In florianschanda/fp_test_generator;- Status: Open.#21 In florianschanda/fp_test_generator;
- Status: Open.#20 In florianschanda/fp_test_generator;
- Status: Open.#19 In florianschanda/fp_test_generator;
- Status: Open.#18 In florianschanda/fp_test_generator;
- Status: Open.#17 In florianschanda/fp_test_generator;
- Status: Open.#16 In florianschanda/fp_test_generator;
new tests: float -> int
extended semanticsInvolves operations beyond the ones specified in BTRW'15Involves operations beyond the ones specified in BTRW'15new testsNew generatorsNew generatorsStatus: Open.new tests: float -> real
new testsNew generatorsNew generatorsStatus: Open.new tests: float -> bitvector
new testsNew generatorsNew generatorsStatus: Open.new tests: int -> float
extended semanticsInvolves operations beyond the ones specified in BTRW'15Involves operations beyond the ones specified in BTRW'15new testsNew generatorsNew generatorsStatus: Open.