Skype Meeting 17052016 » History » Version 2
Antti Hyvärinen, 17/05/2016 18:15
| 1 | 1 | Antti Hyvärinen | h1. Skype meeting 2016-05-17 |
|---|---|---|---|
| 2 | 2 | Antti Hyvärinen | |
| 3 | 1 | Antti Hyvärinen | Updates from last meeting: |
| 4 | 1 | Antti Hyvärinen | - OpenSMT2 can now be compiled as a shared object library |
| 5 | 1 | Antti Hyvärinen | - FunFrog has a git repository |
| 6 | 1 | Antti Hyvärinen | - The repository includes the version history from svn |
| 7 | 1 | Antti Hyvärinen | |
| 8 | 1 | Antti Hyvärinen | Things we agreed to do this week: |
| 9 | 1 | Antti Hyvärinen | - Antti will make a git repository for OpenSMT2 |
| 10 | 1 | Antti Hyvärinen | - Antti and Leo will make sure that interpolation will be available in OpenSMT2 as a library |
| 11 | 1 | Antti Hyvärinen | - The API for interpolation should look more or less like the one for PeRIPLO in what comes to propositional interpolation (unless there's a reason to change it) |
| 12 | 1 | Antti Hyvärinen | - The encoding will be worked on separately without the need of integration to OpenSMT2 by Karine |
| 13 | 1 | Antti Hyvärinen | - Grisha will check compiling OpenSMT2 without the interpolation to the extent that it is reasonable |
| 14 | 1 | Antti Hyvärinen | - Regression tests run for the old FunFrog+PeRIPLO combination is not critical to fix right now |
| 15 | 1 | Antti Hyvärinen | - it will be important to have these running later |
| 16 | 1 | Antti Hyvärinen | - Matteo will have ideas on how to enable seamless parallelisation with FunFrog. This could be a longer-term goal |
| 17 | 1 | Antti Hyvärinen | - We'll work more on Grisha's example of parallelising model-checking. |
| 18 | 1 | Antti Hyvärinen | |
| 19 | 1 | Antti Hyvärinen | Next meeting will be next Tuesday, May 24, at 17.00 CET. |