[cfe-dev] [GSoC] Proposal draft

[Réka Nikolett Kovács via cfe-dev]

Hi George and Artem,

Thanks for all your valuable comments!
I'll try to address all of them in a couple of hours.

Réka



2018-03-25 22:26 GMT+02:00 George Karpenkov <ekarpenkov at apple.com>:

> Hi Réka,
>
> Great! I think it would be beneficial to add an example where the
> “complex” constraint is dropped before even being added to the environment,
> and add a stretch goal of fixing those (e.g. by unifying a place where the
> constraints are dropped, and adding a flag guarding that).
>
> George
>
>
> On Mar 24, 2018, at 1:52 PM, Réka Nikolett Kovács <rekanikolett at gmail.com>
> wrote:
>
> Hi,
>
> I'd like to add my own version of a Z3 integration proposal draft:
>
> https://docs.google.com/document/d/1Qpw_rQ8-JFJJtqyJz8YBqui-
> FNcBgJJvpLBvPcCzHV4/edit?usp=sharing
>
> Any feedback would be much appreciated.
>
> Thanks,
> Réka
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180326/d8c12e34/attachment.html>