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

12 Dec, 2018 2 commits
- fix a warning. · b10fe60b
  Point Gerald authored Dec 11, 2018
  
  b10fe60b
- fix a circular dependency for pages.texi. · 2fd1ca06
  Point Gerald authored Dec 11, 2018
  
  2fd1ca06
11 Dec, 2018 2 commits
- upgrade release version · 45bf3e9a
  Point Gerald authored Dec 10, 2018
  
  45bf3e9a
- fix bug in distribution of altarica-source sources. · 1b864806
  Point Gerald authored Dec 10, 2018
  
  1b864806
10 Dec, 2018 1 commit
- update copyright year · 3715b208
  Point Gerald authored Dec 10, 2018
  
  3715b208
19 Dec, 2017 1 commit
- fix parsing of large integers. · 9945d939
  Point Gerald authored Dec 19, 2017
  
  9945d939
15 Dec, 2017 2 commits
- update test suite · b398917c
  Point Gerald authored Dec 15, 2017
  
  b398917c
- update test case. · ab200108
  Point Gerald authored Dec 15, 2017
```
# Conflicts:
#	tests/ctlstar/expected-wc-00.out
#	tests/ctlstar/expected-wc-07.out
#	tests/ctlstar/wc-07.ctl
```
  ab200108
14 Dec, 2017 1 commit
- fix missing refcount incrementation (bug report by A. Griffault). · c3e70fc8
  Point Gerald authored Dec 14, 2017
  
  c3e70fc8
11 Aug, 2017 3 commits
- fix the setting of parameters as constraint instead of initial assignment. · 6992f329
  Point Gerald authored Aug 11, 2017
```
# Conflicts:
#	tests/altarica/rr-local-parameters.out-expected
#	tests/altarica/rr-node-io.out-expected
```
  6992f329
- update tests · 0359fb4a
  Point Gerald authored Aug 11, 2017
```
# Conflicts:
#	tests/altarica/rr-local-parameters.out-expected
#	tests/altarica/rr-node-io.out-expected
```
  0359fb4a
- fix creation of Boolean constant in ar_expr_crt_constant · 640c2253
  Point Gerald authored Aug 11, 2017
  
  640c2253
05 Jul, 2017 2 commits
- new test · 259f7fdd
  Point Gerald authored Jul 05, 2017
  
  259f7fdd
- fix bug in FD construction for singleton variables. · c42d8fdd
  Point Gerald authored Jul 05, 2017
  
  c42d8fdd
20 Jun, 2017 1 commit
- fix test output · fcafa0b9
  Point Gerald authored Jun 20, 2017
  
  fcafa0b9
14 Jun, 2017 1 commit
- fix output of graph attributes. · 615402e2
  Point Gerald authored Jun 14, 2017
  
  615402e2
15 May, 2017 1 commit
- Fix type (thx to M. Machin). · 4de7a3a2
  Point Gerald authored May 15, 2017
  
  4de7a3a2
03 May, 2017 4 commits
- update · df8ba5ef
  Point Gerald authored May 03, 2017
  
  df8ba5ef
- add new test for last bug fix. · b516fcd1
  Point Gerald authored May 03, 2017
  
  b516fcd1
- add simplification rules for arithmetic creators and call them in · 54fb47c3
  Point Gerald authored May 03, 2017
```
replace_with_table.
```
  54fb47c3
- ar_ca_expr_simplify is available only for Boolean expr. · febe7cf5
  Point Gerald authored May 03, 2017
  
  febe7cf5
28 Apr, 2017 4 commits
- dot(S,T) does not start its from initial configuration but enumerate S. · d5a8b684
  Point Gerald authored Apr 12, 2017
  
  d5a8b684
- check the size of array when reading array-expr · e1defe17
  Point Gerald authored Apr 12, 2017
  
  e1defe17
- prepare arc 1.6.1 · 8026c2bf
  Point Gerald authored Apr 27, 2017
  
  8026c2bf
- fix attributes of quot edges/nodes. · c4e6db8f
  Point Gerald authored Apr 27, 2017
  
  c4e6db8f
30 Mar, 2017 7 commits
- fix release for CCL · 1d612eb3
  Point Gerald authored Mar 30, 2017
  
  1d612eb3
- update test suite · ce67f05b
  Point Gerald authored Mar 30, 2017
  
  ce67f05b
- do not load default preferences if environment variable ARC_TEST_SUITE=1 · 171f2856
  Point Gerald authored Mar 30, 2017
  
  171f2856
- update preferences when -d is specified. · bed4d643
  Point Gerald authored Mar 30, 2017
  
  bed4d643
- fix bad ordering of slots due to unstability of qsort. · 2639dc21
  Point Gerald authored Mar 30, 2017
  
  2639dc21
- fix the missing use of ordered_keys list · 1dd6c951
  Point Gerald authored Mar 30, 2017
  
  1dd6c951
- fix double declaration of diag page · e1222fa9
  Point Gerald authored Mar 30, 2017
  
  e1222fa9
28 Mar, 2017 4 commits
- fix ccl release to arc-master · 64be3af3
  Point Gerald authored Mar 28, 2017
  
  64be3af3
- Merge branch 'arc-1-6-patches' · b254a091
  Point Gerald authored Mar 28, 2017
  
  b254a091
- fix static CCL version. · c29ecf0c
  Point Gerald authored Mar 28, 2017
  
  c29ecf0c
- fix ccl release number for arc 1.6.0 · d4a43d85
  Point Gerald authored Mar 28, 2017
  
  d4a43d85
27 Mar, 2017 4 commits
- Merge branch 'arc-pre-1-6' · 63d99665
  Point Gerald authored Mar 27, 2017
```
# Conflicts:
#	bootstrap.sh
#	configure.ac
#	doc/handbook/Makefile.am
#	tests/Makefile.am
```
  63d99665
- fix generation of infos related to the repository. · 396d72a7
  Point Gerald authored Mar 27, 2017
  
  396d72a7
- fix randomness of results · 54a8add3
  Point Gerald authored Mar 27, 2017
  
  54a8add3
- fix the use of dist.repinfo · 03ecd705
  Point Gerald authored Mar 27, 2017
  
  03ecd705