| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
Makefile 266 Bytes 525f9650 over 8 years Pierre-Loïc Garoche Updated list with new tests git-svn-id: https... 7.29 KB 66e25f0f over 6 years Xavier Thirioux ...
tests_ok.list 52.2 KB ec433d69 over 7 years Xavier Thirioux Major revision due to severe limitations and bu...
tests_ok_dev.list 1.11 KB 04a63d25 over 6 years Xavier Thirioux full merge of salsa/mpfr and master

Latest revisions

# Date Author Comment
717ed061 08/26/2016 03:24 PM Xavier Thirioux

File removed. It is now generated by configure

66e25f0f 08/06/2016 10:41 AM Xavier Thirioux


04a63d25 08/06/2016 10:29 AM Xavier Thirioux

full merge of salsa/mpfr and master

843bc20f 06/05/2015 11:01 PM Pierre-Loïc Garoche

Merge of last trunk commits
Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

14c56a07 04/08/2015 11:01 PM Xavier Thirioux

some tiny mistakes corrected...

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

ec433d69 04/08/2015 10:03 PM Xavier Thirioux

Major revision due to severe limitations and bugs of inlining capabilities:
- destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when loading lusic files created by an older compiler version
- inlining should now work with generic nodes and generic array library...

2bd3b8cd 04/08/2015 08:50 AM Pierre-Loïc Garoche

Prepare for tagging : Xia version 1.0

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

fc886259 04/03/2015 06:22 PM Xavier Thirioux

LOTS of bug correction wrt inlining, still a work in progress...
- global constants were not accounted for
- no good avoidance of name capture when inlining
- static parameters (array sizes and clocks) not handled
- ill-typed generated expressions, when inlining array expressions...

77a61575 04/01/2015 06:41 PM Xavier Thirioux

added some test files

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

3ca6d126 03/05/2015 11:48 PM Pierre-Loïc Garoche

Reactivated the generation of traceability information
Changed the test-compile to use the horn-traces and the horn-queries option

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

View revisions

Also available in: Atom