Commits · prestaf-1-4 · taf / Talence Presburger Arithmetic Suite · GitLab

Snippets Groups Projects

Dec 06, 2007
- update package version · 8e70e41f
  point authored 17 years ago
  
  View commits for tag prestaf-1-4 prestaf-1-4
  
  8e70e41f
Nov 16, 2007
- . enforce variables to be taken in naturals. · 28686291
  point authored 17 years ago
  
  28686291
- . catch exceptions raised by armoise. · 018c8628
  point authored 17 years ago
  
  018c8628
Nov 09, 2007
- . remove useless code · e3a13d64
  point authored 17 years ago
  
  e3a13d64
- . display_all_solutions now displays two additional comments; the first one... · 8004b78d
  point authored 17 years ago
  8004b78d
Oct 16, 2007
- join withj armoise_integration branch · c86096d4
  point authored 17 years ago
  
  c86096d4
- Join with the armloise_integration branch. · 9ea55548
  point authored 17 years ago
  9ea55548
Aug 21, 2007
- new test · 19e5d681
  point authored 17 years ago
  
  19e5d681
Aug 10, 2007
- . some changes... but which ones ? It was a long time ago in the Galaxy of Batof. · bd199980
  point authored 17 years ago
  
  bd199980
Aug 09, 2007
- . add the preorder method · 7445b3ea
  point authored 17 years ago
  
  7445b3ea
Jun 28, 2007
- . display the number of nodes of the synthetized formula and the number of... · 80f11db9
  point authored 18 years ago
  80f11db9
- . new function replacing free variables by a linear transformation · 1bc94820
  point authored 18 years ago
  
  1bc94820
Jun 26, 2007
- . when CCL_ENABLE_ASSERTIONS is set to 1, check that the generated formula... · 3e119138
  point authored 18 years ago
  3e119138
- . fix a little bug in the case of the automaton encoding all words. · 41005967
  point authored 18 years ago
  
  41005967
- . handle trivial cases where the set is nothing or anything. · ba261477
  point authored 18 years ago
  
  ba261477
- . add an optional semi-colon at the end of formulas · bd0db318
  point authored 18 years ago
  
  bd0db318
- . tackle the case where a non-trivial SCC encode the vector 0^m. · 0148c3d7
  point authored 18 years ago
  0148c3d7
Jun 25, 2007
- . prestaf_X_display functions now take a ccl_log_type argument. · c412a618
  point authored 18 years ago
  
  c412a618
- . btf_msa_to_formula now uses an array of const char * instead of array of ccl_ustring · c715f425
  point authored 18 years ago
  
  c715f425
- . the computation of terminal untransient components now returns only one exemplar of each SCC. · f345d84c
  point authored 18 years ago
  
  f345d84c
- . the EA to VSP algorithm now returns the state and VSP stored in the cache. · eb6f0c13
  point authored 18 years ago
  
  eb6f0c13
- . implement the display_all_solutions of the plugin using the formula synthetiser. · 80242a13
  point authored 18 years ago
  
  80242a13
Jun 21, 2007
- . fix several memory leaks · 207aadfb
  point authored 18 years ago
  
  207aadfb
- . fix a memory leak · 0429b06e
  point authored 18 years ago
  
  0429b06e
Jun 20, 2007
- . new functions · b650f176
  point authored 18 years ago
  
  b650f176
- . add xor operator and Boolean constants · ede8365f
  point authored 18 years ago
  
  ede8365f
- . add new files · bfbf093f
  point authored 18 years ago
  
  bfbf093f
- . change an option name · d263c9e8
  point authored 18 years ago
  
  d263c9e8
- . formula synthetiser... to be completed · 416d6f47
  point authored 18 years ago
  
  416d6f47
- . typo · 3269682c
  point authored 18 years ago
  
  3269682c
- . add misc. functions · 30498861
  point authored 18 years ago
  
  30498861
- . add missing deletion of the X matrix · d043732a
  point authored 18 years ago
  
  d043732a
- . btf_compute_patterns returns the X matrix generated by the SNF of the invariant group. · 68a618aa
  point authored 18 years ago
  
  68a618aa
- . change the is_untransient predicate in order to take care of the unfolding of MSAs. · 7dd913ee
  point authored 18 years ago
  
  7dd913ee
- . add btf_vsp_to_alphas · b0c9d4b3
  point authored 18 years ago
  
  b0c9d4b3
- . fix a missing initialization in the partition construction · aa560f0b
  point authored 18 years ago
  
  aa560f0b
- . move the function computing alpha vectors into batof-vsp.c · 1b657ff7
  point authored 18 years ago
  1b657ff7
- . compute n and n0 in separate functions · cf9f56ff
  point authored 18 years ago
  
  cf9f56ff
- . change gamma function allowing to use the same vector as result and operand · 2ba59fb4
  point authored 18 years ago
  
  2ba59fb4
- . add a MAO changing the acceptance condition of a MSA · f015b6f8
  point authored 18 years ago
  
  f015b6f8