Releases | Open Source Science

gr1c - v0.13.3

Documentation is available at https://tulip-control.github.io/gr1c Summary of changes: * Various code quality improvements (not affecting correctness) * Improve documentation

- C
Published by slivingston over 1 year ago

Documentation is available at https://tulip-control.github.io/gr1c Summary of changes: * Report for citation in research, https://doi.org/10.7907/5m62h-a4204 * Makefile improvement for general CC (compiler invocation) * Updates to documentation and dependency URLs; releases now on GitHub

- C
Published by slivingston over 2 years ago

gr1c -

Documentation is available at https://tulip-control.github.io/gr1c Summary of changes: * Report for citation in research, https://doi.org/10.7907/5m62h-a4204 * Updates to documentation and dependency URLs; releases now on GitHub

- C
Published by slivingston over 2 years ago

gr1c - v0.13.0

Documentation is available at https://tulip-control.github.io/gr1c Summary of changes: * Initial support for Windows. This has not been thoroughly tested yet. However, the test suite with unmodified Bash shell scripts can be executed with Cygwin (https://cygwin.com/).

More tests, better documentation.
Fix bug: case when entire automaton deleted by autprunedeadends(). Cf. commits 1ad9e0ede46f1187a809f82544a74d3f685b9b7f, 48465d21286ce5e8951317dea0aaaf36a395bd0b
Remove previously deprecated tulip0autdump() and buildanodetrans()

- C
Published by slivingston about 6 years ago

gr1c -

Documentation is available at https://tulip-control.github.io/gr1c Summary of changes:

Introduction of specification_t (This change occurred as part of 0.11.0.)
Create command-line option to redirect LTL formula for Spin Promela. Now it is much easier to generate and use Spin Promela models, as demonstrated in tests/test-verification.sh
Minor optimizations for special cases; these should not affect final output
Small improvements to the documentation, including a new section about static and dynamic analysis for hacking on the gr1c code
Include yet more details with -vv (verbose level >= 2)
Declare C99 as the standard reference. Previously it was C90 (gcc -ansi).
Create Dockerfile and Vagrantfile for gr1c
Consolidate Make targets. Now in most cases, make && make check is enough.
Fix several non-critical memory leaks
More tests

- C
Published by slivingston over 8 years ago

gr1c -

Documentation is available at https://tulip-control.github.io/gr1c

Summary of changes: - Begin to use CUDD 3.0.0. - Various updates, additions to documentation. The gr1c repository and issue tracker are now located at https://github.com/tulip-control/gr1c - Move autman to be the command gr1c autman, and include it among programs installed during make install. - Various improvements to parsing of command-line options: -vv is equivalent to -v -v; report unknown options that begin with --; add --version

- C
Published by slivingston almost 10 years ago

gr1c -

Binary distributions are available at http://vehicles.caltech.edu/snapshots Documentation is available at http://slivingston.github.io/gr1c

A summary of news about this version follows. - Include PID in default logging file name prefix. - Support make -j N for N > 1 (concurrent jobs in Make). - Various improvements to parsing of command-line options: -vv is equivalent to -v -v; report unknown options that begin with --; add --version

- C
Published by slivingston over 10 years ago

gr1c -

Binary distributions are available at http://vehicles.caltech.edu/snapshots Documentation is available at http://slivingston.github.io/gr1c

A summary of news about this version follows. - Provide more varied and consistent usage of exit codes. (This change occurred as part of 0.10.0.) - The file format version switch (-s) of autman causes the version number to be printed to stdout and return of 0 (success), instead of returning the version number as the exit code. (This change occurred as part of 0.10.0.) - Default to CUDD 2.5.1 - Decide BDD constant value from CuddEval() using CuddIsComplement(). This only concerns internal usage of CUDD by gr1c. - Various plugs of memory leaks. These did not affect correctness of output.

- C
Published by slivingston over 10 years ago

gr1c -

Binary distributions are available at http://vehicles.caltech.edu/snapshots Documentation is available at http://slivingston.github.io/gr1c

A summary of news about this version follows. - Stop permitting letters []^after first letter in variable names. This was an unintended and undocumented feature of the input syntax. - Move programs rg and grpatch togr1c rgandgr1c patch`, respectively. The sub-command-oriented style thus begins in the gr1c suite. - Create shell script get-deps.sh to automate fetching CUDD. - Offer command-line argument -- to stop reading options. - Allow for non-reentrant parser. This improves standard lex,yacc conformance. However, reentrant parsers may be introduced again later. - Refactor several functions in API to use "to" instead "2".

- C
Published by slivingston almost 11 years ago

gr1c -

Binary distributions are available at http://vehicles.caltech.edu/snapshots Documentation is available at http://slivingston.github.io/gr1c

A summary of news about this version follows. - Begin including a CHANGELOG, mostly following the style of Debian packages. Changes here are relative to the release version 0.7.4 - The deprecated output format tulip0 is not available from the command-line tools. This may break compatibility with old versions of TuLiP. - The default output format is now "json" rather than "tulip". This may break compatibility with old versions of TuLiP. - Introduction of tool "autman" for working with gr1c aut files. - Capability to generate models in Spin Promela. - More documentation, including how to verify a strategy with Spin. - README and other plaintext files now use Markdown formatting rather than reStructuredText. - Various bugfixes, notably #14 "System liveness fails when environment has forced transition leading out of env liveness" https://github.com/slivingston/gr1c/issues/14. Please consult the discussion on that issue page for instructions about checking whether it affects you.

- C
Published by slivingston over 11 years ago

gr1c -

This is a maintenance release for the 0.7 series. It incorporates a bugfix for issue #13.

Binary distributions are available at http://vehicles.caltech.edu/snapshots Documentation is available at http://slivingston.github.io/gr1c

- C
Published by slivingston about 12 years ago

gr1c -

Binary distributions for this release are available at http://vehicles.caltech.edu/snapshots Documentation is available at http://slivingston.github.io/gr1c