Commits · 5b8211121415eec530cef020a82aaba55c8cf2d2 · taf / Talence Presburger Arithmetic Suite

Oct 04, 2005
- fix bug in function prestaf_predicate_display_vectors · 5b821112
  point authored 19 years ago
  
  View commits for tag prestaf-1-1 prestaf-1-1
  
  5b821112
Sep 30, 2005
- new test-case and reformatting files · fd9cafd7
  point authored 19 years ago
  
  fd9cafd7
- add installation instructions · 09cbdbee
  point authored 19 years ago
  
  09cbdbee
Sep 27, 2005
- add doc archive target · bfc4cb33
  point authored 19 years ago
  
  View commits for tag prestaf-1-0 prestaf-1-0
  
  bfc4cb33
- postpone dynamic library handling · 24fd8b32
  point authored 19 years ago
  
  24fd8b32
- remove redundant and not portable -o option for yacc invocations · 808d7d15
  point authored 19 years ago
  
  808d7d15
- fix 'if ! ...' portability problem · aef5ee48
  point authored 19 years ago
  
  aef5ee48
- replace the -e option of /bin/test by the more portable -d · 1b6d3824
  point authored 19 years ago
  
  1b6d3824
- add undefined function to shared_libs_flags test · 8e7d55a1
  point authored 19 years ago
  
  8e7d55a1
- check shared libs flags · 2fd77dfc
  point authored 19 years ago
  
  2fd77dfc
Sep 26, 2005
- change distrib names · c3cbcd98
  point authored 19 years ago
  
  c3cbcd98
- add make-distrib option · 4c6f62fc
  point authored 19 years ago
  
  4c6f62fc
- Initial revision · 54e75990
  point authored 19 years ago
  
  54e75990