Commits · 74a4c047be42f5d3280f0e82ab3f528b86001a91 · AltaRica Project / AltaRica Checker

15 Jan, 2008 2 commits
- . remove useless macros · 74a4c047
  point authored Jan 15, 2008
  
  74a4c047
- . genepi semantics continued · 35949817
  point authored Jan 15, 2008
  
  35949817
09 Jan, 2008 1 commit
- GENEPI presence checking · 9dcb8c23
  point authored Jan 09, 2008
  
  9dcb8c23
13 Dec, 2007 2 commits
- . add trick proposed by G. Sutre to add the path specified by --prefix to... · d6e34449
  point authored Dec 13, 2007
```
. add trick proposed by G. Sutre to add the path specified by --prefix to CPPFLAGS and LDFLAGS variables.
. add GENEPI presence checking
```
  d6e34449
- . prepare symbolic encoding with GENEPI. to be continued. · 95121714
  point authored Dec 13, 2007
  
  95121714
09 Nov, 2007 3 commits
- . remove a useless macro · 7ee60138
  point authored Nov 09, 2007
  
  7ee60138
- . fix an uninitialized result in the state_to_formula proc. · 29c09383
  point authored Nov 09, 2007
```
. fix the bug (reported by A.G) localted in s_projected_variable_set. ar_context_get_slots returns a list of ids not a list of slots.
. fix several memory leaks reported by valgrind.
```
  29c09383
- . add the missing "trans" keyword the projection algorithm. · 2ecf719f
  point authored Nov 09, 2007
  
  2ecf719f
17 Oct, 2007 2 commits
- update version number · 2e5a6e3c
  point authored Oct 17, 2007
  
  2e5a6e3c
- remove getopt calls · bee43a97
  point authored Oct 17, 2007
  
  bee43a97
26 Jun, 2007 1 commit
- . replace yy_current_buffer by the portable macro YY_CURRENT_BUFFER · faeec194
  point authored Jun 26, 2007
  
  faeec194
05 Apr, 2007 1 commit
- . add files to maintainer-clean target · 32c0a03e
  point authored Apr 05, 2007
  
  32c0a03e
04 Apr, 2007 2 commits
- . update · 606e04e3
  point authored Apr 04, 2007
  
  606e04e3
- . add a bootstrap script for users compiling sources from the CVS repository. · 55d4c3fd
  point authored Apr 04, 2007
  
  55d4c3fd
03 Apr, 2007 1 commit
- update · ff9ee810
  point authored Apr 03, 2007
  
  ff9ee810
30 Mar, 2007 11 commits
- fix a package name · 70454784
  point authored Mar 30, 2007
  
  70454784
- while waiting for another package management system... an installation script 'a la FASTer'. · e609ae7f
  point authored Mar 30, 2007
  
  e609ae7f
- . add a missing header file required for the distribution tarball · 732c7d98
  point authored Mar 30, 2007
  
  732c7d98
- . remove useless file ar-interp-acheck-p.h · 88911cf2
  point authored Mar 30, 2007
  
  88911cf2
- . add new files · b6528985
  point authored Mar 30, 2007
  
  b6528985
- . data structure encoding MEC 4 formulas. · 7b8e3e22
  point authored Mar 30, 2007
  
  7b8e3e22
- . add a remove function for marks · e4068735
  point authored Mar 30, 2007
  
  e4068735
- . remove useless code · 2f1bfd08
  point authored Mar 30, 2007
  
  2f1bfd08
- . add the enhanced linear time algorithm for the computation of fix points (ref. magnolia). · a3c69d9f
  point authored Mar 30, 2007
  
  a3c69d9f
- . add accessors to in and out degrees of a state. · 95a29cd0
  point authored Mar 30, 2007
  
  95a29cd0
- . interpret the syntactic tree of an equation as a ts_formula instead of doing... · fee1c27d
  point authored Mar 30, 2007
```
. interpret the syntactic tree of an equation as a ts_formula instead of doing the direct computation of the semantics.
. replace the quadratic algorithm by the linear one
```
  fee1c27d
20 Mar, 2007 1 commit
- new task · 6e04de7c
  point authored Mar 20, 2007
  
  6e04de7c
07 Feb, 2007 6 commits
- . add an option to display debug traces · 805d961e
  point authored Feb 07, 2007
  
  805d961e
- update · e8752fff
  point authored Feb 07, 2007
  
  e8752fff
- . fix an error in a ccl_assertion · 5ee39947
  point authored Feb 07, 2007
  
  5ee39947
- . remove files generated by yacc and lex · 2fd54d4a
  point authored Feb 07, 2007
  
  2fd54d4a
- . add task · c463826e
  point authored Feb 07, 2007
  
  c463826e
- join MAIN and libraries-with-ac branches · 7d91405c
  point authored Feb 07, 2007
  
  7d91405c
22 Sep, 2006 1 commit
- . fix the bug occuring on 'true' guards · 20343930
  point authored Sep 22, 2006
  
  20343930
19 Sep, 2006 1 commit
- .change epsilon handling. · ab1e6be1
  point authored Sep 19, 2006
  
  ab1e6be1
18 Sep, 2006 1 commit
- . fix a memory leak · f4e4c9b2
  point authored Sep 18, 2006
  
  f4e4c9b2
24 Aug, 2006 2 commits
- *** empty log message *** · 57a29a50
  point authored Aug 24, 2006
  
  57a29a50
- . add very very usefull help messages for shell commands · 29b1883b
  point authored Aug 24, 2006
```
. fix a bug in altarica parameters handling.
```
  29b1883b
23 Aug, 2006 1 commit
- . add epsilon and synchronization on epsilon · 4baf3d91
  point authored Aug 23, 2006
  
  4baf3d91
22 Aug, 2006 1 commit
- first version · 0e7e07dd
  point authored Aug 22, 2006
  
  0e7e07dd