Project

General

Profile

Activity

From 01/23/2014 to 02/21/2014

02/21/2014

05:34 PM Revision 3a9e1fe8 (lustrec): Manually corrected version of ex3. Should integrate the modifications
Pierre-Loïc Garoche
05:34 PM Revision 2b8eca7f (lustrec): Manually corrected version of ex3. Should integrate the modifications
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@148 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
05:11 PM Revision 40f8d0f9 (lustrec): Second (almost) working version
Pierre-Loïc Garoche
05:11 PM Revision f19eb2fd (lustrec): Second (almost) working version
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@147 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
04:39 PM Revision faa5e5c5 (lustrec): First (almost) working version
Pierre-Loïc Garoche
04:39 PM Revision 20e9de2d (lustrec): First (almost) working version
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@146 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
12:42 PM Revision fc7a01ce (lustrec): Ongoing ...
Pierre-Loïc Garoche
12:42 PM Revision 96babff4 (lustrec): Ongoing ...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@145 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
12:38 PM Revision 23bdf881 (lustrec): Ongoing ...
Pierre-Loïc Garoche
12:38 PM Revision 8605c4a4 (lustrec): Ongoing ...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@144 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
08:37 AM Revision 04a7df69 (lustrec): In the middle of the coding process. Just pushing thinks
Pierre-Loïc Garoche
08:37 AM Revision 7a19992d (lustrec): In the middle of the coding process. Just pushing thinks
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@143 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche

02/20/2014

06:45 AM Revision aa6b7d46 (lustrec): The missing file
Pierre-Loïc Garoche
06:45 AM Revision dcbf9d3a (lustrec): The missing file
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@142 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche

02/19/2014

05:02 PM Revision f6923c9e (lustrec): Initial copy of the horn output version. Not really working yet
Pierre-Loïc Garoche
05:02 PM Revision 3ee1012f (lustrec): Initial copy of the horn output version. Not really working yet
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@141 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche

02/05/2014

03:03 PM Revision 7bc15356 (lustrec): lego robot example
Pierre-Loïc Garoche
03:03 PM Revision 94fb84c3 (lustrec): lego robot example
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@140 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
 

Also available in: Atom