[cfe-dev] [GSoC] Proposal draft

[George Karpenkov via cfe-dev]

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 <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/20180325/6659391e/attachment.html>