⚲
Project
General
Profile
Sign in
Register (only for users w/o CAMPUS or NetID)
Home
Projects
Help
Search
:
hifrog
All Projects
hifrog
Overview
Activity
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Repository
Wiki
Start page
Index by title
Index by date
History
Wiki
ยป
Skype Meeting 24-05-2016
¶
Current Tasks:
LRA Interpolation
OpenSMT2 merge
Benchmarks on Git
SSA -> SMT - Finish the structure for Decl. part
Milestone I
Remove non-linearity from funfrog
Future Tasks:
Search+uploading Benchmarks to Git
Funfrog + Parallelizm
EUF with Predicats (True/False P(x))
Example of its use (as was on the Skype meeting)
P( x )
P( y )
P( x ) := (x*x)
x = y
P( x ) = P( y )
P( x ) := (x * x > 3)
P( x ) == false
P( z )
P( z ) != P( y )
P( z ) != P( x )
Files (0)
Loading...