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

Mar 14, 2011
- minor bug in arc-handbook · b0e7c8f0
  Point Gerald authored 14 years ago
  
  View commits for tag arc-1-4 arc-1-4
  
  b0e7c8f0
- enforce ccl branch for arc 1.4 · 2d061505
  Point Gerald authored 14 years ago
  
  2d061505
- check presence of makeinfo and display messages if command-line help · 6a2088d3
  Point Gerald authored 14 years ago
  
  cannot be generated.
  6a2088d3
- add texinfo requirement · 89566182
  Point Gerald authored 14 years ago
  
  89566182
- add new commands 'attribute' and 'events' · 8a56a303
  Point Gerald authored 14 years ago
  
  8a56a303
- add list of commands into help. · 57058603
  Point Gerald authored 14 years ago
  
  57058603
- handbook continued with AS. · 473ef797
  Point Gerald authored 14 years ago
  
  473ef797
Mar 11, 2011
- new test cases · ac3698ab
  Point Gerald authored 14 years ago
  
  ac3698ab
- fix float outputs · d76917c9
  Point Gerald authored 14 years ago
  
  d76917c9
- add a trick to glue some event variables to corresponding state variables. · 8adf7cdb
  Point Gerald authored 14 years ago
  
  8adf7cdb
- remove _idle identifiers from validate results. · f5d4161c
  Point Gerald authored 14 years ago
  
  f5d4161c
- add lamport test cases. · 4a7ecfee
  Point Gerald authored 14 years ago
  
  4a7ecfee
- fix display of cardinalities · e74845f7
  Point Gerald authored 14 years ago
  
  e74845f7
- update handbook · fcab14da
  Point Gerald authored 14 years ago
  
  fcab14da
Mar 04, 2011
- in s_check_fd_from_syntax check if new assertions are safisfiable or not · b83ce601
  Point Gerald authored 14 years ago
  
  before adding them.
  b83ce601
- add -N to ldconfig to disable rebuild of ld cache. · e9f94b5f
  Point Gerald authored 14 years ago
  
  e9f94b5f
- fix generation of banner and others files. · f5e74804
  Point Gerald authored 14 years ago
  
  f5e74804
Mar 02, 2011
- remove erroneous @ in macro definitions · 1c5befb4
  Point Gerald authored 14 years ago
  
  1c5befb4
Feb 28, 2011
- fix display of large relations · d0492da8
  Point Gerald authored 14 years ago
  
  d0492da8
- add debug traces · 5250a0c1
  Point Gerald authored 14 years ago
  
  5250a0c1
- fix problem with distrib generation · 747d46cd
  Point Gerald authored 14 years ago
  
  747d46cd
Feb 25, 2011
- reorder init procedures. · 291d02be
  Point Gerald authored 14 years ago
  
  291d02be
- change errors into warnings. · ae37daf2
  Point Gerald authored 14 years ago
  
  ae37daf2
- change error messages related to collision in help pages by a warning. · e3828771
  Point Gerald authored 14 years ago
  
  e3828771
- add tests for 'store' command · 0cc52378
  Point Gerald authored 14 years ago
  
  0cc52378
Feb 24, 2011
- regenerated file · 4cc48b68
  Point Gerald authored 14 years ago
  
  4cc48b68
- document acheck.nrtest-failure-aborts · 1e57d41a
  Point Gerald authored 14 years ago
  
  1e57d41a
- change calculation of functional dependencies. · 33c5cdbe
  Point Gerald authored 14 years ago
  
  33c5cdbe
- bug fix in parsing of options · bd9254d4
  Point Gerald authored 14 years ago
  
  bd9254d4
- add option to obfuscate command that permits to get translation tables · cd95d74d
  Point Gerald authored 14 years ago
  
  for both ways.
  cd95d74d
- add new tests for projection, sequences and performances. · 0814e88e
  Point Gerald authored 14 years ago
  
  0814e88e
Feb 23, 2011
- add acheck.nrtest-failure.aborts preference that terminates the program · 08b40aea
  Point Gerald authored 14 years ago
  
  when nrtest command fails.
  08b40aea
- fix test suite due to changes in some commands · 4338b519
  Point Gerald authored 14 years ago
  
  4338b519
- add a common prefix to error messages. · 0f546231
  Point Gerald authored 14 years ago
  
  0f546231
Feb 22, 2011
- update doc · 48628fdb
  Point Gerald authored 14 years ago
  
  48628fdb
- when displaying aralia formulas, label nodes with integer in place of their · 0bad9a91
  Point Gerald authored 14 years ago
  
  address.
  0bad9a91
- . ca now takes only one argument. · 7e444e81
  Point Gerald authored 14 years ago
  
  . -mec is changed into --mec
  7e444e81
- . update documentation · e48f20b5
  Point Gerald authored 14 years ago
  
  . abort program also when an error occurs in parameter. .
  e48f20b5
- update documentation · 9735c7f5
  Point Gerald authored 14 years ago
  
  9735c7f5
- . do not generate epsilon info into dumped translation-table. · 4134b81a
  Point Gerald authored 14 years ago
  
  4134b81a