Comments (2)
Made first set of revisions for this task: r253 (main trunk), r254 (GeoGebra
branch) and r255 (Area method branch). They contain necessary code changes that
are preparations for main work on this task and they are related to
improvements of custom files so they could use any directory for source or
destination of files.
While main task is not fully completed, in order to be able to correctly create
log files, read input files and create output reports, in Eclipse environment
it is necessary to set-up working directory in each single run configuration.
This is necessary because these files are still created relatively to current
working directory. For working directory proper workspace location has to be
selected (where 'input', 'output' and 'log' directories reside).
Original comment by ivan.petrovic.matf
on 23 Jun 2012 at 7:52
from open-geo-prover.
Previous title: GG A.2. - Improving OGP to allow setting custom log file
Remaining work is for stage B.1.
Original comment by ivan.petrovic.matf
on 25 Jun 2012 at 6:30
- Changed title: GG B.1. - Improving OGP to allow setting custom log file
from open-geo-prover.
Related Issues (20)
- GG A.2. - Changes in OGP constructions HOT 5
- GG A.2., A.5. - Replacement of log4j logger in OGP branch for GeoGebra by new custom logger HOT 2
- GG A.4. - Conversion of geometry theorem statements from GeoGebra to OGP format HOT 3
- GG A.2. - Improvement of CP to disregard unnecessary constructions HOT 5
- GG B.1. - Conversion of GeoGebra commands for geometry transformations to OGP format HOT 2
- GG A.2.;A.6. - Improvement of NDG sub-system - implementing more genral representation of NDGs HOT 5
- GG A.2. - Renaming classes and packages related to Construction Protocol HOT 7
- GG B.1. - Improving build scripts HOT 2
- GG A.2.; A.6. - Implementation of API method for calling OGP from GeoGebra code HOT 4
- GG B.1. - Modifications in sending input theorem from GG to OGP HOT 9
- GG A.8. - Tracking issue for all small bugs found when running OGP from GeoGebra prover HOT 3
- GG B.1. - Modification of conversion of Intersection Point construction HOT 2
- GG B.1. - Multiple Prove commands in XML HOT 3
- GG B.1. - Get NDG conditions with the same objects
- Initial implementation of support for solving RC-constructibility problems HOT 2
- Merging implementation of Area Method to main trunk and other branches HOT 2
- Completing Area method on non-GeoGebra branches of OGP
- Missing touch point of tangent line and circle/conic
- Theorem proving fails with stack overflow in construction of perpendicular line HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from open-geo-prover.