topazas

How hard could it be to train other European language(-s)?

Right, but let's assume we have really simple crud application in mainstream language, could be ts or python. What are current best approaches to have this semi-formally verified, tools, methods, etc?

In Europe still struggle.

Title misleading - not CODE, just python.

No name scientists will create an actual product. Plain funny or just sad?...

Awesome, but what does 1'' mean? Some weird measurement unit?

I would like to - but unable to find any libraries / engines that would function in a some sort of 'mocked' environment. for example - i need to cover all execution paths for only single function with high cyclomatic complexity, given all other stuff is mocked. Maybe it would be called unit test mix with se. also for dynamic languages such as php/python/ruby.

maybe symbolic execution also can be included here?

same to me - sad story every day..

Any open source alternatives?

can this be used with large graphs, or particularly tree structures?

Awesome! Will try without a doubt.

Do You have any plan, when the on premise tool will be publicly available on github?

Thank You for guidelines. In popup there is simple site usage information, so there's no need to be worried.

Hi,

our startup created platform for searching new apartments in Vilnius/Europe. It works like global 3D map with indoor maps for apartments.

Any feedback would be nice. Thank You.