Project

General

Profile

Activity

From 01/28/2014 to 02/26/2014

02/26/2014

03:37 PM Revision 06fa8b5e (lustrec): better error message for tuple type mismatch
Xavier Thirioux
03:37 PM Revision 1577dc7e (lustrec): better error message for tuple type mismatch
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@161 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:37 PM Revision fbda2f96 (lustrec): again, debugged tuple subtyping
Xavier Thirioux
02:37 PM Revision 11242500 (lustrec): again, debugged tuple subtyping
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@160 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:04 PM Revision 45ca90f5 (lustrec): removed debug printing
Xavier Thirioux
02:04 PM Revision 17249d2e (lustrec): removed debug printing
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@159 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:02 PM Revision 1cb216b4 (lustrec): corrected wrong subtyping rule for tuple assignment
Xavier Thirioux
02:02 PM Revision 9b5969d4 (lustrec): corrected wrong subtyping rule for tuple assignment
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@158 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
01:42 PM Revision b580c8f8 (lustrec): added subtyping in equations (rhs may be a subtype of lhs)
Xavier Thirioux
01:42 PM Revision 4a840259 (lustrec): added subtyping in equations (rhs may be a subtype of lhs)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@157 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
07:48 AM Revision b8ae1bbc (lustrec): Improvements as suggested by e. Noulard: better install of include; ...
Pierre-Loïc Garoche
07:48 AM Revision 71513f0e (lustrec): Improvements as suggested by e. Noulard: better install of include; ...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@156 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

02/24/2014

04:47 PM Revision f1da5111 (lustrec): Updated version of test script: timeout for z3
Pierre-Loïc Garoche
04:47 PM Revision aea225b9 (lustrec): Updated version of test script: timeout for z3
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@155 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
04:26 PM Revision 9334747d (lustrec): Fixed bug on the main part
Pierre-Loïc Garoche
04:26 PM Revision 4be0d54a (lustrec): Fixed bug on the main part
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@154 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
11:48 AM Revision 433b1e6b (lustrec): Cleaning useless files
Pierre-Loïc Garoche
11:48 AM Revision 1f674c15 (lustrec): Cleaning useless files
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@153 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
11:47 AM Revision 3e209698 (lustrec): First fully working version of horn backend.
Has to be called with "-horn -node main_node"
The test script compute the smt2 file and calls z3 on them.
Pierre-Loïc Garoche
11:47 AM Revision cd6efd9b (lustrec): First fully working version of horn backend.
Has to be called with "-horn -node main_node"
The test script compute the smt2 file and calls z3 on them.
git-svn-...
Pierre-Loïc Garoche
11:25 AM Revision 3a60ec17 (lustrec): ...
Pierre-Loïc Garoche
11:25 AM Revision 9cab57c9 (lustrec): ...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@151 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
10:50 AM Revision 4f3cc9f3 (lustrec): Is it working?
Pierre-Loïc Garoche
10:50 AM Revision 2f44a4cc (lustrec): Is it working?
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@150 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche
09:46 AM Revision c0003810 (lustrec): Working on bugs
Pierre-Loïc Garoche
09:46 AM Revision c76f1d66 (lustrec): Working on bugs
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/horn_encoding@149 041b043f-8d7c-46b2-b46e... Pierre-Loïc Garoche

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