This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:notes:magik3-meeting-minutes [2013/05/28 14:53] alex [21/05/2013] |
magik-demo:developer:notes:magik3-meeting-minutes [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 69: | Line 69: | ||
| Attendees: Alex, Ognjen | Attendees: Alex, Ognjen | ||
| - | Topic: Introducing double quotes in the encoding of DLV **Finished in 28 May** | + | Topic: Introducing double quotes in the encoding of DLV (**Ended in 28 May**) |
| * Replace constants in SQL (unders single quotes) into double quotes in the CQ version of that query | * Replace constants in SQL (unders single quotes) into double quotes in the CQ version of that query | ||
| * Introduce single quotes constants into TC-statements. Then when they are parsed single quotes are replaced with the double quotes | * Introduce single quotes constants into TC-statements. Then when they are parsed single quotes are replaced with the double quotes | ||
| * Approach: First test within the JUnit and then implement it in the code | * Approach: First test within the JUnit and then implement it in the code | ||
| + | |||
| + | Topic: Generalization algorithm | ||
| + | |||