"apps/tutorials/git@i10git.cs.fau.de:rahil.doshi/walberla.git" did not exist on "3a09f7b17ce244123214ed2675a54896786233d9"
WIP: Add assumptions based on cast_func.args[0]
This enables cast_func(1.f, create_type('double')).positive == True
Edited by Stephan Seitz
Merge request reports
Activity
added 21 commits
-
5e45e631...e1b452f7 - 20 commits from branch
pycodegen:master
- a8535645 - Add assumptions based on cast_func.args[0]
-
5e45e631...e1b452f7 - 20 commits from branch
added 10 commits
-
a8535645...296de5db - 9 commits from branch
pycodegen:master
- c1707ef3 - Add assumptions based on cast_func.args[0]
-
a8535645...296de5db - 9 commits from branch
The #20 (closed) introduces profound changes in the type system, so this WIP won't be mergeable.
Please register or sign in to reply