Commits · arc-1-2 · AltaRica Project / AltaRica Checker

Feb 23, 2009
- . regenerated files · fda5ef34
  point authored 16 years ago
  
  View commits for tag arc-1-2 arc-1-2
  
  fda5ef34
- check presence of the 'floor' function · 822c7f85
  point authored 16 years ago
  
  822c7f85
Feb 20, 2009
- . remove the generation of the _idle variable in the projected node. · 95bbe39f
  point authored 16 years ago
  
  View commits for tag cuba-start cuba-start
  
  95bbe39f
Feb 19, 2009
- bug fix: fix display of event poset · b121aeff
  point authored 16 years ago
  
  b121aeff
- bug fix: the projection on the root node used its flatten version instead of... · 9b2d923c
  point authored 16 years ago
  9b2d923c
- bug fix: in IS_LABELLED_WITH, the first arg (_t) was not used. · ab8b0f43
  point authored 16 years ago
  
  ab8b0f43
- . add accessor to size of the vector · 583ad083
  point authored 16 years ago
  
  583ad083
Feb 18, 2009
- bug fix: in s_interp_open_file, delete the string that store the file name before displaying it. · 8693489c
  point authored 16 years ago
  
  8693489c
- bug fix: bad reference counter handling when displaying the poset on events · 7b074dab
  point authored 16 years ago
  
  7b074dab
Feb 16, 2009
- bug fix: . generate bad comments · 7a96035a
  point authored 16 years ago
  
  7a96035a
Feb 13, 2009
- use EXIT_FAILURE instead of 1 for 'exit' calls · d6cd62e3
  point authored 16 years ago
  
  d6cd62e3
- minor error in documentation · 681532ac
  point authored 16 years ago
  
  681532ac
- bug fix: · 15f4424c
  point authored 16 years ago
  15f4424c
Feb 06, 2009
- bug fix: some quantified variables were not add to the correct context when ... · 941fa5dd
  point authored 16 years ago
  941fa5dd
- bug fix: make the backtracking stack empty when the simualtor is deleted. · 14003da9
  point authored 16 years ago
  
  14003da9
- fix the use of CCL proto types · 721ad9fd
  point authored 16 years ago
  
  721ad9fd
- "error" replaced by "warning" in message related to events without transition. · 48834510
  point authored 16 years ago
  
  48834510
Feb 03, 2009
- set FTP directory according to options · 9f0902e8
  point authored 16 years ago
  
  9f0902e8
- add --help option · 5bd475e8
  point authored 16 years ago
  
  5bd475e8
Jan 30, 2009
- add options to select stable or current version · 5950ca70
  point authored 16 years ago
  
  5950ca70
Jan 29, 2009
- regenerated files · f54e603c
  point authored 16 years ago
  
  f54e603c
- . complete infos for 1.2 release · 95be8eea
  point authored 16 years ago
  
  95be8eea
- . complete infos for 1.2 release · f8cacaa5
  point authored 16 years ago
  
  f8cacaa5
- complete installation notes · a40e3877
  point authored 16 years ago
  
  a40e3877
Jan 23, 2009
- . remove handling of command 'calls' as parameters · 707300b5
  point authored 16 years ago
  707300b5
- New feature: · c271fe32
  point authored 16 years ago
  c271fe32
- wrong behavior fixed: · 9e5f281c
  point authored 16 years ago
  9e5f281c
Jan 14, 2009
- bug fixed: in 'quot' display, error due to the use of identifiers of states... · de42f8d7
  point authored 16 years ago
  de42f8d7
Jan 13, 2009
- Bug fixed: · ed9e7324
  point authored 16 years ago
  ed9e7324
- New feature: · 76b61d64
  point authored 16 years ago
  76b61d64
Dec 16, 2008
- . autoconf files regenerated · eda0a795
  point authored 16 years ago
  
  eda0a795
- bugs fix: · 03446670
  point authored 16 years ago
  03446670
- . add a function that outputs a DD in DOT format. · b4f66850
  point authored 16 years ago
  b4f66850
- New feature: · 6c20808a
  point authored 16 years ago
  6c20808a
- . fix a little bug on occurrence of the epsilon event. · a8a66e16
  point authored 16 years ago
  
  a8a66e16
- . add an _idle (state) variable in nodes without any variable. · 05fc8534
  point authored 16 years ago
  
  05fc8534
- . add function that rename a signature. · 1d5e2882
  point authored 16 years ago
  
  1d5e2882
- . in ar_type_equals, we do not compare anymore bittable sizes. · 1ab71367
  point authored 16 years ago
  
  1ab71367
- . fix failure/success protocol of ARC commands · f3f43b0c
  point authored 16 years ago
  
  f3f43b0c
Nov 27, 2008
- . regenerated file · 7fe4e04a
  point authored 16 years ago
  
  7fe4e04a