| 414029fc573cb2506241ed5a17643f9f721502b8 |
|
13-Mar-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix confusion about RevImpl. |
| eb1cc766464057293793108d07dd50b9b9d82d9b |
|
09-Jun-2016 |
mcodescu <mscodescu@gmail.com> |
collect all quantifiers |
| 645f50eda40bb36ae1260f56910cdd32a4597578 |
|
09-Jun-2016 |
mcodescu <mscodescu@gmail.com> |
code review for CASL2Prenex |
| e2fdd28e29f151215a081dd95fcc443a4c8ccf23 |
|
07-Jun-2016 |
mcodescu <mscodescu@gmail.com> |
corrected CASL2Prenex |
| a81a3e6bff3e7b764d78c2864a1324b15e4135fa |
|
18-May-2016 |
mcodescu <mscodescu@gmail.com> |
keep names of sentences, formatting |
| e8001d65a73bf355ac769f1a3c959bd949be5763 |
|
24-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
corrected CASL2Prenex translation |
| ea5605cd49a0f959f75fd90137e9d25e1235c0e8 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
fixed the infinite loop |
| dc444ff12d28d0a535431580c679fb6c903c2900 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
recursion for case 5 |
| 16271fe9bde093c159c6961d703247a53739790a |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
recursion for case 4 |
| 995449a5772ba8eb51e82c8493d8c9cce0fee53f |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
recursion for relation |
| 19be6554ade5f957a520c6553b957df8cc66ae77 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
recursion for junction |
| acd240fa030f06f30c9f1e7500312eddbc8ced0b |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
recursion for junction |
| 73aa270e722a8f046d7a281044e44720208a3884 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
fixed recursive call for another case |
| 4c11424ec962479c1086f066f83976f05adb4064 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
fixed the recursive call for junction case |
| 2954f6dd519742dd6d6dd8de6f3e5902ed6c07ab |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
comorphisms, need more testing |