Revision fbb6667106fbd15ecc2fbc95598a0071a3db7c78 authored by giselle.mnr@gmail.com on 27 September 2012, 17:13:26 UTC, committed by giselle.mnr@gmail.com on 27 September 2012, 17:13:26 UTC
- Fixed algorithm for removing redundant weakenings and contractios after autoprop. Now proofs returned by this method are already without these structural redundancies. - Implemented a class for extended herbrand sequent (one cut case) - Implemented a class for decompositions (one cut case), but I am not yet using on the current code. git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1232 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
1 parent c882f33
| File | Mode | Size |
|---|---|---|
| algorithms | ||
| applet | ||
| cli | ||
| dependencies | ||
| gui | ||
| integration_tests | ||
| parsing | ||
| provers | ||
| syntax | ||
| testing | ||
| transformations | ||
| ui | ||
| utils | ||
| cli.sh | -rw-r--r-- | 896 bytes |
| gui-cli.sh | -rw-r--r-- | 1.4 KB |
| gui.sh | -rw-r--r-- | 860 bytes |
| pom.xml | -rw-r--r-- | 5.5 KB |
| test_gapt.sh | -rwxr-xr-x | 360 bytes |
Computing file changes ...
