Viewing all changes in revision 11.
- Committer: Riccardo Bernardini
- Date: 2013-03-13 13:17:02 UTC
- Revision ID: riccardo.bernardini@uniud.it-20130313131702-fze1kxi1wrb1p760
Added some test and also the possibility of replacing a variable
with another symbolic expression
with another symbolic expression
- files removed:
- test/test.ads
- files renamed:
- test/test-basic_test.adb => test/basic_test.adb
- files modified:
- symbolic_expressions.adb
expand all
collapse all
added
removed
