Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
AltaRica Project
AltaRica Checker
Commits
acf0c6cc
Commit
acf0c6cc
authored
Mar 24, 2017
by
Point Gerald
Browse files
prepare changes for 1.6
parent
f285a835
Changes
3
Expand all
Hide whitespace changes
Inline
Side-by-side
CHANGES
View file @
acf0c6cc
This diff is collapsed.
Click to expand it.
README
View file @
acf0c6cc
ARC is
an
AltaRica Checker
==========================
ARC is
the
AltaRica Checker
==========================
=
This program is a command-line based tool that can be used to analyze systems
modelled using the AltaRica language.
...
...
@@ -7,4 +7,5 @@ modelled using the AltaRica language.
This software integrates some compilers to other languages and a model-checker
base on an older package called altatools.
Please report any bugs to altarica-bugs [at] labri.fr
Please report any bugs to altarica@groupes.renater.fr
configure.ac
View file @
acf0c6cc
...
...
@@ -4,7 +4,7 @@ dnl used by clients.
dnl
AC_PREREQ(2.59)
AC_INIT(arc,
pre
1.6, altarica@groupes.renate
d
.fr)
AC_INIT(arc, 1.6, altarica@groupes.renate
r
.fr)
AC_CONFIG_MACRO_DIR([m4])
AM_INIT_AUTOMAKE([foreign])
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment