d23ecf32e56cce69bc42eb5c96dddf7909c623ab |
|
17-Jan-2018 |
jelmd <jelmd@users.noreply.github.com> |
simplify version checking in makefiles (#1830)
fix #1830: simplify version checking in makefiles; add GHC_PKG_FLAGS, GHC_FLAGS |
a389e88e0acb83d8489bdc5e55bc5522b152bbec |
|
05-Jan-2018 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
[WIP] 1691 dg calculus on database (#1752)
* Add database dependencies.
* first experimental version of DB interface - just store DG names
* also write dg nodes to db
* hints for further programming
* Connect to PostgreSQL databases using a Rails database.yml.
* Move the schema to an own module.
* mapping of Hets datatypes to DB
* more explanation on index maps
* Save the LogicGraph and Development Graph in the database.
* Add config option for DB file.
* Move dbConfig into HetcatsOpts, move migrations into onDatabase.
* Save errors to the database.
* Associate the data with a given file version.
* Fix saving independent documents, non-signature symbols and remove debug prints.
* Remove theoryMap from DBCache.
* Fix names of Loc/Ids.
* Drop unneeded database columns.
* Save SignatureMorphisms and SymbolMappings. Major refactoring in Persistence.DevGraph.
* Handle Library and NativeDocument properly.
* Rename Range to FileRange because of constraints in Ontohub.
* Use PostgreSQL Enums.
* Rename Warning to Warn because of constraints in Ontohub.
* Use proper location as Loc/Id.
* Include persistent-fork into Hets repository as a git submodule.
* Find the FileVersion of an import and save the Document accordingly.
* Add advisoryLocked function.
* Ignore the _dependencies directory.
* Only save a Document if it does not yet exist.
* Lock language migration and document saving.
* Use mutex, write logic graph in ins own command
Write logic graph: Since both commands, DG analysis and LG output need
to write Logics to the database, we need the same mutex kex for these
two tasks. This splits the LG output into its own command to allow for
multiple processes to write analysis data at once.
* Get the submodule via https.
* Add readme for the persistence layer.
* Fix findFileVersion function.
* Fix export warning.
* Find a FileVersion at the current commit instead of the previous version.
* Make the symbolKind part of a symbol's Loc/Id.
* Make concatMapM more generic.
* Correctly associate symbols along heterogeneous links.
* Set evaluationState of FileVersion.
* Allow to omit the --database-fileversion-id option.
* Simplify the travis configuration.
* Add database job to travis.
* Find FileVersion of the last change.
* Fix dependency relation order.
* Add MySQL support.
* Add restack target to Makefile.
* Add option to disallow migrations
That means, PostgreSQL can be used without Ontohub.
* Remove unused import.
* Update Stack release and use persistent-template of the fork.
* Make the existing columns in the schema MySQL compatible.
* Work-around migration errors caused by class table inheritance.
* Use PostgreSQL and MySQL in travis.
* Use better job labels in Travis.
* Possibly fix travis.
* Add SQLite to Travis.
* Add installation instructions.
* Add DGVerificationGeneric constructor.
* Rename ConsStatus to ConservativityStatus.
* Add error handling.
* Fix symbol's fullName.
* Set Logic name to Language Name when there is no Logic name.
* Do not print migrations.
* Fix key length for MySQL.
* Add namespace to Loc/Ids.
* Add option for re-analysis.
* Add a testfile.
* Improve error messages.
* Create the freeness parameter OMS.
* Add failing testfiles.
* Remove code duplication.
* Temporarily remove failing test files - until #1655 and #1597 have been solved.
* Try longer locId in MySQL.
* Fix mapping type.
* Add default implementation of symbolKind.
* Add Indexes.
* Quiet down PostgreSQL on CREATE INDEX IF NOT EXISTS.
* Add PostgreSQL 9.6 to addons.
* Allow Hets-database to run without ontohub.
* Reduce column size for MySQL.
* Move the database-specific dependencies into their own module.
* Upgrade persistent (rebase on master).
* Minimise the module exports on Database.
* Upgrade stack.yml to new stack version.
* Fix SQLite module.
* WIP: Try System.Plugins.
* Remove System.Plugins again.
* Deactivate MySQL.
* Remove System.Plugins from the dependencies.
* Finalise db_mapping.txt
* Update readme.
* Don't use PostgreSQL for hets-desktop.
* Use hets_server in Travis/PostgreSQL job.
* Add PostgreSQL as a dependency to the server package.
* Update some documentation.
* Fix runtime dependencies.
* Describe main db options in the UserGuide.
* Add libpq5 to debian dependencies.
* Clean the database.yml files and link them from the UserGuide. |
80875f917d741946a39d0ec0b5721e46ba609823 |
|
04-Jan-2018 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
1596 iris (#1763)
* integrated IDs from Common/Id as local parts in IRIs in Common/IRI
* removed "abbreviated" components of IRIs in Common/IRI, added a flag instead
* added a blank node flag to IRIs in Common/IRI |
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7f |
|
22-Aug-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Complete TPTP support (#1707)
* Add option to print the AST in XML/JSON output. Turn it off by default.
* Add abstract syntax of TPTP.
* Add parens and brackets to Common.Lexer.
* Add TPTP Parser.
* Add TPTP Sign.
* Add TPTP Morphism.
* Add TPTP StaticAnalysis.
* Fix IRI character parsing.
* Add TPTP Pretty.
* Add TPTP Logic.
* Map the tptp and p file extension to the TPTP logic for input.
* Add LibDefn parser for TPTP.
* Write TPTP output.
* Add EProver to TPTP.
* Add TPTP Sublogics.
* Add SPASS prover to TPTP.
* Add Vampire prover to TPTP.
* Add Darwin prover to TPTP.
* Add Leo-II prover to TPTP.
* Add Geo-III prover to TPTP - It does not support a timeout.
* Add CVC4 prover to TPTP.
* Add Isabelle prover to TPTP.
* Make IRI compatible with TPTP library file names.
* Revert "fail if names of sentences appear as names of symbols #1630"
This is a combination of 3 commits:
* Revert "check that the Result has no errors"
This reverts commit 9542b929f3cfabf1491c3f0489acf92ba703968f.
* Revert "better error message"
This reverts commit a7ea46d4c76b11735234092d0a50efcbc56f9642.
* Revert "fail if names of sentences appear as names of symbols"
This reverts commit 2487bae09bf3aabc7085880aee616648fe5ca241.
* Fix usage of magic file
There were other (system) magic files invoked as well with a higher
priority. Using the MAGIC environment variable instead of the
argument --magic-file overrides this behaviour and only uses the
specified magic file.
* Fix magic file
The escaping of "@" and "(" is not needed.
The escaping of a trailing space in clif is needed.
* Add TPTP to magic file.
* Add Satallax prover to TPTP.
* Properly check for http[s] URIs.
* Allow file:// in libdirs.
* Allow only one http[s] libdir - Parse the port correctly.
* Fix all remaining parsing problems.
* Move functions to debug the parser to a separate module.
* Get rid of all TPTP related compiler warnings.
* Move the type 'Morphism' to 'TPTP.Morphism'.
* Rename: TPTP/Logic.hs -> TPTP/Logic_TPTP.hs
* Implement all_sublogics.
* Recognise negated_conjecture as a proof obligation. |
60e6795dd310e10194e12bb660575aadf941328b |
|
14-Aug-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Introduce semantic versioning (#1716)
* Put the version into Driver/Version.hs.
* Fix version strings.
* Add --numeric-version option.
* Adjust HETS_VERSION in Makefile.
* Remove rev.txt.
* get fully rid of GIT_TIMESTAMP + minor simplifications
* Rename function hetcats_version to hets_version.
* Use camelCase. |
b09b9ccdfda2e80094a70dd29514ba42b2f6145e |
|
25-Jul-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Obey reviewers. |
f8597aabc9db75dcf504e3151faf220a165c90d1 |
|
25-Jul-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Use stack only if it exists. Upgrade it if it's outdated. |
91432c9a2d813a8322dea3a3f54924c796897f09 |
|
11-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Simplify find call in o_clean. |
fa6878c475677fa8719fd987ea9ee198f2f0586d |
|
11-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix 'make clean'. |
24944b84c3b864860ea380a1264618813a0d5010 |
|
11-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Don't 'stack setup' in 'make stack'. |
d359bad72ee17ae23d3e30bcb7f72b07a690e4bd |
|
09-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix find call. |
6694c438d217541c65c4b16364c23f2b68f3a966 |
|
09-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Use @$(RM) instead of rm. |
ab4256496e72886018b78571057331f373da6883 |
|
09-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Create a loose stack and clean_stack target to setup stack. |
756f31c6dd0843b4435c0ca66485ec19139eb1a8 |
|
09-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix some of the issues stated in the review. |
4c7cb5671b356d873d67829ec8062a5083c1ee0e |
|
08-Jun-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Replace system-ghc with haskell-stack. |
d6a8f143762ad5e73005b390153a6fc98491da92 |
|
19-Aug-2016 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Fix the version timestamp
If no file is changed in a commit, `git log -1 -- .` does not display
this commit. The log of the whole repository must be used. Therefore,
the `-- .` must be removed.
Before, `make rev.txt` did not consider the merge commit b259e3b. |
67c5fb54e1403315711f6b5a427a60ae1adbd72e |
|
13-Aug-2016 |
Till Mossakowski <till@iws.cs.ovgu.de> |
reintroduce fix from pull request #1486 |
d1f37f9074c9ccba31385b3cb4eb212ae443b310 |
|
26-Jul-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
Ignore fakeroot check result |
62f5e02856861853dcc9ffb8c0a688835eb729ae |
|
09-May-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
make dpkg-buildpackage happy |
ce39be56aeedc8d333b72b1662548d36097fa22f |
|
08-May-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
improve offline building; rm archive artifacts |
6768bd7dac073205a0ef5e9b41aaa62d2c031642 |
|
29-Apr-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
Makefile: rm chmod 0444 for derived sources |
961087225d1d2b9534152a346d1a3755ed952fcd |
|
29-Apr-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
programatica: now per default disabled; misc pkg related fixes |
a84a8d508a0778b13a4d097a6dd34b95feae78ac |
|
29-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
Makefile cleanup/fixes + new install* features |
35d9b0c5ea024632b8affc7bd1437417986b18cd |
|
29-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
new ./debian/: control, script, man container for new pkgs |
13bc28d797bb488b572af4f2d7d18ef85d2b093d |
|
08-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Always update version. |
8dbc5fec77543515bcd781e1e544dc61e0134cbf |
|
10-Mar-2015 |
cmaeder <c.maeder@jacobs-university.de> |
adjusted initialize_java |
de69359571b99029d6ede7795a35583c588e4140 |
|
09-Mar-2015 |
cmaeder <c.maeder@jacobs-university.de> |
use wget instead of curl |
4ffc423a7df8af7e7d7e563a15471da4505ddeb5 |
|
05-Mar-2015 |
ignazio <ignazio.palmisano@gmail.com> |
update owlapi to 3.5.1, update FaCT++ to 1.6.3.1 |
011156728d0d9ae2a044ce2d01e62228720b1aa2 |
|
14-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added target to compile hets without GUI support |
8037b7d21021a94b69e4a092f5c98e491333d939 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
reintegrated logic Haskell (with null json output) |
ce5b44277ea06257548ff625e928cb1290c6d297 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
remove unused import in generated files |
d62661e54e2662d53b583ae48609f5037701078d |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
always regenerate QVTR.ATC_QVTR files |
fa8878c6145f652f615a04a5e9c15a1d1327bc92 |
|
09-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
derived more Typeable and Data instances |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
8e58704c1752afd6adbc58ad4c163144aeafa64b |
|
08-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
pass HETSBRANCH to release |
ddbf07996361d7e88cf23858a8f85595fa493514 |
|
08-Jul-2014 |
Jonathan von Schroeder <sternkinder@gmail.com> |
* Compile haskell sources in batches of 200 to (hopefully) avoid #1276
* Speed up compilation by keeping compiled *.o files
This should provide a signifcant speedup as most pull requests change
few files |
42ce525125971c5e8ff32a38de5d7ea174d6508c |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
rev.txt must not be deleted for Ubuntu |
a6091cb14d14a9273e8eacdfe33be1247b26c689 |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
use unix time stamp in hets version rather than date |
191d19822f8bb1baf216599aead47c278c165a2b |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
make release from git and use last log message in version |
2ef02b82c3acf260e71c5e0f90f3306e5b1fd130 |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
change back to a version date |
67d711ed8d639b1c6e123896e7133d03911c1128 |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not delete rev.txt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18589 cec4b9c1-7d33-0410-9eda-942365e851bb |
39bc7bbfc84f8b49f8434d299ec3a602c0437581 |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added rev.txt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18588 cec4b9c1-7d33-0410-9eda-942365e851bb |
d28daea96850532ac25caacc0ec8ccba253413c2 |
|
25-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch back to svnversion but do not regenerate version file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18587 cec4b9c1-7d33-0410-9eda-942365e851bb |
5fe6913a2ee73039c79ed3f09f78a0bc6b03d69b |
|
24-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch back to date
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18584 cec4b9c1-7d33-0410-9eda-942365e851bb |
120145afbf940aff243cb3e847188383d6d622b6 |
|
06-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove dyn_* files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18525 cec4b9c1-7d33-0410-9eda-942365e851bb |
409fdf3eb3a0824ab032c4bc1f00f5838fd54d4c |
|
03-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Tims Mac patch for owlapi checkout
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18519 cec4b9c1-7d33-0410-9eda-942365e851bb |
360ce9b5c746ac021944db12eb26e3df2697b8c7 |
|
20-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
support make -j4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18508 cec4b9c1-7d33-0410-9eda-942365e851bb |
9bd27fd420bd96640ee300b69c5104c60d8c888b |
|
19-Feb-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
add revision number instead of date to version string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18500 cec4b9c1-7d33-0410-9eda-942365e851bb |
1014251688a34ab6de17bf6f8b839a7a4b959586 |
|
06-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
omit file listing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18420 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f21da274060a2aa02923c5beca3485456a4b9a0 |
|
02-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
checkout quietly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18351 cec4b9c1-7d33-0410-9eda-942365e851bb |
db6729e623b4053149084ccf4b35e5308ac7e359 |
|
27-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to IRIs in LibName #1155
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18336 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c0b769e33f643e5f0b06328ba0eb03e5bd6e18e |
|
21-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to a newer OwlApi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18322 cec4b9c1-7d33-0410-9eda-942365e851bb |
f62fa71e53e88ce50301b6eb3612ab2b58aac9a5 |
|
28-Oct-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted repository
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18287 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f226cec9f978edaba67aee4c4e04e3d3b994b87 |
|
03-Sep-2013 |
Daniel Calegari <dcalegar@fing.edu.uy> |
first incomplete version of QVTR comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18160 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc1bf40b1196cf62c6ce5c971633b5ebfc5936ef |
|
30-Jul-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
CSMOF needs fewer dependencies
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18093 cec4b9c1-7d33-0410-9eda-942365e851bb |
59cdf81b728ce0116c59316883023b3d3593f7c8 |
|
30-Jul-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added logic CSMOF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18092 cec4b9c1-7d33-0410-9eda-942365e851bb |
8fd6a3f938496a502bc62f1923ff7c15f59acf91 |
|
30-Jul-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signatures to CSMOF ATC generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18090 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b4a0b61b72cf8478a5d4d5002bca9f699401363 |
|
29-Jul-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ATC generation for CSMOF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18083 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3251b01d8270950716e2b419b335264fa773153 |
|
12-Jun-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed #1171
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18012 cec4b9c1-7d33-0410-9eda-942365e851bb |
81f49ee02aaa3bc870401f8883bf52742eb3ea7a |
|
20-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Merge branch 'hybrid'
Conflicts:
CASL/Logic_CASL.hs
Comorphisms/LogicGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17960 cec4b9c1-7d33-0410-9eda-942365e851bb |
b64e673e77d2e02c8cd1625ddbd4ea5a97fd5ce3 |
|
24-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@8216ed1242b6b57e154bb19e27fbedc9a4b2a3e3 now after the release is out
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17907 cec4b9c1-7d33-0410-9eda-942365e851bb |
8216ed1242b6b57e154bb19e27fbedc9a4b2a3e3 |
|
23-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
make a release distribution
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17903 cec4b9c1-7d33-0410-9eda-942365e851bb |
58b96b17bf8e32c0b0d773380a5e62f992eef2bc |
|
01-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
exclude programatica tests without package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17601 cec4b9c1-7d33-0410-9eda-942365e851bb |
50c3cc2b79207355522c5b096172b3c6b7bec300 |
|
19-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
always recreate version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17589 cec4b9c1-7d33-0410-9eda-942365e851bb |
8fb127028cb7dd361e348a3252e33487f73428bc |
|
01-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added rudimentary ranges to thf parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17460 cec4b9c1-7d33-0410-9eda-942365e851bb |
db3016fbc6065fc0d57e68c28ae280e6ac95a39a |
|
25-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
a clash between Syntax modules seems to be gone
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17418 cec4b9c1-7d33-0410-9eda-942365e851bb |
5199920ca3b698b2149c8cb9d2ce2e98a280ff9d |
|
25-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not used changed Network.URI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17417 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a9fce5398f4621558ca220c66c87cee59adc258 |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
first work for adding proper sublogics to THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17380 cec4b9c1-7d33-0410-9eda-942365e851bb |
24ddb6d7cde9dd6ab04b8631b1b0104e0861ec5f |
|
31-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid needing perl just for the version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17278 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea5432ff6f61c64469b11d9352b23fef4ff152e8 |
|
24-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
try reading permissions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17054 cec4b9c1-7d33-0410-9eda-942365e851bb |
74a992bd019d3319df2f21f9d358ff06cafb5f7e |
|
20-Jun-2012 |
Mihaela Turcu <m.turcu@jacobs-university.de> |
added sublogic for ext modal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16956 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f9274bb2aa44ea236327814dce99946be52e348 |
|
14-Jun-2012 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
readded RDF as logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16940 cec4b9c1-7d33-0410-9eda-942365e851bb |
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002 |
|
25-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid tmp and PWD
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16828 cec4b9c1-7d33-0410-9eda-942365e851bb |
20e9641ca523a9fd2de07b6758ab35a10a2aecf0 |
|
24-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use -r to clean dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16823 cec4b9c1-7d33-0410-9eda-942365e851bb |
e420b3848a0e15a9e074b08c413996cbeb5ab06d |
|
24-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16822 cec4b9c1-7d33-0410-9eda-942365e851bb |
005a00ee02fd3c373d218699dab6dad85bdb18f5 |
|
24-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
let it run under Solaris using sh instead of bash
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16821 cec4b9c1-7d33-0410-9eda-942365e851bb |
3dde4051c307b609159a097f08a05108fdd036ef |
|
11-Apr-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
compatibility with HaXml 1.22.* (DtdToHaskell produced invalid code, Api change (QName instead of strings))
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16782 cec4b9c1-7d33-0410-9eda-942365e851bb |
3554301a34639efb6c9961a8571775d0061284c9 |
|
10-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
generate ATC.IRI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16774 cec4b9c1-7d33-0410-9eda-942365e851bb |
e642ad0e782f9bb9ba310164358220402eec8cd8 |
|
05-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed --ignore-all-exports option from haddock for ghc-7.4.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16763 cec4b9c1-7d33-0410-9eda-942365e851bb |
734257b9ea9fcaa18d4e3627f54f5295a99aa1f7 |
|
11-Mar-2012 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
changed RDF abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16701 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d0ee72ee91ec305408688b969c43f07b9667c80 |
|
07-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16654 cec4b9c1-7d33-0410-9eda-942365e851bb |
7834a982096d93301a4626f444dd9ea5f9fe17ea |
|
07-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use svn export for initialize_java
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16650 cec4b9c1-7d33-0410-9eda-942365e851bb |
23c47f15354bce111171eaced401fb8c2dbbf503 |
|
25-Jan-2012 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
removed cwm targets from makefile, moved to doc in RDF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16633 cec4b9c1-7d33-0410-9eda-942365e851bb |
0970d9c065f052b2e7fd7858c8f988657333ada7 |
|
25-Jan-2012 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
removed sudo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16632 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed1b8e97e72b2e3e92edaf2eb22a4b5373d705f1 |
|
05-Dec-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added logic rdf
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16520 cec4b9c1-7d33-0410-9eda-942365e851bb |
37941658c1c4b1f995ab5578bcc953a083bbb9fc |
|
05-Dec-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
added cwm tool
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16517 cec4b9c1-7d33-0410-9eda-942365e851bb |
f5c0884429b01e74c6e658ded921fb2e16dfb478 |
|
18-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed HolLight test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16469 cec4b9c1-7d33-0410-9eda-942365e851bb |
14c56dc499da4bbeaeebeb558ceb755150ae341c |
|
17-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused HC_INCLUDE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16458 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc07a598b995acc9436651e66fd18009509047ef |
|
17-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused inline, happy and setup stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16457 cec4b9c1-7d33-0410-9eda-942365e851bb |
f5c9b1e739228c2a2edf055ac419583412569683 |
|
16-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
enforce call ghc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16452 cec4b9c1-7d33-0410-9eda-942365e851bb |
b446bf54c1dc78690aa12e86aadc49cdd8585847 |
|
15-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove programatica packages building
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16449 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7cf29d9f71f4724aed05916d93a0b656d7104e6 |
|
09-Nov-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
rdf4h install with cabal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16433 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b5814dc6ac813faf8a12ecddf4b727ca7b666a8 |
|
09-Nov-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
added rdf4h installation target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16431 cec4b9c1-7d33-0410-9eda-942365e851bb |
0d0278c34a374b29c2d6c58b39b8b56e283d48e8 |
|
14-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16292 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae3e4689adbf4de67f4e1cdda6db2c0e406027d0 |
|
12-Oct-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
added rule for getting rdf_java dependencies
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16275 cec4b9c1-7d33-0410-9eda-942365e851bb |
f423124aea4f1c374490a210879796068a5031b4 |
|
02-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
support older xml packages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16077 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b29b9f8066d0825088a039c0952b30cad0295f1 |
|
29-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented Modal systems manually
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16044 cec4b9c1-7d33-0410-9eda-942365e851bb |
37a9d042e9f85a1d6e229eb80b48f93df810f155 |
|
26-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Modal2CASL inline axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16032 cec4b9c1-7d33-0410-9eda-942365e851bb |
0eb106d6adeaced34e54123ff962ae91bb198709 |
|
25-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified CASL_DL (printing still goes wrong)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16031 cec4b9c1-7d33-0410-9eda-942365e851bb |
308834907a120fd8771e18292ed2ca9cd767c12d |
|
25-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed OWL1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16026 cec4b9c1-7d33-0410-9eda-942365e851bb |
74d27713392cbbe39ecd72d0ddb0caad16e84555 |
|
10-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
take out unused ChangeGraph for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15954 cec4b9c1-7d33-0410-9eda-942365e851bb |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb |
140287998aa8592c9c403bd9e308e447ba92ae11 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid data contexts and create Ord contexts for simple Set.Set components via DrIFT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15871 cec4b9c1-7d33-0410-9eda-942365e851bb |
7dc37844730a8b23973139e9720574382de109e7 |
|
29-Jul-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Moved signaturre related data structures and methods th Sign.hs and modified the static analysis.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15780 cec4b9c1-7d33-0410-9eda-942365e851bb |
49d647f58ec5bf482da541eec62f531848c49036 |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch to OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15775 cec4b9c1-7d33-0410-9eda-942365e851bb |
45e34c7696f9dd6163686ff6798b33a126590fa2 |
|
29-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
profiles and sublogics merged
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15772 cec4b9c1-7d33-0410-9eda-942365e851bb |
58231c02ba63cd573b7d523e938acdb0798983c4 |
|
29-Jul-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
sublogic + profiles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15766 cec4b9c1-7d33-0410-9eda-942365e851bb |
7059fdf30dd36a0cf809b6c293cd3dc106e3ad3d |
|
22-Jul-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
(make) removed new compilerflag and added errormsg mechanism to makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15670 cec4b9c1-7d33-0410-9eda-942365e851bb |
db675e8302ddb0d6528088ce68f5e98a00e890e3 |
|
19-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CommonLogic test dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15601 cec4b9c1-7d33-0410-9eda-942365e851bb |
6eb9dcc44ecc0141eaa3b9e8dd30c41b768823fb |
|
18-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15592 cec4b9c1-7d33-0410-9eda-942365e851bb |
a604cbad8e2202147b5c6bb9f2e06ae61162d654 |
|
30-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
major restructuring OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15425 cec4b9c1-7d33-0410-9eda-942365e851bb |
841788c79a0e069a6e6b874e55b1f32e87acaf36 |
|
24-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
OWL2/Morphism.hs added for ATC generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15287 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc09e0a6af734edbd944dd8082bb51985c233b43 |
|
23-Jun-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
sign and symbols for THF.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15268 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a5571c8adeddd27548445546491725beb224ddd |
|
22-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock interface files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15250 cec4b9c1-7d33-0410-9eda-942365e851bb |
878a5ecd6acf973907e25e5be6e4a792ea19a05e |
|
21-Jun-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added new conv-instance for Ordering and fixed shaterm-generation for CSL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15230 cec4b9c1-7d33-0410-9eda-942365e851bb |
18d370f8341357f5d6a4068f4bb6981173ece70f |
|
20-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
corrected logic instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15223 cec4b9c1-7d33-0410-9eda-942365e851bb |
10ff53cbf1ec3ea6c62435eee9eb07ea85216aaf |
|
20-Jun-2011 |
Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de> |
Really switched to ManchesterParser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15219 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e622ddf5a057555db1924ddc88475c695c6f7f2 |
|
17-Jun-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Some changes in THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15210 cec4b9c1-7d33-0410-9eda-942365e851bb |
1365c420ef71be3d52796ebd369dc2defdedc822 |
|
17-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added java stuff cleaning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15209 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa0ca44e856c87db27e61687cbb630f270976da1 |
|
17-Jun-2011 |
Felix Gabriel Mance <f.mance@jacobs-university.de> |
Major change OWL2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15200 cec4b9c1-7d33-0410-9eda-942365e851bb |
bab2d88d650448628730ed3b65c9f99c52500e8c |
|
17-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added OWL2 as new logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15181 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a4b469ca0a7f44a598e551a973c75195207db58 |
|
16-Jun-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed CommonLogic/Sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15166 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a03acf9fa28e6ff00f4d7c9c6acbae64cf09c56 |
|
14-Jun-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added FreeCAD signature and basic spec types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15117 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9442174f64331ccf0bf08178632af7302ccfc96 |
|
08-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added owl2_java target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15090 cec4b9c1-7d33-0410-9eda-942365e851bb |
29703a78d99e901a34d0eadd79c5d0c4c6898489 |
|
07-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
add sun runpath /opt/csw/lib for gtkglade
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15079 cec4b9c1-7d33-0410-9eda-942365e851bb |
c8012b9719c73f08418af7a0b4ba28fa1d200631 |
|
27-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added HolLight test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15033 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5da047a9a875dec3f968b6c0df96af326f90fa9 |
|
20-Apr-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
some cleans in As and Parse. makefile added THF ATC generation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14972 cec4b9c1-7d33-0410-9eda-942365e851bb |
5afff1a0f62394414c33b06141175b3ab0b117a5 |
|
17-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed morphismToSymbolMapExtension and derived aterm instances for csp symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14733 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a2c652d2445d76e28ca75da2a5392f8cf870820 |
|
08-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added FPL test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14674 cec4b9c1-7d33-0410-9eda-942365e851bb |
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9 |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
started CASL extension FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14533 cec4b9c1-7d33-0410-9eda-942365e851bb |
a204259b2a95cf632336c164ff58331e9fd807e2 |
|
09-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Test.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14505 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a2dad705deefd1b7a7e09b84fd2d75f2213be47 |
|
08-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed Test file to avoid confusion on Macs with the test directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14501 cec4b9c1-7d33-0410-9eda-942365e851bb |
483333cb1e873b6d55f5ef0bfbf061861f0493ab |
|
27-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
add the parsec flag to inline axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14429 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d178ae08a52d61379e6b8074f61646499bc88bb |
|
21-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly make Test.hs target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14412 cec4b9c1-7d33-0410-9eda-942365e851bb |
22bd26413b512bcc2bd838945e3a56cdbbe01ac3 |
|
07-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added --ignore-all-exports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14344 cec4b9c1-7d33-0410-9eda-942365e851bb |
b363eb04791e7f735633b9b4088502c2bc50ebfc |
|
29-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
copy LICENSE.txt for the programatica package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14336 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc436618ae33856afa329ee53c4f47a2e19100ee |
|
17-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove aterm package building (use cabal instead)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14326 cec4b9c1-7d33-0410-9eda-942365e851bb |
59138b404f12352d103eeffbeaeb3957b90e75fd |
|
08-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added -fno-warn-warnings-deprecations for Data.Map.foldWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14297 cec4b9c1-7d33-0410-9eda-942365e851bb |
31d6d9286988dc31639d105841296759aeb743e0 |
|
05-Dec-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added pretty printing for hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14285 cec4b9c1-7d33-0410-9eda-942365e851bb |
df5eb1b8e587946c9d072f4ee6ac7d001719b034 |
|
01-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added LibDefn to DevGraph and modified anaLibDefn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14278 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2ac5a92cf36382e8deea5661c1964566caf72b3 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch off unused-do-bind warning for ghc-7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14225 cec4b9c1-7d33-0410-9eda-942365e851bb |
1535e1d8c82db5f7e2402261983c4c2ef39f4f39 |
|
26-Oct-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added HolLight
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14166 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1a913f880e409e7327b5deae95738b5448379a1 |
|
10-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to check CFLAGS for debian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14043 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62 |
|
19-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved cleaning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13908 cec4b9c1-7d33-0410-9eda-942365e851bb |
feca1d35123d8c31aee238c9ce79947b0bf65494 |
|
19-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Adl/adl test target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13904 cec4b9c1-7d33-0410-9eda-942365e851bb |
453f234d4f2c763ed47b269618cb5f31f10b3f8d |
|
30-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
support round-tripping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13796 cec4b9c1-7d33-0410-9eda-942365e851bb |
01645eac73dbc789392674930adc5745c935f3a0 |
|
30-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Adl_files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13792 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6697ad2479099b816203fd2c36f593c72c73c76 |
|
20-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid data type context
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13728 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b75c206b317eb30a08d88a8f27e0295ffeb1546 |
|
28-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CommonLogic/Morphism.hs to CommonLogic_files for ATC
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13639 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd6f22b9dcff2695181b86372e4df03d5b96e92d |
|
24-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added analysis of user-defined logics.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13628 cec4b9c1-7d33-0410-9eda-942365e851bb |
a42fbfe7becf0eae2d624123eb0db73a794593f0 |
|
17-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted programatica directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13604 cec4b9c1-7d33-0410-9eda-942365e851bb |
39ec02ed6f8f24492deffc7324e2cd6f83605534 |
|
14-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed release links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13592 cec4b9c1-7d33-0410-9eda-942365e851bb |
23ffcc44ca8612feccbd8fda63fa5be7ab5f9dc3 |
|
14-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed programatica tool directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13591 cec4b9c1-7d33-0410-9eda-942365e851bb |
005e0f0c6b0cc898003b03801158c208f3071fc5 |
|
08-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added static analysis for Framework
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13540 cec4b9c1-7d33-0410-9eda-942365e851bb |
514cf6a2a8777fbae38eb3ac01edce3511c46f08 |
|
07-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added development graph generation when analyzing logic definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13537 cec4b9c1-7d33-0410-9eda-942365e851bb |
624e6701e0deb7ac6c03c0cba0190fbc5033cf93 |
|
03-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Renamed the Reduce Logic Node to CSL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13506 cec4b9c1-7d33-0410-9eda-942365e851bb |
79834070d6d3c63a098e570b12fa3405c607dc70 |
|
01-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added parsing for logical frameworks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13470 cec4b9c1-7d33-0410-9eda-942365e851bb |
810746aea00b81c1eec27dae84d73a43599ff056 |
|
31-May-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused or broken source stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13460 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a0f6c31623d40c8035150a24f75855abc9c7ed9 |
|
26-May-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed changed haddock -v flag
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13440 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cd4f6541984962658add5cfaa9f28a93879881b |
|
22-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
pass --user flag to configure during setup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13373 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a3fe82695aa32657693e05712f84d7f81672f2e |
|
15-Apr-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added new logic QBF (propositional logic extended with quantified binary formulas)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13346 cec4b9c1-7d33-0410-9eda-942365e851bb |
5724300b30738b6298ac5dc162f41e33c40f9c12 |
|
24-Mar-2010 |
Karl Luc <kluc@tzi.de> |
added Symbol.hs common logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13269 cec4b9c1-7d33-0410-9eda-942365e851bb |
c2e192ace9ef7cfb0e59563f1b24477b2b65cff3 |
|
03-Mar-2010 |
Dominik Dietrich <Dominik.Dietrich@dfki.de> |
Integration of Reduce Computer Algebra System: data structures, logic node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13143 cec4b9c1-7d33-0410-9eda-942365e851bb |
7165a916d2fa1bf87c4741ec63b253413eebbf69 |
|
02-Mar-2010 |
Karl Luc <kluc@tzi.de> |
Aterm Conversion for common logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13135 cec4b9c1-7d33-0410-9eda-942365e851bb |
4981db7a09da0640b097201c3f14d75ff154e9c4 |
|
22-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CommonLogic because rule is still missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13106 cec4b9c1-7d33-0410-9eda-942365e851bb |
48aa0645e25883048369afc02aac3f49b14a50da |
|
22-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added logic CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13105 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f85afecbd79b3df5a0bb17bd28cd0b288dc3213 |
|
05-Feb-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Integrated Twelf into Hets so that files with the extension .elf are
passed directly to Twelf
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13041 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fc9de0da898448f1d3597ebbd8c04a066464c21 |
|
04-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added literal renamings to DG target node origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13034 cec4b9c1-7d33-0410-9eda-942365e851bb |
a545f813d2f8006ef79617e4fedc841d89195e2d |
|
05-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
created haddocumentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12959 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cd33d6101fb1b93baa6d86fac158af18a115108 |
|
22-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch off a new ghc-6.12 warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12950 cec4b9c1-7d33-0410-9eda-942365e851bb |
394483355215412eae4f3c06cd189081d2f68be5 |
|
22-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12947 cec4b9c1-7d33-0410-9eda-942365e851bb |
014dc30f64ec25e4790cca987d4d1e6635430510 |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove test_parser from tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12826 cec4b9c1-7d33-0410-9eda-942365e851bb |
6aea82c63ba1d2efc0329bc784a14e521469ec20 |
|
05-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added TESTTARGETFILES for binaries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12789 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b33802ca26124644f4311db4319376ecffdc8d2 |
|
30-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed inline axioms and created axioms directly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12760 cec4b9c1-7d33-0410-9eda-942365e851bb |
e46298bf227cf09ea7bc0c94d01f915aaa543aee |
|
29-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed inline axioms and created axioms directly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12753 cec4b9c1-7d33-0410-9eda-942365e851bb |
80c2d23821d095b55d9a547f48fc3fcdc27df405 |
|
28-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored consistency checkers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12745 cec4b9c1-7d33-0410-9eda-942365e851bb |
76b9b2974795a6fb31f242fd032de3ff66df6204 |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected ExtModal logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12733 cec4b9c1-7d33-0410-9eda-942365e851bb |
afaa83a4ca9cab6b8db80a7d07b8e9823d1d04ab |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL2PCFOL contains no inline axioms any more
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12718 cec4b9c1-7d33-0410-9eda-942365e851bb |
e112e83352048f3db8c8f93ae104193e7338c10f |
|
14-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove old haddock-0.8 stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12646 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a78868bae2ec6838c87366c35c57e109154c51e |
|
12-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
generate ATC_ExtModal file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12628 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1c309b2dbf9a0415c78cbbcbcb2b5ba5d10b776 |
|
09-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated unix-package dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12613 cec4b9c1-7d33-0410-9eda-942365e851bb |
54ea981a0503c396c2923a1c06421c6235baf27f |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a single Conservativity data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12527 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d905881cf97e122fb28ed5b9a9b0b220c85ec33 |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add Maude source paths to Makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12352 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f6d348903ba519e2663814805ba4792b0c4fe0e |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix dependencies for Haddock 2 documentation generation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12351 cec4b9c1-7d33-0410-9eda-942365e851bb |
e284004f10a315dbdb624c8b2522f65d485eaa48 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add a "build" target.
The target compiles all sources required for linking hets, but skips the linking phase. This greatly speeds up intermediate builds used to find compilation errors.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12224 cec4b9c1-7d33-0410-9eda-942365e851bb |
8cad04068a2a418a5592ae1c7b4dc2fe2c176e8f |
|
19-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed part of package_clean
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12157 cec4b9c1-7d33-0410-9eda-942365e851bb |
e440cf4b5a51501eb50f493eceb9ace6a280ab50 |
|
14-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore clean aterm package error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12131 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0b5ce95f738d35e520c20d1b0bd253f152a677f |
|
14-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored aterm package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12127 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f438c358f43b651266d1a8f13c695bd4a156800 |
|
14-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed BinaryInstances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12120 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f31d51d47da96200437dd3af1d785cd88a46f71 |
|
13-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
added skeleton for a gtk version of the prover window.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12116 cec4b9c1-7d33-0410-9eda-942365e851bb |
05a62e84edac8c64de04f8349dee418598d216b9 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12113 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf25e8c286cda74ef89a9cbc3c2143557e0d49c3 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
let cabal check go through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12112 cec4b9c1-7d33-0410-9eda-942365e851bb |
10883d13973c46cac98964b66ace7a52b2d059ab |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use aterms as cabal package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12108 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef9e8535c168d3f774d9e74368a2317a9eda5826 |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ATerm library to separate directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12107 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e8b136f23ed57d40ee617f49bcac37830b58cab |
|
13-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Binary stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12102 cec4b9c1-7d33-0410-9eda-942365e851bb |
18a1c714d79bdeb4d2b02ead007a6fe2c8a7470f |
|
12-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add instance BinaryLG SizedList and generate remaining instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12095 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8be50e86800db0b4afd0c20940f1882ec4d46fb |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add further input
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12084 cec4b9c1-7d33-0410-9eda-942365e851bb |
c911a0ec80ca4a178399c68f1e28be4e2bf42fce |
|
11-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Binary instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12079 cec4b9c1-7d33-0410-9eda-942365e851bb |
aded505f9b42cc38975559c2a5d175ae95de436b |
|
10-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive more ATC instances automatically
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12061 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e23d551da8fb051cc4752319740ae7858ef1044 |
|
04-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed haifa stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12025 cec4b9c1-7d33-0410-9eda-942365e851bb |
254df6f22d01eacf7c57b85729e0445747b630d9 |
|
20-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separat class for shared aterms that need a logic graph when read
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11975 cec4b9c1-7d33-0410-9eda-942365e851bb |
23b4e542dca35852f58d1fb3f7d9078c1de5ab06 |
|
10-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
generate ATC files for logic Maude
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11893 cec4b9c1-7d33-0410-9eda-942365e851bb |
33bdce26495121cdbce30331ef90a1969126a840 |
|
17-Jun-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Comitting CspCASL Implementation after a while.
Data types for CspCASLMorphisms, mapping morphisms over CspCASL
signatures and sentences. Additions to CspCASLProver where the
Isabelle generated code for channels may be incorrect with the respect
to the CspCASL semantics (will sort out soon). Some other parts of the
CspCASL Logic may also now be working.
--This line, and those below, will be ignored--
M Comorphisms/CASL2CspCASL.hs
M Comorphisms/CspCASL2Modal.hs
M Makefile
M CspCASLProver/CspCASLProver.hs
M CspCASLProver/Consts.hs
M CspCASLProver/CspProverConsts.hs
M CspCASLProver/TransProcesses.hs
M CspCASLProver/Utils.hs
M CspCASL/SignCSP.hs
M CspCASL/CspProver_Consts.hs
M CspCASL/AS_CspCASL_Process.der.hs
M CspCASL/Morphism.hs
M CspCASL/StatAnaCSP.hs
M CspCASL/SimplifySen.hs
M CspCASL/Comorphisms.hs
M CspCASL/Print_CspCASL.hs
M CspCASL/Logic_CspCASL.hs
M Isabelle/IsaConsts.hs
M Isabelle/IsaPrint.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11805 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff2cced55f8db4fe7b72b46f7852018e1e3283e4 |
|
04-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
new time package with Typeable instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11785 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb74267cf39e4e95f9eeb5c765f4c8dac33971b4 |
|
24-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a comment to the previous change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11754 cec4b9c1-7d33-0410-9eda-942365e851bb |
e4f4d096e5e6d60dd91c746d0e833d0ac7a29c50 |
|
24-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added swithing off programatica without sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11753 cec4b9c1-7d33-0410-9eda-942365e851bb |
456238178f89e5a3de2988ee6c8af924297d52d9 |
|
24-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add documentation and cleaned up unused targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11752 cec4b9c1-7d33-0410-9eda-942365e851bb |
247cc88aa55d0a7b6831767cd593ea885c6747a0 |
|
21-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
started implementing morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11740 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6c557605b327b033d881e74cc9f3cdbe3713b47 |
|
21-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed PGIP to CMDL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11735 cec4b9c1-7d33-0410-9eda-942365e851bb |
124c859ba4741d5e36d5d98634886b430b7af093 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed most PGIP stuff to CMDL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11709 cec4b9c1-7d33-0410-9eda-942365e851bb |
5311a7d34bc4694b97695070ed65b48505cdb0e4 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed obsolete targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11705 cec4b9c1-7d33-0410-9eda-942365e851bb |
da8353f130412f98f3c942c2d02ff2bb26babd20 |
|
14-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Syntax/ADoc.hs as haddock source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11680 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea3bff3e547a1ac714d4db39c5efef95e02b2e7d |
|
08-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add DFOL/Symbol.hs to DFOL_files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11661 cec4b9c1-7d33-0410-9eda-942365e851bb |
5bb1d4640078aa619ac9b114fc84a54c5df32178 |
|
06-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some cpp_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11650 cec4b9c1-7d33-0410-9eda-942365e851bb |
c802a1041ed9251f8ad79139454267e802900e2a |
|
30-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixes for owl_parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11626 cec4b9c1-7d33-0410-9eda-942365e851bb |
2def8973f409c9b44fc83b828cf0fe955d360d76 |
|
27-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11619 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b054cade993ef373d564b2d74c9c5a2da48f8b7 |
|
23-Mar-2009 |
Kristina Sojakova <kristinas@cmu.edu> |
Implemented Logic_DFOL to integrate the DFOL parser into Hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11566 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d170078860d52494588609be44be963c416ecf6 |
|
23-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed umlaut
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11562 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd781b581d11a1d345d0e04b47c3ae398acb46f3 |
|
23-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added DFOL to SOURCE_PATHS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11561 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea06324815fff0b73f7524f11af3672c2389f7ec |
|
23-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added logic DFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11560 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f0e3e4cb7dd31033c9682cafa712d2a66b2f3bc |
|
06-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also clean windows files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11493 cec4b9c1-7d33-0410-9eda-942365e851bb |
8be81a0578b59f08641da7fad1479e1f9e83c6e9 |
|
02-Mar-2009 |
Kristina Sojakova <kristinas@cmu.edu> |
Added abstract syntax for dependelntly-typed FOL (DFOL)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11459 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e5b095a19790411e5352fa7cf57cb0388e70472 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed comment for profiling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11436 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4415cf57b9d9c39b61d246b3b12b204b126232e |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected file name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11428 cec4b9c1-7d33-0410-9eda-942365e851bb |
2686d4438ffde954ffbb3a3f307642a893b33570 |
|
24-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tar VSE specification files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11425 cec4b9c1-7d33-0410-9eda-942365e851bb |
5580ab3e64410186ccd36cde8a94282d8757ac0d |
|
20-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
strip via ghc linker option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11412 cec4b9c1-7d33-0410-9eda-942365e851bb |
e05fd774e0181e93963d4302303b20698603a505 |
|
20-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed strip commands
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11411 cec4b9c1-7d33-0410-9eda-942365e851bb |
f98c3b23ebd00b305104c9df578abdc01607d215 |
|
12-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghci on linux works now with gtk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11385 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f3de7ac8ea03d05ffa005d494faf628e7fa6c35 |
|
23-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected haddock failures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11307 cec4b9c1-7d33-0410-9eda-942365e851bb |
55a09617886a31d9a9cb04a583bc4d4ef91b6c71 |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added simplification of CspCASL sentences, currently this is turned off while I develop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11228 cec4b9c1-7d33-0410-9eda-942365e851bb |
eaf34cf96fbfcdcce7f3bdb322c4ea7ebd1fd220 |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Implemented SimplySen for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11226 cec4b9c1-7d33-0410-9eda-942365e851bb |
53bd0c89aa4743dc41a6394db5a90717c1ca4517 |
|
06-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added sym_of for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11219 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc679edd4ca027663212afdf00926ae2ce19b555 |
|
02-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused objects and programatica lexer files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11198 cec4b9c1-7d33-0410-9eda-942365e851bb |
f38b3687c5558128515e34fb85d8b466d22dc300 |
|
22-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
limited support for haddock version 2.3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11188 cec4b9c1-7d33-0410-9eda-942365e851bb |
88b4f404b2ce8179a40e308abc984028889d16fa |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified uni imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11182 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf0a7c5d99e6134aaed216f841d3b70e3b7a02b5 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
cpp not (yet) needed for Temporal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11176 cec4b9c1-7d33-0410-9eda-942365e851bb |
d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made Temporal go through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11175 cec4b9c1-7d33-0410-9eda-942365e851bb |
74eed04be26f549d2f7ca35c370e1c03879b28b1 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
APPY -> HAPPY
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11174 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e9e95ba35a68f3c767bc0b23ebf9e904e442517 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
support uni version 2 with hierarchical module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11173 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5a6fff5181dad64c4d31e8e4fbb82d4f79813d8 |
|
18-Dec-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added files for Temporal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11172 cec4b9c1-7d33-0410-9eda-942365e851bb |
bea667f53e35535aa05b52ad8d5e5aa47f793c3c |
|
04-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to run with editline directly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11154 cec4b9c1-7d33-0410-9eda-942365e851bb |
5db0bfca8a3cd5d5f487ad70524bd6ec49fb439f |
|
04-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Interfaces directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11147 cec4b9c1-7d33-0410-9eda-942365e851bb |
75b0c0c2cbfb7edd3f4c0555227aabbe6c1aa195 |
|
04-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare exception handling for ghc-6.10.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11144 cec4b9c1-7d33-0410-9eda-942365e851bb |
c8acf4d00418dc649168d446e33f1ee7b1d052f1 |
|
03-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
check for NOMATHSERVER
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11142 cec4b9c1-7d33-0410-9eda-942365e851bb |
53bbc1c9a4e986d1ee9c081d6f0ac7b9546f212b |
|
28-Nov-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11114 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf7b17b0e19362e9228672782218678cab275d1e |
|
28-Nov-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
java stuff to makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11113 cec4b9c1-7d33-0410-9eda-942365e851bb |
b36f451c8ccd631dac70b541450c880b65d86f3b |
|
19-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
call ghci without -DGTKGLADE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11038 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4d469c9b085a55257fdf67133b6d0dbabb88032 |
|
17-Nov-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
stub for OWL sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11025 cec4b9c1-7d33-0410-9eda-942365e851bb |
317bcd45211dd8f28a8ebb3dee7a67197391fc0d |
|
10-Nov-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed DL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10984 cec4b9c1-7d33-0410-9eda-942365e851bb |
12251a9d23f842673978d0ad6692527ef320c55d |
|
31-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added TABULAR_PACKAGE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10925 cec4b9c1-7d33-0410-9eda-942365e851bb |
710cb26295c28ed4410d05868c985f7e800d29b9 |
|
30-Oct-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
truth table prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10921 cec4b9c1-7d33-0410-9eda-942365e851bb |
4485d1c9ef1ff5a45c3ac3f76b7e952099625678 |
|
29-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed OWL11 to OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10911 cec4b9c1-7d33-0410-9eda-942365e851bb |
a14767aeac3e78ed100f5b75e210ba563ee10dba |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused the same proof tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10890 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8b7022c1b8c2d683790eaee5e4b1b7fe9e47b83 |
|
23-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not unregister packages that should come from hackage
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10872 cec4b9c1-7d33-0410-9eda-942365e851bb |
26fd6c96325cc67ca85f4a87e18c4047a2448567 |
|
23-Oct-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
fixed makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10869 cec4b9c1-7d33-0410-9eda-942365e851bb |
06ba24fa9695b698437546276f37aa5e1924ad1b |
|
21-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
unset PFE_FLAGS without programatica directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10852 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9a7e6af169a2adfb92f42331cd578065ed83a2b |
|
21-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved common variables to var.mk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10850 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4451dc7da4a15726ba96179aecf046a5df5cae1 |
|
20-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to exclude OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10849 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d549a835ffd3a11c3ed74e0f8fda30fda6a9528 |
|
20-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed hackage packages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10848 cec4b9c1-7d33-0410-9eda-942365e851bb |
44e2af9d1df92a39d25ac439c00c338e0ed5652b |
|
20-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched on SHELLAC and HXTFILTER opts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10847 cec4b9c1-7d33-0410-9eda-942365e851bb |
1dfba1f850f6a43094962b459998d1ea11472461 |
|
13-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved append target out of programatica section
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10812 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c8d3c5a9e938633f6147b5a595b9b93bfca99e6 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated HetCASL and LibEnv related parts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10717 cec4b9c1-7d33-0410-9eda-942365e851bb |
697e63e30aa3c309a1ef1f9357745111f8dfc5a9 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated library names from HetCASL libraries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10708 cec4b9c1-7d33-0410-9eda-942365e851bb |
e059476130210dbb1896e753eb0a5e8c4f219f4a |
|
12-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added UNI_PACKAGE deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10677 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b767d09a78927b111f5596fdff9ca7d2c1a439f |
|
08-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
integrated glade files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10663 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ee9c3b2afb91936242d34ebb8bd370b8080bcd9 |
|
07-Sep-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added better GTK/Glade support. Fixed problems with multithreading, a thread for the gtk main loop is created at startup and all gtk interaction takes place inside that thread. Added rules to Makefile to convert glade files into hs files where the xml data is stored in a string. Added function to store xmldata into a temporary file to load it with glade. Added a gui for the constistency checker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10662 cec4b9c1-7d33-0410-9eda-942365e851bb |
01e278bdd7dce13b9303ed3d79683d83c89d09f9 |
|
19-Aug-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
merged Isabelle.IsaSign and Isabelle.IsaProof
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10539 cec4b9c1-7d33-0410-9eda-942365e851bb |
3cebed461275f4a368d7ec864dfcab8e22ef6e2d |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
no PosItem instances need to be derived
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10287 cec4b9c1-7d33-0410-9eda-942365e851bb |
7809fb14d290d257ed6d46a2dd563227e227fcf3 |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added gtk/glade menu for linktypes spechub/Hets@66c1fe1d309ad44ca5cfcc72aeb872a35e25a0e1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10286 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdd2ea0556081ab3fdca6cd8846c4f1eee74fd3a |
|
09-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Liam: Added a basic Isabelle Proof datatype and integrated it into IsaSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10285 cec4b9c1-7d33-0410-9eda-942365e851bb |
64d532f676706149814b58c97cd064ca5993cccf |
|
02-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
Static/test/TestDGTrans does still not work on a ppc mac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10248 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac9d7d2b2bc3c8e0cd867aabae31372177957c57 |
|
02-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added test target from spechub/Hets@3f95302b4255b33e3eb9c597c0d23838a9a815b6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10237 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5f2c55174d98e1a4595e041ad4ce35a16be76fd |
|
28-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed OMDocExt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10223 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8e1a1eca871a26a535a4ee7d51902ba94b1db1e |
|
27-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
revived logic OMDoc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10218 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f95302b4255b33e3eb9c597c0d23838a9a815b6 |
|
24-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
delete test target that does not link on ppc mac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10188 cec4b9c1-7d33-0410-9eda-942365e851bb |
368c26b8ad68a4b2c42963626087667000c2eebf |
|
19-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pkg targets as phony
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10154 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc5779c9b7625d5d2fa8891c043cefc4cdfb0588 |
|
18-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Shellac-editline on Macs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10147 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0279930f87bf39843e0bd2992a4789322662144 |
|
18-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to hxt-8.0.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10146 cec4b9c1-7d33-0410-9eda-942365e851bb |
51d769d55d88dfa88bdf54bee78d8fa85a2deba8 |
|
16-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added PATCH for solaris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10108 cec4b9c1-7d33-0410-9eda-942365e851bb |
328a85c807f2a95c3f147d10b05927eaf862ebeb |
|
05-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added PosItem to overload resolution
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10071 cec4b9c1-7d33-0410-9eda-942365e851bb |
809f779e1f197b18e3ce57e6ed37c00817298721 |
|
02-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to compile without uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10050 cec4b9c1-7d33-0410-9eda-942365e851bb |
7868299829c1318b888152243ec2cea4f598b568 |
|
02-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added program folding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10049 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bdc9c0783f9c8c830346e6baeac9306eee1a622 |
|
26-May-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added VSE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10023 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b3a2f98d1cd01fc9e0591f69507e20526727559 |
|
08-May-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added CASL_DL sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9996 cec4b9c1-7d33-0410-9eda-942365e851bb |
e39a1626bee36d6ad13a2c0014a80ef179a65bcb |
|
25-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added VSE abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9981 cec4b9c1-7d33-0410-9eda-942365e851bb |
09d6f5d326545acfea43d3ffe1493c2176366475 |
|
07-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
relaxed HaXml's version string matching
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9724 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0188a95f8da2e660fbede7dac291e2c2e9e9da8 |
|
29-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added -threaded
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9674 cec4b9c1-7d33-0410-9eda-942365e851bb |
05a206508bc898f87fe6ab6e069814df3c29d303 |
|
28-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Parser for Rel Scheme is Ready...
Instantiation as Logic for Rel has begun
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9667 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e5d3e82af3bc2834f8718a52d9f45da80220273 |
|
27-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
AS, Parser (incomplete) for Rel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9660 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9b331bded61b8860edacac91df16ee19e465b42 |
|
22-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
rearranged HC_FLAGS and HC_OPTS for profiling without extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9606 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a731d542987c87ba5ee1d8767d5cd61de8fdfc9 |
|
20-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected echoed Shellac package names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9593 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba3a7a915740c57c9cb3d2bec46b919fcba12692 |
|
20-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
add pkg Shellac-compatline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9587 cec4b9c1-7d33-0410-9eda-942365e851bb |
13731dfbb4b6a31b35dd210e832e920065b6ac45 |
|
11-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not ignore assert when profiling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9540 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd2c22348e5a69231f92fb44e35a9970b47c4e93 |
|
25-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed date command comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9479 cec4b9c1-7d33-0410-9eda-942365e851bb |
f78ce817f35574674d54e30ad1861a9b4ced20ca |
|
25-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
revived initialize_installer to set the version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9478 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7ed1a4d8b6bd3158145a391aec276991e3423f9 |
|
24-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened initialize_installer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9475 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a611630351f30bdd5b0ec4d812269b37545e5d3 |
|
24-Jan-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9468 cec4b9c1-7d33-0410-9eda-942365e851bb |
00ccf62b4570513e965eb156ab5916ec816c5d2b |
|
23-Jan-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added DL logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9465 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb1623b4a9774a968d61a4aa7464ff32f0b40fec |
|
23-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added missing backslash
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9464 cec4b9c1-7d33-0410-9eda-942365e851bb |
08a9ed51994f61c84bbbd38650e446d491790859 |
|
22-Jan-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added Description Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9456 cec4b9c1-7d33-0410-9eda-942365e851bb |
74ed33551361b268c9dec050abd9af0da6db482b |
|
19-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
special OPTS_MAC are no longer needed with ghc-6.8.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9395 cec4b9c1-7d33-0410-9eda-942365e851bb |
06dd4e7c29f33f6122a910719e3bd9062256e397 |
|
19-Dec-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - added Range to CspCASL processes and (most) associated types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9393 cec4b9c1-7d33-0410-9eda-942365e851bb |
70731e5459a18fc473bdc962ca94d1c12de974af |
|
14-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow compilation without uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9373 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d401657e07a01e10400265f508f75353a9fba4c |
|
07-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
let haddock ignore itcor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9336 cec4b9c1-7d33-0410-9eda-942365e851bb |
81c15526a787941b48b02ae8786782f9fb578801 |
|
06-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ReadWrite dependency for ATC_OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9323 cec4b9c1-7d33-0410-9eda-942365e851bb |
b891e9ad7dd358a7df24b59bf00d51515078497c |
|
06-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
(re-)added OWL ATC rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9322 cec4b9c1-7d33-0410-9eda-942365e851bb |
812375f0965c289e1cd10182e1240a9a3a85f9a0 |
|
06-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added OWL logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9321 cec4b9c1-7d33-0410-9eda-942365e851bb |
c70ef4c3b3a62764f715510c9fd67dde3acfe454 |
|
05-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
used ATC_OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9317 cec4b9c1-7d33-0410-9eda-942365e851bb |
986d3f255182539098a97ac86da9eeee5b7a72e3 |
|
05-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type synonyms and some other CASL code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9316 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6db617ca58eb6a0587b6366e913107dfecb71b5 |
|
05-Dec-2007 |
Heng Jiang <jiang@tzi.de> |
removed old OWL_DL; modified hets, option, makefile for owl 1.1 and install.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9310 cec4b9c1-7d33-0410-9eda-942365e851bb |
846d851fc0c2c49e949763cd3407634ba0f726c0 |
|
28-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CASL_DL2CASLHelpers.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9261 cec4b9c1-7d33-0410-9eda-942365e851bb |
82e29b77f0ef4cccd7ed734692c5e1e93dbbc645 |
|
27-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
support profiling with template haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9252 cec4b9c1-7d33-0410-9eda-942365e851bb |
93f5b72fdb9ee734caa750b43dd79bbb590dcd73 |
|
27-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added OWL's ReadWrite.hs files to drifted files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9248 cec4b9c1-7d33-0410-9eda-942365e851bb |
aebb0b18fe5e6ba7dd7e4c66a16a905611ef7ba9 |
|
26-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
build DriFT before genRules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9244 cec4b9c1-7d33-0410-9eda-942365e851bb |
afae8493e1c904789e3352f6daae63bd66cf057d |
|
26-Nov-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added QuickCheck model checker for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9241 cec4b9c1-7d33-0410-9eda-942365e851bb |
498aa48bdb931ab50990d3b74318a5db2312186c |
|
23-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
OWL_DL test case no longer works
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9234 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c812cd83569e973f10cf69a342424ceabc07af9 |
|
23-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up derived_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9233 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fd4c34af8415eb699517b1b238a24c02a9a2e9b |
|
21-Nov-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added darwin as model finder
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9224 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a16630d441d6bae2f7d2531769d2ed654f0e43f |
|
21-Nov-2007 |
Heng Jiang <jiang@tzi.de> |
simple staticAnalysis and output for owl11
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9223 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6082d6cfdfbdc6a4e70430bb25638dfa4f0db9b |
|
11-Nov-2007 |
Heng Jiang <jiang@tzi.de> |
parser for owl-1.1 to functional style syntax + test case.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9156 cec4b9c1-7d33-0410-9eda-942365e851bb |
210aa1071465039588fa9e38c10e343631c34655 |
|
07-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove Setup earlier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9150 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c9df69accd8924e7cef3bf8f686626958499c7a |
|
07-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
configure needs --user option now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9145 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9e0b18852b238ddb649d341194e05d7200d1bbe |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended signatures are already needed during logic specific static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9093 cec4b9c1-7d33-0410-9eda-942365e851bb |
1bc5dccbf0083a620ae1181c717fea75e4af5e5c |
|
18-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9060 cec4b9c1-7d33-0410-9eda-942365e851bb |
a1ed34933c266ce85066acb0d7b20c90cb8eb213 |
|
11-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
put DRIFT_ENV on a single line
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9036 cec4b9c1-7d33-0410-9eda-942365e851bb |
4377600ef3dfb3962ec4c3de76e8486291b644ee |
|
28-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added OWL test dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8958 cec4b9c1-7d33-0410-9eda-942365e851bb |
48c12c2751928dcfe1d6a49e6c3ebb6dcaa4867f |
|
21-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified DERIVEPATH (after changed import chasing)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8889 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4a6d336c6045d50c34fe57b4243f8d00737b583 |
|
11-Sep-2007 |
Heng Jiang <jiang@tzi.de> |
added a variabel from Izpack; copy before install the binaries of MAC-SPASS to installer-dir.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8835 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d5dbbc3308f05197868806e0b860f4f53875f1 |
|
11-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Haskell/test from TESTDIRS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8829 cec4b9c1-7d33-0410-9eda-942365e851bb |
797ccd67cb8ae127be097cd43448801b673e3b69 |
|
04-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added dfg-Parser as test target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8787 cec4b9c1-7d33-0410-9eda-942365e851bb |
9dac90ec2be2a72e03893095461960d483fe2fc2 |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Modifications to source directories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8688 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fa1f3f5e69f1dc502a3c8e448d3a8a88f68c28f |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made DevGraph.hs is now an atc_file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8620 cec4b9c1-7d33-0410-9eda-942365e851bb |
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separate module for G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0cab839c73a1b1d561d61edee01956c60c2fbf1 |
|
06-Aug-2007 |
Heng Jiang <jiang@tzi.de> |
use current getAllHets.sh instead of this in released version, because this file should be always changed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8543 cec4b9c1-7d33-0410-9eda-942365e851bb |
5818d884784339c1b8aa6c6d972bad4eafd36ccb |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected and simplified generation of hets_maintainers.txt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8472 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa0f3519d71f719d88577b716b1579776b4a2535 |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed revision selection for releases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8378 cec4b9c1-7d33-0410-9eda-942365e851bb |
42b1fb9dc7ec4f8d25e5cb514f8cafe24bee44ac |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
comment out REV
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8373 cec4b9c1-7d33-0410-9eda-942365e851bb |
db53a2121dbea1a4cfbfe0375be5743138beb77c |
|
13-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
make release 0.73
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8372 cec4b9c1-7d33-0410-9eda-942365e851bb |
15503d903d142d317200149b2d1d642053530365 |
|
13-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added TestDGTrans as test target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8369 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd36bffee51c77cdadcb9f916b34fa512e311946 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added replaceAllHeaders to release target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8304 cec4b9c1-7d33-0410-9eda-942365e851bb |
c63ebf815c8a874525cf18670ad74847f7fc7b26 |
|
09-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
Id is fine as Header for top-level files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8298 cec4b9c1-7d33-0410-9eda-942365e851bb |
79e80c4b3f0ebb337d84415a50f29ccfc793e68b |
|
09-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved -ddump-minimal-imports flag comment back to the proper position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8291 cec4b9c1-7d33-0410-9eda-942365e851bb |
be218d4b48c5447b7b08c1e323e048a0cfae2d6e |
|
05-Jul-2007 |
Hendrik Iben <hiben@informatik.uni-bremen.de> |
removed OMDoc/HetsInterface.hs from cpp_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8253 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea0dd71829400e24c3d8a7b7440cd6b42c34a3b8 |
|
04-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Comorphisms/test/sublogicGraph test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8248 cec4b9c1-7d33-0410-9eda-942365e851bb |
edd1b7f4720bc2eea51fa0685417e1e4f3be4915 |
|
27-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected generation of documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8154 cec4b9c1-7d33-0410-9eda-942365e851bb |
f04e8f3ff56405901be968fd4c6e9769239f1a9b |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Renamed almost all files with SPASS into SoftFOL.
Only SoftFOL/Logic_SPASS remains.
It will be updated very soon.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8150 cec4b9c1-7d33-0410-9eda-942365e851bb |
c59d1c38ef94b4fb1c8d9fda9573bc1e1d2801e7 |
|
22-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove .svn rather than CVS dirs now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8120 cec4b9c1-7d33-0410-9eda-942365e851bb |
99afa6000472f3d291fdf9193ea19d334a58658d |
|
22-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted release target to svn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8118 cec4b9c1-7d33-0410-9eda-942365e851bb |
d534c548bf83a00375e5205b62a55bf6abd32a90 |
|
13-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Razvan's sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8027 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a052be70359940a2ffd4588533beefa6196a38f |
|
13-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed deleted files from cpp_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8026 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1bf9cc3bc3729b0bf925be3be123cbb59bea2a6 |
|
21-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
dereference symbolic links for target doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7922 cec4b9c1-7d33-0410-9eda-942365e851bb |
b886e9e5db2098d0112cc4f70aeba232962939dd |
|
09-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch on profiling, CMDL_tests needs uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7875 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8bebe0559abdfcd912ac68cf0948fe601249a66 |
|
02-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CompositionTable as cpp source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7866 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a5fda85e9eaf0e6a18d0dd2b8535805c5135e9a |
|
24-Apr-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
zChaff seems to work... so far
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7841 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a9437fabd7b65fe4aa1c59c6f79f154f3cf8841 |
|
22-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed RELEASETAG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7739 cec4b9c1-7d33-0410-9eda-942365e851bb |
2d6d9112c010389cde5625404c4f437aa7fa3cd4 |
|
21-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
no blank between r and tag
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7721 cec4b9c1-7d33-0410-9eda-942365e851bb |
827281b56348d7b2dc1b911a7f7f6d973ad6abe1 |
|
21-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
release-0-7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7720 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1559d046eb2c6dde0e6e272b37b6756eac0e8ad |
|
15-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid cleaning too much
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7683 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ed0007ac9caea5b468f202521352d153481423c |
|
14-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted to revision 1.394
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7678 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc25d3fa5ffeeab2bbf64496bc324392fe82f025 |
|
14-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
modified , yet.) The resulting hets binary now creates a file hets.prof for inspection if executed with additional final arguments +RTS -p.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7677 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecf76bc89d9a2ecd7ac7310d30654b9a79d97d62 |
|
09-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added system dependent setting of flags for linking against GNUreadline.framework on Darwin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7633 cec4b9c1-7d33-0410-9eda-942365e851bb |
cef2a3ba4ae8b76980733a5e6fc025df18001962 |
|
08-Mar-2007 |
Heng Jiang <jiang@tzi.de> |
corrected password of cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs login
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7624 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b5b696aa3bc2a6747a4eeac777f850788482c98 |
|
08-Mar-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added subsorting to Prop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7621 cec4b9c1-7d33-0410-9eda-942365e851bb |
63fd75b1839e6d061eaa2d8d72011b6ca53b0ca9 |
|
05-Mar-2007 |
Heng Jiang <jiang@tzi.de> |
don't copy the getDailyHets.sh to Installer_dir; bugfixed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7600 cec4b9c1-7d33-0410-9eda-942365e851bb |
03a6d8f77f588dc5d3dd6653797fa2362efa1751 |
|
05-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted flags to packages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7598 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5d349836d8b1fa93ea49a59d977b106c6e9233b |
|
03-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
forced LANG=C for generating Driver/Version.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7596 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1fc44bcc364a48f94b73b7995c2325e37359db7 |
|
02-Mar-2007 |
Heng Jiang <jiang@tzi.de> |
copy SPASS-ppc-mac in the correct path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7589 cec4b9c1-7d33-0410-9eda-942365e851bb |
4cebc36bf8f031fa00913116b484cf4b6688db47 |
|
02-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed #endif comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7588 cec4b9c1-7d33-0410-9eda-942365e851bb |
42b12fba6830ada5057949f825fc27edf5574e5f |
|
02-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
utils/Setup.hs must remain excluded
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7587 cec4b9c1-7d33-0410-9eda-942365e851bb |
20951481595b26f528a43505beafa22d2d062175 |
|
02-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed LogicStructured.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7586 cec4b9c1-7d33-0410-9eda-942365e851bb |
8cd72b733acb365791cc412583bdffde521f89bc |
|
28-Feb-2007 |
Heng Jiang <jiang@tzi.de> |
copy getDailyHets-installer.sh to insteller path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7569 cec4b9c1-7d33-0410-9eda-942365e851bb |
8451c0f87cd1c53edee413e5154dbe7e44448664 |
|
26-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
move Setup clean
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7549 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b349288edfa50fdf38fda1a14e1562d03f92574 |
|
26-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added annos target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7548 cec4b9c1-7d33-0410-9eda-942365e851bb |
68d10d143f29fcff3c637ba24f90e983995ceae6 |
|
22-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed cleaning up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7505 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5e5b8c3e5c11177e5034ef2423813a5d28979ed |
|
22-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved patch inside programatica_pkg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7499 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4a2a20e49f41b2afa657e5e64d9e349c7faa091 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
make a haifa package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7496 cec4b9c1-7d33-0410-9eda-942365e851bb |
efde681e48393c4faeb1c2e66247f45166e0b03e |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Common.DynamicUtils by Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7492 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ad5dffe06818a13e1632b1119fbca7881085fc1 |
|
21-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Addes Symbols to Propositional
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7489 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc8cbf12aa172bf5673b92a9e7a0151d4aa4c315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct programatica_pkg deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7485 cec4b9c1-7d33-0410-9eda-942365e851bb |
2d130d212db7208777ca896a7ecad619a8944971 |
|
20-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
build a programatica package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7475 cec4b9c1-7d33-0410-9eda-942365e851bb |
215d42ce4d6397a453d5887292bc786e8fa9c1a2 |
|
19-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to hxt-7.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7462 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf04ba46b9eb495d334466e24e082e391055ca7b |
|
19-Feb-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Refined propositional, better comments, more code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7460 cec4b9c1-7d33-0410-9eda-942365e851bb |
1538a6e8d77301d6de757616ffc69ee61f1482e4 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
More CspCASL tweakery.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7452 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9eb54cc6c92b077bd1a64fd2694a023ea147aa9 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
More CspCASL disentangling.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7451 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ea916d1e6aea10fd7b84f802fb5148a79d8c20a |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
Working on CspCASL integration; slowly disentangling old version. Have
reached a stable state, but still some work to do.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7445 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8c7e78f1bdddca2903d5008a4e47052b4225634 |
|
13-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Propositional to the CLEAN_PATH and thus to the sources for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7422 cec4b9c1-7d33-0410-9eda-942365e851bb |
f041c9a6bda23de33a38490e35b831ae18d96b45 |
|
05-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing white spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7379 cec4b9c1-7d33-0410-9eda-942365e851bb |
6770ec11184086a81daddba75e0cd1f45a2eff96 |
|
05-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed HasCASL/As.hs from drifted_files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7378 cec4b9c1-7d33-0410-9eda-942365e851bb |
84c3b16fd18eeee7515d815a966cc10b6c6d2c0e |
|
19-Dec-2006 |
Heng Jiang <jiang@tzi.de> |
corrected hets.in.INSTALL_PATH=/home/jiang/tmp/Hets-2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7274 cec4b9c1-7d33-0410-9eda-942365e851bb |
bea81dabd203833818cb4a5f3758977c695728cd |
|
12-Dec-2006 |
Heng Jiang <jiang@tzi.de> |
extract daily-hets-package at the time of installing in stead of by Makefile; fixed bugs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7251 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab109c81f9d3f3fd5f2ae3fca759fb768431e90c |
|
12-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
only delete generated files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7249 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac34194a668399bb8ef238da77c3a09e93fb253b |
|
11-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
attached module name to data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7242 cec4b9c1-7d33-0410-9eda-942365e851bb |
77aa4b87bdccf1aa41b01546cbe093a58f846bda |
|
10-Dec-2006 |
Heng Jiang <jiang@tzi.de> |
corrected sed command.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7239 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3053d57f642ca507cdf79512e604437c4546cb9 |
|
08-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced uname -p
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7236 cec4b9c1-7d33-0410-9eda-942365e851bb |
8394ed8354319d3d5c72780813ea9a868b9d379f |
|
07-Dec-2006 |
Heng Jiang <jiang@tzi.de> |
corrected sed command; added HETS_ISABELL-variable.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7234 cec4b9c1-7d33-0410-9eda-942365e851bb |
c8d5f54940ff821a1b55da52f3b55be432507ba3 |
|
06-Dec-2006 |
Heng Jiang <jiang@tzi.de> |
try to get hets-version with sed-commando for hets-installer.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7232 cec4b9c1-7d33-0410-9eda-942365e851bb |
02b60bce7eac99f86a8f80bf3f651bdaf7316e0e |
|
05-Dec-2006 |
Heng Jiang <jiang@tzi.de> |
get hets version number from version_nr.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7228 cec4b9c1-7d33-0410-9eda-942365e851bb |
c2fcc35abb03cf0b4ca4b050efeb10827f38c322 |
|
04-Dec-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock to package setup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7227 cec4b9c1-7d33-0410-9eda-942365e851bb |
27785f379d6810811b4e6d23feab18845fde9a98 |
|
30-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haifa_pkg and package_clean to distclean
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7219 cec4b9c1-7d33-0410-9eda-942365e851bb |
757e6c79ec40491d45dc72c82b5eb59a386634b0 |
|
30-Nov-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
re-added -fcontext-stack60 that is -static for ghc-6.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7216 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebc85642370ea13977fae669fb9b1058b25922c6 |
|
30-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old hetcats.TAGS target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7214 cec4b9c1-7d33-0410-9eda-942365e851bb |
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37a |
|
27-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
precompile Setup and install packages platform dependent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7206 cec4b9c1-7d33-0410-9eda-942365e851bb |
df35538fec1d9135602308d577255c0d466b6365 |
|
27-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more test targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7205 cec4b9c1-7d33-0410-9eda-942365e851bb |
7dfbfdd1c4175dc0f640b1731a70854526c0e5c6 |
|
24-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Shellac cpp_source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7200 cec4b9c1-7d33-0410-9eda-942365e851bb |
01b16c4bdd2a3577214f79a64aed02f54e8a204e |
|
23-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a non-source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7192 cec4b9c1-7d33-0410-9eda-942365e851bb |
c2a4d8ae266aa37cc922eba97077520229a19902 |
|
23-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added -fcontext-stack60 as local option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7191 cec4b9c1-7d33-0410-9eda-942365e851bb |
12ef2d264ce3d7099f1510c34d68d430a835408a |
|
22-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove accidental -v ghc option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7183 cec4b9c1-7d33-0410-9eda-942365e851bb |
3033552dc152c07371764218c24960f83bcaeae6 |
|
22-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
install packages in home directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7181 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e5a48144ed584bb2db00605526f7d34a3fc2eba |
|
22-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
install packages in safer directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7180 cec4b9c1-7d33-0410-9eda-942365e851bb |
7cc09dd93962a2155c34d209d1d4cd7d7b838264 |
|
22-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
query for SunOS correctly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7178 cec4b9c1-7d33-0410-9eda-942365e851bb |
1aee4aaddde105264c1faf394d88e302c05094ff |
|
22-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
install readline, http, hxt and syb-generics cabla packages first
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7177 cec4b9c1-7d33-0410-9eda-942365e851bb |
356fa49fe3e6a8398f92d13e9f920d0f093697ec |
|
06-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added HAXML dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7128 cec4b9c1-7d33-0410-9eda-942365e851bb |
af12672e86f22a822a9915a21efbbbc04a01e3c1 |
|
19-Oct-2006 |
Heng Jiang <jiang@tzi.de> |
modified for hets-installer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7073 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9b59eb2ce961014974276cdae0e9df4419bd212 |
|
16-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added fno-monomorphism-restriction for programatica's FiniteMap.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7054 cec4b9c1-7d33-0410-9eda-942365e851bb |
a883cd4d01fe39d23219cf5333425f195be24d8b |
|
12-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed hets.cgi options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7050 cec4b9c1-7d33-0410-9eda-942365e851bb |
dabbb2fa8fb85c3435ef309838bc80b123c1925e |
|
12-Oct-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed package data for ghc-6.6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7042 cec4b9c1-7d33-0410-9eda-942365e851bb |
89c9d707aa817684b88036a2dad66c3437840677 |
|
08-Oct-2006 |
Heng Jiang <jiang@tzi.de> |
only copy Makefile.installer and utils/getDailyHets.sh to
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7019 cec4b9c1-7d33-0410-9eda-942365e851bb |
feac53e31a8351e3e3c6621f6a14b5714008bfc7 |
|
08-Oct-2006 |
Heng Jiang <jiang@tzi.de> |
merged hets-installer in Makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7018 cec4b9c1-7d33-0410-9eda-942365e851bb |
0769e2a25732dc2544b2a7425dfa284e24d23b71 |
|
26-Sep-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed data and text package from PFE_FLAGS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6981 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2d9352f2999f82c36b4b65535d14a6a40ae5a82 |
|
22-Sep-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed hssource for ghc-6.6
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6963 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d48df27e647ee84056df7985f09b60e1877bad6 |
|
13-Sep-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more cpp stuff for uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6934 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a4a188f970f46352d1a1f49c14ae45498e8cd13 |
|
13-Sep-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
cpp for uni in PGIP/Common.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6933 cec4b9c1-7d33-0410-9eda-942365e851bb |
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1c |
|
21-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
clean derived Haskell files without programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6866 cec4b9c1-7d33-0410-9eda-942365e851bb |
473bc1f3f3443f18e0ee83e4642fab42183470f2 |
|
18-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Shellac-0.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6855 cec4b9c1-7d33-0410-9eda-942365e851bb |
b568982efd0997d877286faa592d81b03c8c67b8 |
|
01-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove Haskell/PreludeString.hs before recreation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6754 cec4b9c1-7d33-0410-9eda-942365e851bb |
f443a57f2a8e0ca3daa7431b0c89a18ba52c337a |
|
26-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added showKP to .PHONY targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6721 cec4b9c1-7d33-0410-9eda-942365e851bb |
47b0e9f3cb008cb7997f4e3bae26e4d62dcc887a |
|
26-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed path and rule of showKP to the default
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6720 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9b960bc75e34658e70c4a0231dbc6a6e7373f2d |
|
26-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Comorphisms/PCFOL2CFOL.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6717 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c7a54ad8bf776a530ecf907a373d42415cf4fae |
|
20-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added PGIP to CLEAN_PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6697 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbb |
|
14-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured Sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6664 cec4b9c1-7d33-0410-9eda-942365e851bb |
4cb215739e9ab13447fa21162482ebe485b47455 |
|
10-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed dependency for INLINEAXIOMS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6644 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9da9c9694b088b3472513ec9b48b248e5e44be7 |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
Static/DGTranslation.hs works now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6627 cec4b9c1-7d33-0410-9eda-942365e851bb |
03ef54c97b3dbc6f829c12e084fbad2e96fcc9a8 |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed test target with too many warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6618 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a28707e9155465c6f2236a06eac6580a65c7025 |
|
05-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6604 cec4b9c1-7d33-0410-9eda-942365e851bb |
9096f6c6aaded6cd8288656ceccd4c7b3bd0747e |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added dep for DevGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6531 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c9a63e4f7c6879f51fe0f32154a9116f2c126db |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added global annos to HasCASL signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6488 cec4b9c1-7d33-0410-9eda-942365e851bb |
14c67135825eeb12c2a6a0a89fc969c21d67a43c |
|
07-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Static/DGTranslation.hs to non_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6420 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad4889ebb40efae8595b0969dd6ba1162d52bac3 |
|
30-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
omitted file to patch, removed valid non_doc_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6400 cec4b9c1-7d33-0410-9eda-942365e851bb |
ffd3a0c7339cc3637f022c38e66a7aa9f0cf10d3 |
|
22-May-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
added MathServCommunication into nondoc_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6368 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa6c527682224a4e1434f80eae8bc2ef67fb6ca6 |
|
19-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed release target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6361 cec4b9c1-7d33-0410-9eda-942365e851bb |
37951dbd8e5f2418a07f072d9bf551d0c3a1eafc |
|
17-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added RELEASENR
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6347 cec4b9c1-7d33-0410-9eda-942365e851bb |
caa7f6cdf9f7d08300b4b17f1eaca30fdc6c94e1 |
|
17-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some dependencies of INLINEAXIOMS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6340 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c5c311d67e187280877c45bd89dcba9038bc0a3 |
|
12-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
exclude some sources for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6319 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdd280437686b1e2e25e3761d4adf3d4a0a2d11c |
|
10-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added ghc option increasing the context stack size for Haifa
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6308 cec4b9c1-7d33-0410-9eda-942365e851bb |
a53841f6d6e86ac751c12a33dc8aadf53f59d977 |
|
10-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added and renamed paths relevant for Haifa
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6305 cec4b9c1-7d33-0410-9eda-942365e851bb |
e62d49c0dc2893da75faad896bd135e2e9a7087b |
|
09-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Improved cicular dependency checking; added additional directories for HAIFA; removed an unused dependency from GENERATERULES_deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6294 cec4b9c1-7d33-0410-9eda-942365e851bb |
11b55e6fbbc397b9fa41a7d61be53c6f4f027824 |
|
27-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added OMDoc/HetsInterface.hs to cpp_sources for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6261 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7c27282e71cf4505026645f96d4f5cb8a284e32 |
|
25-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed binaries that produced .dot files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6255 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ac9d0515d61f4d1e8b03ef346e1ec625a2ff181 |
|
24-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed test_parser target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6244 cec4b9c1-7d33-0410-9eda-942365e851bb |
363939beade943a02b31004cea09dec34fa8a6d9 |
|
21-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
rely on the generic rule for binaries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6230 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ce19352a9cc47d982819cc889a71cd0a61ac171 |
|
21-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved h2hf target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6229 cec4b9c1-7d33-0410-9eda-942365e851bb |
e50e41135ece589f7202bd4ef8d6b97531c2a56e |
|
20-Apr-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added target to build atest program showing all known provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6222 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ef75f1cc0437656bf622cec5ac9e8ea221da8f2 |
|
04-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified INLINEAXIOMS_deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6160 cec4b9c1-7d33-0410-9eda-942365e851bb |
36f63902db2b3463faa9f59912ad106e2d5aaa24 |
|
31-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
removing accidently checked in stuff; chjecking in rev 1.298 again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6147 cec4b9c1-7d33-0410-9eda-942365e851bb |
367ae4f55001e4340bfd3f86936ff1215b1e7b8f |
|
31-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
!!don't trust this version\!\!
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6136 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e61f574717499939bd8e0ff538ea9e7b72d4e2d |
|
21-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added targets for LaTeX_maps.hs generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6092 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd54a9917cd87169b8e40bcc5616c537fed85815 |
|
21-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added hxt-cpp-file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6082 cec4b9c1-7d33-0410-9eda-942365e851bb |
df29370ae8d8b41587957f6bcdcb43a3f1927e47 |
|
20-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved h2h and h2hf from ToHaskell to Haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6074 cec4b9c1-7d33-0410-9eda-942365e851bb |
a737caf82de97c1907027c03e4b4509eb492b4b8 |
|
20-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added HXT_PATHS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6060 cec4b9c1-7d33-0410-9eda-942365e851bb |
4561227a776bdf0ab679b19fb92f1eaaed8786f7 |
|
15-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
rearranged identifiers and precedences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6025 cec4b9c1-7d33-0410-9eda-942365e851bb |
dba1eafdf5b025161058f973c44b2c880e6b8241 |
|
15-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added hxt and OMDoc (HXT_PATHS is missing)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6010 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fd65519c95c4a8c2e0290ae6346bce134855cad |
|
14-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddock cannot handle recursive modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5990 cec4b9c1-7d33-0410-9eda-942365e851bb |
50515239e7e190f4a34ca581dd685d002148fbdd |
|
13-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added target fromKif
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5972 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e62113845a35e07cb46db05714627c95450f267 |
|
09-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
removed dependency on $HETS_LIB/CASL_DL/Datatypes.het
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5944 cec4b9c1-7d33-0410-9eda-942365e851bb |
0be0db405c49906bd7057255069bf6df53395ac9 |
|
08-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* added various todo items
* added support of bootstrapped predefined datatyes for CASL_DL
* improved CASL_DL testfile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5938 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b06e23643a9f65390cb8c1caabe83fa7e87a708 |
|
10-Feb-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added ConstraintCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5800 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8db9a65830cf71504e33c6f441a67b4d184a3ca |
|
25-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed hxt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5700 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5e3fc166373b0d90f6e36e8aa234396a1dcd879 |
|
20-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
clean up more files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5679 cec4b9c1-7d33-0410-9eda-942365e851bb |
c35d75c97d5257326d24e40fdc0ac6486f63ab55 |
|
20-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed dependency from hxt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5677 cec4b9c1-7d33-0410-9eda-942365e851bb |
383aa66e5142365fe9b1f88b18c1da5b27cc8c04 |
|
06-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved fromShATerm out of class, derive OWL_DL/ReadWrite.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5609 cec4b9c1-7d33-0410-9eda-942365e851bb |
d946c1bfdd7d58aa7c023efe864d5999eb44a61b |
|
04-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive all Haskell files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5590 cec4b9c1-7d33-0410-9eda-942365e851bb |
819e29dba060687cf391e444e0f6ff88c1908cc3 |
|
03-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive ATC and Typeable for DefaultMorphism and import instances in Logic.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5587 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d97ef4f234681b11bb5924bd4d03adef858d2d2 |
|
30-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Typeable along with ATC
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5572 cec4b9c1-7d33-0410-9eda-942365e851bb |
0206ab93ef846e4e0885996d052b9b73b9dc66b0 |
|
28-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
split off Automatic from InferBasic and checked with ghc-6.2.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5563 cec4b9c1-7d33-0410-9eda-942365e851bb |
776a1a086df734581431e6edb4343ed4c8d34d55 |
|
22-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5559 cec4b9c1-7d33-0410-9eda-942365e851bb |
89f7631cbfbd1bb99fc152b434bd362a7799d295 |
|
22-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Haskell/test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5557 cec4b9c1-7d33-0410-9eda-942365e851bb |
62ea3d19927e5ce1318d62931a8427d8930f1576 |
|
20-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made patching more robust
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5548 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7757995211bd395dc79d26fe017d99375f7d2a6 |
|
16-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added targets wrap and isa
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5536 cec4b9c1-7d33-0410-9eda-942365e851bb |
57a2436f9d44e37042498a3b3dfacd301d91bb6d |
|
24-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
new module for partial orders
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5452 cec4b9c1-7d33-0410-9eda-942365e851bb |
f77f29e84b3f6e791c82e61b13fbf76582bedd2f |
|
21-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ShowGraph only works with uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5439 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ea9168eddbfbfe2282ed46dfe107a8962d6727b |
|
17-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
new WashNGo package is exposed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5415 cec4b9c1-7d33-0410-9eda-942365e851bb |
18c1d987ce5818ecf0bfc8af3f43aed2ce86e1ea |
|
11-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
put global annos into CASL signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5376 cec4b9c1-7d33-0410-9eda-942365e851bb |
431d34c7007a787331c4e5ec997badb0f8190fc7 |
|
09-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
grouped TESTTARGETS according to requirements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5359 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b6773cf587b74259178641d811746a235faf056 |
|
03-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore assertions when profiling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5337 cec4b9c1-7d33-0410-9eda-942365e851bb |
7767474aba4fa2dc51a6c68017d3bcef3b773001 |
|
21-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
DRIFT_OPTS are not needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5221 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f63599faaa311cd024d6413f82bff8caae8de24 |
|
19-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
further cleaning or making of binaries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5213 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0652648f9879c67a194f8b03baafe2700c68eb4 |
|
19-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaning or making binaries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5212 cec4b9c1-7d33-0410-9eda-942365e851bb |
03f242dcc84c327431783cf8694f8682f927ac85 |
|
14-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended check target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5188 cec4b9c1-7d33-0410-9eda-942365e851bb |
cceeb4255dbd4c3385c860da40b0c10ca3218425 |
|
13-Oct-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added Comorphisms KnownProvers to the cpp_sources variable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5179 cec4b9c1-7d33-0410-9eda-942365e851bb |
68aab98a58d1460c77a1573a86c32a891756a420 |
|
13-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
let make doc go through without uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5178 cec4b9c1-7d33-0410-9eda-942365e851bb |
6351f33d5c3b3c73e992cd63028bbf94564e5530 |
|
12-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
installed WASH globally
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5172 cec4b9c1-7d33-0410-9eda-942365e851bb |
63e50b4c36074d5fb9de872c4007b688b4bce534 |
|
06-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added cpp_source ShowGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5153 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c619a4dfdc1df27573eba98e81ed1ace906941d |
|
04-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved ghci target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5123 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7ec85d1103173e089aa5048fd7afb2f9b505124 |
|
22-Sep-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added target cgi which bundles the cgi compilation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5040 cec4b9c1-7d33-0410-9eda-942365e851bb |
c90087f49069855bf684b699f9ca1e2d65eac20b |
|
21-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected hxt-PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5032 cec4b9c1-7d33-0410-9eda-942365e851bb |
96646aed2ae087b942ae23f15bbe729a8f7c43d3 |
|
20-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed LIB_PATH and used PERL for haddock on solaris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5030 cec4b9c1-7d33-0410-9eda-942365e851bb |
010c56c4cf12dd7977ca36efe85219b91e265ee3 |
|
25-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive most ATC instances of DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4979 cec4b9c1-7d33-0410-9eda-942365e851bb |
f26489cf50364d60a14c9bf33ca2c91855ad438a |
|
18-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL.CompositionTable.CompositionTable depends on uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4942 cec4b9c1-7d33-0410-9eda-942365e851bb |
01e383014b555bbcf639c0ca60c5810b3eff83c0 |
|
17-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CompositionTable path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4936 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ea99e115bbade1632815267d5e0dcb9931aac1e |
|
02-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
decorated theory sentences,renamed DevGraph.Open to LeftOpen,handcoded ATC/DevGraph.hs due to cyclic data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4843 cec4b9c1-7d33-0410-9eda-942365e851bb |
18a4d5cb6828f080db9c5f9551785c5151027271 |
|
22-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CASL2SubCFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4743 cec4b9c1-7d33-0410-9eda-942365e851bb |
b565cd55a13dbccc4e66c344316da525c961e4ca |
|
16-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added coding of partiality and subsorting for CoCASL; properly renamed some encodings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4684 cec4b9c1-7d33-0410-9eda-942365e851bb |
abf2487c3aece95c371ea89ac64319370dcb6483 |
|
15-Jul-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added all lines for the OWL_DL logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4680 cec4b9c1-7d33-0410-9eda-942365e851bb |
31db599cbcd9285c3734d16279bc7d88cbc20dc6 |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved HasCASL morphism type to Le.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4650 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d39c60274aaa76506292d2d9e885fccd27e1eab |
|
22-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separate perl calls in post_doc4apache work
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4483 cec4b9c1-7d33-0410-9eda-942365e851bb |
462d9dc583444aab82732e14a75610684d2dc7e9 |
|
22-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Data.Map pattern for post_doc4apache
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4482 cec4b9c1-7d33-0410-9eda-942365e851bb |
11280087fb7891a39bae5305886e76c0cc30886c |
|
20-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
in Proofs.Proofs is not much left
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4469 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbdc36fbd5c60438009d36c830549738be7afd01 |
|
20-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CCC.FreeTypes from cpp_sourcrs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4468 cec4b9c1-7d33-0410-9eda-942365e851bb |
83394c6b6e6de128e71b67c9251ed7a84485d082 |
|
17-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted clean and source paths
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4449 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cfef6179a1bfec4f07f460686dd629a27b4b778 |
|
16-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added back Static/LogicStructured.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4447 cec4b9c1-7d33-0410-9eda-942365e851bb |
6bf24e5eb644064ad650eb3fd9774483fccbf601 |
|
16-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
get rid of PropParser.html
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4446 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f8a7f8343f7df719768d2b1d7e3077ee291a1ca |
|
16-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured make doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4445 cec4b9c1-7d33-0410-9eda-942365e851bb |
78908ecab4b2f95bb89cad78219256bbad41f63a |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
currently ignore libraries and sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4441 cec4b9c1-7d33-0410-9eda-942365e851bb |
8555737bcc9bf1d0afb6624e4d8668f070bcaba1 |
|
14-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
delete more files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4424 cec4b9c1-7d33-0410-9eda-942365e851bb |
e220b2051a2342a9291721e6c7f408860bed01b7 |
|
14-Jun-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
extended data ThmLinkStatus in Static/DevGraph.hs so that Proven now has also a DGRule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4421 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4ef79587a902327f36277c45a8d91d1e67bd6d5 |
|
13-Jun-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
updated the hets.cgi target: added a target to get the list of all maintainers.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4417 cec4b9c1-7d33-0410-9eda-942365e851bb |
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7 |
|
13-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made genRules more transparent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4405 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e2094a642e3775b0d76b890556407941d3a53b6 |
|
09-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added stuff for ghc-5.04.2 (without uni)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4399 cec4b9c1-7d33-0410-9eda-942365e851bb |
88318aafc287e92931dceffbb943d58a9310001d |
|
08-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made some generated files read-only to prevent accidental editing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4392 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ff7a91875597d6e4dfaa68c79187d01473e8341 |
|
08-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid warnings for generated files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4388 cec4b9c1-7d33-0410-9eda-942365e851bb |
55adfe57a4de1f36adc3e3bfc16f342e44a7d444 |
|
07-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified call of happy
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4383 cec4b9c1-7d33-0410-9eda-942365e851bb |
f13d1e86e58da53680e78043e8df182eed867efb |
|
06-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch off warning for orphaned instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4382 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849f |
|
02-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid linking via patch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4364 cec4b9c1-7d33-0410-9eda-942365e851bb |
4017ebc0f692820736d796af3110c3b3018c108a |
|
02-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added patching
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4362 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5b79e9fe9606fd386dc840ea9f1514e7b9b32b9 |
|
01-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added poor gui via console if uni is missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4353 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9acb8681bcc512245b4f0d1a9f2b189c60e10d4 |
|
01-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Hatchet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4350 cec4b9c1-7d33-0410-9eda-942365e851bb |
38352346eb1a67ba0f4eab8ad6f718528cf0cde0 |
|
01-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
conditionally used Data.Set and Data.Map and derived ATC for Logic.Prover data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4349 cec4b9c1-7d33-0410-9eda-942365e851bb |
e96a0bf4040fd789339958c01f145c5057d26db6 |
|
31-May-2005 |
René Wagner <Rene.Wagner@dfki.de> |
SPASS is a logic now. actual prover interface not yet implemented.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4347 cec4b9c1-7d33-0410-9eda-942365e851bb |
68b77966b2cf7bf2e340bf0fb6b9efc3e6a00467 |
|
26-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed wrong backslash
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4335 cec4b9c1-7d33-0410-9eda-942365e851bb |
bcaf979d9babe6346aa343687aa7d596e2894ccc |
|
25-May-2005 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
added h2hf for direct translation of Haskell into Isabelle-HOLCF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4330 cec4b9c1-7d33-0410-9eda-942365e851bb |
d27ad22f77ca7399742b54e9dce2cdceed12d5e0 |
|
25-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unsafe coerce
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4326 cec4b9c1-7d33-0410-9eda-942365e851bb |
432b5019a1852dc850e776caa268fef30ce0d7cc |
|
25-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to delete programatica objects differently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4324 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd798943a2c35a9376a3830a906f24bdb7b13047 |
|
24-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
also remove unoptimized programatica objects
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4323 cec4b9c1-7d33-0410-9eda-942365e851bb |
6fe9628743562678acf97d6730ebcfee5e9e50c2 |
|
19-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated Isabelle as logic for ATC generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4303 cec4b9c1-7d33-0410-9eda-942365e851bb |
277a88cd363c7e26d92d80583bd74f3735c7cb75 |
|
18-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
DFiniteMap is no longer used
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4286 cec4b9c1-7d33-0410-9eda-942365e851bb |
5bb7eeaca10ea76595229375f907a5a388b7c882 |
|
17-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified release target to avoid tar error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4284 cec4b9c1-7d33-0410-9eda-942365e851bb |
32a973e501a8c0d8d43e02c160419a50d9d02c76 |
|
16-May-2005 |
René Wagner <Rene.Wagner@dfki.de> |
add SPASS to CLEAN_PATH to enable Haddock docs generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4280 cec4b9c1-7d33-0410-9eda-942365e851bb |
0799b5dc3f06d2640e66e9ab54b8b217348fd719 |
|
13-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ported to fgl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4275 cec4b9c1-7d33-0410-9eda-942365e851bb |
d272062059eea4d7479e1c6e8517469f02f61287 |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4220 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8896c7bb416c4ced255a4d500808c2ea5a6869a |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
more cpp and derived files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4216 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb328c4f646dd3dd78a9391c5cb58450a3dd0aa9 |
|
04-May-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added a test target for OWL_DL.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4197 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c355dd0b739631ee472f9a656e266be27fa4e64 |
|
27-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed run_hc and hetcats-make stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4135 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bd |
|
25-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove ListUtils dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4121 cec4b9c1-7d33-0410-9eda-942365e851bb |
43bb71dfe7ec405f563864d57c1cacdaa8ce9a80 |
|
20-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
add profiling to shared code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4093 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a7788e09dd23b364a46c9488cbd1522369113db |
|
14-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added prologue file for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4046 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6c6ad132dcecc84fe71dbeeab6dba0e21483393 |
|
18-Mar-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added a target for hatermdiff and modified target atermlibtest
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3977 cec4b9c1-7d33-0410-9eda-942365e851bb |
f1541d4a151dbd08002dbd14e7eb1d5dde253689 |
|
18-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
conditional TESTDIRS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3976 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4892fa7401ceef014ea59d2d900773eaf88fcbd |
|
14-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Inject.hs for inlineaxioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3936 cec4b9c1-7d33-0410-9eda-942365e851bb |
63f0e65a37b95621334db9ee4ba0cd9d826f5c0f |
|
03-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed white spaces and programatica derived_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3901 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9e197862d9d8ef2585270dd08f5194b3aed4a9d |
|
02-Mar-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added printing of the exit code of cvs run for appearance in the log file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3890 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe37265aaad6667f65d979a6cebbe145ef8b512b |
|
28-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added cpp for ghc-6.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3872 cec4b9c1-7d33-0410-9eda-942365e851bb |
da3d6110e2d58be53a737f9cd3c208234ece0653 |
|
25-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore also Modal/GeneratePatterns.inline.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3862 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7e6a2daa94ea6370ad121a7b72495dc4d8e6749 |
|
25-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ingore some more files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3861 cec4b9c1-7d33-0410-9eda-942365e851bb |
43b4c41fbb07705c9df321221ab9cb9832460407 |
|
25-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved modules from hetcats to Driver
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3858 cec4b9c1-7d33-0410-9eda-942365e851bb |
e94af996596c87e8d835094ea6a186e69bf9c489 |
|
24-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow for 'gmake HC_WARN=-w'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3851 cec4b9c1-7d33-0410-9eda-942365e851bb |
eee4b2ee739f163e09d6af6e45c025681e6c01a0 |
|
23-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
manually added the current INLINEAXIOMS_deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3849 cec4b9c1-7d33-0410-9eda-942365e851bb |
405a268396edeb44c47cf8e1ba785e5d04ff58a1 |
|
22-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inline file Comorphisms/CASL2TopSort.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3834 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c99e334446bb97120e30e967baeeddfdd1278de |
|
18-Feb-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
run_hc is implemented to remove hetcats-make if an error occurs during compilation; this prevents short stops of the Makefile if hetcats-make was empty or incomplete
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3827 cec4b9c1-7d33-0410-9eda-942365e851bb |
8cacad2a09782249243b80985f28e9387019fe40 |
|
17-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved logics out of condition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3818 cec4b9c1-7d33-0410-9eda-942365e851bb |
c22d75ec3ea1306219d1c09a5b3e8ff04f753ad6 |
|
17-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
solaris does not know -a test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3816 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e71596246d44e470c78cde3029c967b9f1e6734 |
|
16-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed make release
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3814 cec4b9c1-7d33-0410-9eda-942365e851bb |
89f270dacbf9c7a9a52ebb1a3b15796e4131d57f |
|
16-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
inlineAxioms is portable at last
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3804 cec4b9c1-7d33-0410-9eda-942365e851bb |
6da66254a8cff186a1e550b4ace23fb7bcac0d90 |
|
14-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected atc targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3790 cec4b9c1-7d33-0410-9eda-942365e851bb |
a368e3bc3e9e92cd1981f08987295234f3441736 |
|
11-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
passing DETIVEPATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3785 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f51f7ee933762df1a1e52caee78f5564fcf0730 |
|
11-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
exported DERIVEPATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3784 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2d849b4152a234bc0afaa2ab3a7c17d28de7565 |
|
10-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
with happy -g happy_files are cpp_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3783 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a79849bed67264c396dddb3e9c184bdfc1a1bc9 |
|
10-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
find sources differently, changed DRIFT_ENV
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3782 cec4b9c1-7d33-0410-9eda-942365e851bb |
24df0570302be1877e6f5b2e366b155d7b7a26e2 |
|
08-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
Aux was renamed to Internal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3775 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca074a78b8dcccbb8c419586787882f98d0c6163 |
|
04-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved programatica stuff into ifdef block
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3770 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2f9df2e17e70674f0bf426ed1763c973ee4cde0 |
|
04-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made it work without programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3769 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c09fa452664b01b1f5559f9ca8cc2ddd910688a |
|
02-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
also recompile programatica in release
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3760 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd09d0eee026d0db12542af37fd0fbd0790f0eea |
|
01-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused PFE paths
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3756 cec4b9c1-7d33-0410-9eda-942365e851bb |
a3c6d8e0670bf2aa71bc8e2a3b1f45d56dd65e4c |
|
31-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
only add logic Haskell if programatica exists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3751 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c53db0f07c1032e2850dc6e7df344c82a6dec57 |
|
31-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ATC for programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3750 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2d6702f18737cc5fff8e8631c08f221f8375c4b |
|
31-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
no -ddump-minimal-imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3746 cec4b9c1-7d33-0410-9eda-942365e851bb |
eae61bc820bde2f047098f46ae9fdbb9c29450d8 |
|
28-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ProgramaticaPrelude dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3740 cec4b9c1-7d33-0410-9eda-942365e851bb |
afa6ceaf4359ae437aaa6830949583143ace2752 |
|
27-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
readded old Haskell logic as Hatchet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3732 cec4b9c1-7d33-0410-9eda-942365e851bb |
3474624438293363cada4e49225aae1e292fa597 |
|
26-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected INLINEAXIOMS_deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3720 cec4b9c1-7d33-0410-9eda-942365e851bb |
de47a3818f1b243e216d43750d218abd6d65db31 |
|
25-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
INLINEAXIOMS_deps were to few files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3706 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd7b93bd69a40191907af1739db375ecc7e6cf18 |
|
20-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed hets.cgi from .PHONY
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3689 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c69cef4668bbd959d721668313a779126014d1e |
|
20-Jan-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added a strip command to target hets.cgi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3688 cec4b9c1-7d33-0410-9eda-942365e851bb |
c72c1e75a969ff4c336e77481c2a8e42603f13ee |
|
17-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
utility to add a haskell prelude string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3681 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1f542dcb2f3f33a7a1be5096f5ccf6147d3576c |
|
14-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced INLINEAXIOMS_deps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3679 cec4b9c1-7d33-0410-9eda-942365e851bb |
a80c28bb8b7a23ccdf7e08d0fe216fc19cc97273 |
|
14-Jan-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added target o_clean for apache_doc, because target clean does not behave like documented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3677 cec4b9c1-7d33-0410-9eda-942365e851bb |
7b2177999334c920c5669621bd3c142fe198a8d7 |
|
12-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted -i paths for ghc-6.3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3659 cec4b9c1-7d33-0410-9eda-942365e851bb |
d03ce8efc673309b40746bf5f66299cc3cefa3b0 |
|
11-Jan-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added directory hxt to include path (Haskell XML Toolbox
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3658 cec4b9c1-7d33-0410-9eda-942365e851bb |
84e8f04911c13c71f27d91711eb3b25da8989c2a |
|
10-Jan-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added "make clean" before make "hets.cgi" to target "apache_doc"
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3642 cec4b9c1-7d33-0410-9eda-942365e851bb |
9c3edf2b283c09d33b2820696886d1ed32fcadc8 |
|
07-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added programatica to release
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3637 cec4b9c1-7d33-0410-9eda-942365e851bb |
549b97cfbe3a6687db74440a550b68b2fc19a272 |
|
06-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added HsLex dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3633 cec4b9c1-7d33-0410-9eda-942365e851bb |
23ab8855c58adfbd03a0730584b917b24c603901 |
|
06-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added h2h with tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3631 cec4b9c1-7d33-0410-9eda-942365e851bb |
b70b9c569e477c6a877c93d3ecc17c38c9e047dc |
|
21-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added happy_files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3589 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ac400e01fbeffd928e06b170d40e8fc84652b7f |
|
20-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Hatparser dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3577 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e61b0b04742f1e1e0198fe09c362a92cf122ae6 |
|
17-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed PropParser dependency
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3571 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d5652abf9ed9c5714723ff7fdb80a54f7350fb2 |
|
15-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added programatica stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3568 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdef3358918491badb0e29e42b5d3b5a01950716 |
|
14-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added happy rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3563 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d44c8cecd07b47ce537c7e14bf7b41a39f08507 |
|
10-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
additions for programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3551 cec4b9c1-7d33-0410-9eda-942365e851bb |
7ea1b24778bb8f58c650f5ae659da720b9f9e109 |
|
10-Dec-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Removed Taxonomy/AbstractGraphView.hs from the cpp_sources variable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3550 cec4b9c1-7d33-0410-9eda-942365e851bb |
1094e7435a4c656cac2f107ea23bab6545eef20e |
|
06-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
package text no longer used for GenerateRules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3530 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e494181dee5cfc59ae494e4082c71edfde24f58 |
|
06-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Common/Lib/Parsec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3527 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7839add0728fef3cbb28244373661db382f6588 |
|
01-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Taxonomy to CLAEN_PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3502 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ae37a27aea7c5f3b8e66ed437794c7ef47a8680 |
|
30-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
add -fno-monomorphism-restriction for programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3500 cec4b9c1-7d33-0410-9eda-942365e851bb |
824125ad97b34671bd7ea72655967f46caeb0004 |
|
30-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed final default rule and unnecessary/cyclic deps for INLINEAXIOMS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3495 cec4b9c1-7d33-0410-9eda-942365e851bb |
a02a4eb2a2029d27a11fff2ebcc6c460574a74fc |
|
30-Nov-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added deps for target INLINEAXIOMS; fixes compilation problems after distclean
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3492 cec4b9c1-7d33-0410-9eda-942365e851bb |
56482892fa04a24630557e6953218cf39dec89f1 |
|
29-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved amalgamation data types to new module Common.Amalgamate and renamed Yes and No constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3491 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfaa945ae8e570a57dad32b18732ac2c3982893c |
|
26-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
only switched on -fallow-incoherent-instances in Grothendieck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3482 cec4b9c1-7d33-0410-9eda-942365e851bb |
448c6b836431b11873f4d5b4311fc15116809e5a |
|
26-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added cpp source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3478 cec4b9c1-7d33-0410-9eda-942365e851bb |
0898ff703a21cf78e18cc03e8fe5a3c6d1fc25c3 |
|
26-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more flags for Klaus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3477 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3ae0072823e2ef0d41d4431fcc768e66489c20e |
|
26-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected uni package test and added default rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3476 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e748851c150e1022fb952bab3315e869aaf0214 |
|
26-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for the uni package.conf file and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3470 cec4b9c1-7d33-0410-9eda-942365e851bb |
d784803f9c752667b4fcf7393d698002bedf3f89 |
|
26-Nov-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added an action to target apache_doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3469 cec4b9c1-7d33-0410-9eda-942365e851bb |
42aacf1f63419cbab63a88725e6a0b2c8776f101 |
|
26-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added forgot prerequisite genRules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3467 cec4b9c1-7d33-0410-9eda-942365e851bb |
61fa0ac06ede811c7aad54ec4c4202346727368e |
|
25-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed inclusion of sources_hetcats.mk and genRules stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3465 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c692d0cc44e7df93f58a3eed0d9774ba5908339 |
|
24-Nov-2004 |
Jorina Freya Gerken <jfgerken@gmx.de> |
implemented instance ATermConvertible BasicProof
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3462 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0c2380bced8159ff0297ece14eba948bd236471 |
|
24-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
based haskell logic on programatic but only allow for --just-parse currently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3461 cec4b9c1-7d33-0410-9eda-942365e851bb |
08e5741dd8b6bf9b7419e89298e384e18bc57f64 |
|
17-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up taxonomy target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3444 cec4b9c1-7d33-0410-9eda-942365e851bb |
53818ced114da21321063fff307aa41c1ab31dd3 |
|
16-Nov-2004 |
Achim Mahnke <amahnke@informatik.uni-bremen.de> |
* target 'taxonomy' aufgenommen.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3441 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbe752ee940baae7f9f231f29c62284bb0f90a25 |
|
12-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
included uni sources for 'make doc', this requires that 'make haddock' was done in uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3425 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cb5f9c8582ad87ceef1c16b5d92347ae0878019 |
|
10-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced new Pos type in Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3413 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d58fe07a93ed881efdea42d76fdc08e2846d45a |
|
08-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
no cpp file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3396 cec4b9c1-7d33-0410-9eda-942365e851bb |
a348b2eb46eb51f376c910d6dd4415fdab6713bd |
|
08-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
IsaProve does not need cpp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3395 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f0e96faca7258f228ea9bc3659471e488507ff4 |
|
05-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
add haddock warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3393 cec4b9c1-7d33-0410-9eda-942365e851bb |
abe7f26ab7803e9e03dace5d7b2c11d1cc8b842e |
|
05-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
include links to the parsec package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3385 cec4b9c1-7d33-0410-9eda-942365e851bb |
40a2368e1fa061488d0be6886368ab1c8391b97f |
|
05-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed --> from IsaSign for haddock inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3384 cec4b9c1-7d33-0410-9eda-942365e851bb |
c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050 |
|
28-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected CLEAN_PATH to InlineAxioms, changed HC_FLAGS comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3334 cec4b9c1-7d33-0410-9eda-942365e851bb |
69001b796a7215bb56d87523cdc9dd7a5cf032f3 |
|
21-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added cpp_sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3307 cec4b9c1-7d33-0410-9eda-942365e851bb |
69555d5968539c209b9b414c6ca8339e8e4765e0 |
|
21-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
resolved problematic objects
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3301 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3dca469a9e267d6d71acfdeca7bf284d0581dc7 |
|
29-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made CspCASL logic more completed
Completed static analysis of data specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3201 cec4b9c1-7d33-0410-9eda-942365e851bb |
335039f3702f6a2584ede16128a00a51fd5b8bf8 |
|
28-Sep-2004 |
Jorina Freya Gerken <jfgerken@gmx.de> |
restored accidentally changed Makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3199 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c474227b237b334fa28d60497682eadeb460353 |
|
28-Sep-2004 |
Jorina Freya Gerken <jfgerken@gmx.de> |
extended globDecomp so that no superfluous edges are inserted anymore
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3198 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b4c68db8b465107cabef8b9cd5b6bc216e1b156 |
|
09-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added comments
Added stand-alone analysis program hana (for Haskell)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3157 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4505a64a089693012a3f5c3b1f12a82cd7a2a5a |
|
30-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Improved conditional compilation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3121 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e049108aa87dc46bcff96fae50a4625df1d9648 |
|
30-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Setup preprocessing for haddock; make doc works again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3119 cec4b9c1-7d33-0410-9eda-942365e851bb |
31c49f2fa23d4ac089f35145d80a224deb6ea7e4 |
|
28-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added flag UNI_PACKAGE to allow removal of UniForM workbench
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3112 cec4b9c1-7d33-0410-9eda-942365e851bb |
621799f077b3a1ed0f5a35382cfad0602c255b20 |
|
17-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added a workaround for a bug in GHC with false ambigous instances of Show
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3068 cec4b9c1-7d33-0410-9eda-942365e851bb |
438f9bd974c8e668203e636b0f2bc80c589af043 |
|
09-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added more deps for Modal/ModalSystems.hs and changed the place of its rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3036 cec4b9c1-7d33-0410-9eda-942365e851bb |
51e836611726885f6d2719d959ed1b51f8fd06f4 |
|
09-Aug-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added the Comorphism Modal2CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3035 cec4b9c1-7d33-0410-9eda-942365e851bb |
9df11f85fd7f8c4745d64464876e84ec4e263692 |
|
28-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended drifted_files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2992 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce8b15da31cd181b7e90593cbbca98f47eda29d6 |
|
22-Jul-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed PCFOL2FOL
Modularized CoCASL2ISabelleHOL
(Partly) solved Qual_var problem in Overload
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2969 cec4b9c1-7d33-0410-9eda-942365e851bb |
d17834302eaa101395b4b806cd73670fd864445f |
|
19-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Pred and Qual type in schemes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2958 cec4b9c1-7d33-0410-9eda-942365e851bb |
c18fea93f234ac2dc23f8da4178f8c43069e226d |
|
19-Jul-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added $(HC_OPTS) to hets.cgi build target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2957 cec4b9c1-7d33-0410-9eda-942365e851bb |
340706b6c0c6e3dbacdd7003e20e9cab7f9aa765 |
|
13-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
clean INLINEAXIOMS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2935 cec4b9c1-7d33-0410-9eda-942365e851bb |
b905126bab9454b89041f92b3c50bb9efc85e427 |
|
06-Jul-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
inserted taget for hets.cgi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2921 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5e10ba19c9854112e5d29f491759e8e89f83652 |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
generate ATermConvertible instances for types in HasCASL.Sublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2794 cec4b9c1-7d33-0410-9eda-942365e851bb |
88c66e48620750c42b94db9feb01b42ae23dba97 |
|
01-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CoCASL added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2764 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d7d7f9a423490731c73403c7806bd66967da946 |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2726 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d522dff4d0fabf57dd476d4c3de15d354a89f62 |
|
24-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made local link
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2684 cec4b9c1-7d33-0410-9eda-942365e851bb |
ddc9315cc0b1f5dd3d8f99a77f1c75064db33b48 |
|
24-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
mv -> cp for install hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2683 cec4b9c1-7d33-0410-9eda-942365e851bb |
8410667510a76409aca9bb24ff0eda0420088274 |
|
24-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added install target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2682 cec4b9c1-7d33-0410-9eda-942365e851bb |
05a8b581f98b928baca6dab60cd20277659ac760 |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch off warning when optimizing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2651 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc929508a3bd3c666e9b0182d56898fcafb5d66f |
|
19-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep old Makefile in release
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2650 cec4b9c1-7d33-0410-9eda-942365e851bb |
e085c93a81592a93e14cce79aab7f7d30ebeab95 |
|
19-May-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added CASL/CCC directory to the clean path. caused some compilation stops.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2647 cec4b9c1-7d33-0410-9eda-942365e851bb |
b10267ae0a6523b73113fc2dee9ea628266fce60 |
|
18-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
recompile when optimizing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2633 cec4b9c1-7d33-0410-9eda-942365e851bb |
e593b89bfd4952698dc37feced21cefe869d87a2 |
|
17-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
inline -> outlineAxioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2625 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b770da5668af0faade8133dc6377a0fcaf44134 |
|
17-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inline_axiom_files to derivedSources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2620 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ae5607d2def114f998fd49bac4eef12a2620faf |
|
14-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed atctest2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2611 cec4b9c1-7d33-0410-9eda-942365e851bb |
2aa5982a00fa4be1263d92c8d8d794eb1d5c4efc |
|
14-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added hatchet test-suite
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2607 cec4b9c1-7d33-0410-9eda-942365e851bb |
05c19431fd580d3426f990cc1d8d54c630e0525a |
|
14-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
inline files added to hetcats-make
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2599 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7e1ab2ac3f1fded8611bb92ae00e8f3b8c693fb |
|
05-May-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved the apache_doc target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2544 cec4b9c1-7d33-0410-9eda-942365e851bb |
0310dabcd02da51f78f84e7a73d4c7b2dd3e8507 |
|
27-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved data types to HasCASL.Le
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2493 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fd784442a34fa5c00ebddb2ffb01efcbc523b7d |
|
27-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
make --> $(MAKE)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2481 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf76f4fcf07abaebea587df8135de8356c26a363 |
|
24-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Split logic graph into logics and comorphisms (needed for inlineAxioms)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2476 cec4b9c1-7d33-0410-9eda-942365e851bb |
05d5dec9b9d9cebd617e9c43ea1a7108893ef48a |
|
24-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Small bugs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2475 cec4b9c1-7d33-0410-9eda-942365e851bb |
fdb2d618144159395f7bf8ce3327b3c112a17dd3 |
|
24-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
inlineAxioms added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2473 cec4b9c1-7d33-0410-9eda-942365e851bb |
0153ddd703818536e4ddfe7cbad9dd6d5b4f6292 |
|
23-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
try -02
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2465 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b818f10e11fc79def1fdd5c8a080d64a6438d87 |
|
20-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended for Modal and cleaning FrIFT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2437 cec4b9c1-7d33-0410-9eda-942365e851bb |
eeb419aa20c97b4af973e97ee6ae77a8eed29e15 |
|
19-Apr-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Modal logic added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2413 cec4b9c1-7d33-0410-9eda-942365e851bb |
760ae19a92dde8249679a674f93f58d26a7c5f6b |
|
06-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow external GHC_IMPORTS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2367 cec4b9c1-7d33-0410-9eda-942365e851bb |
94d3aa05411444596b44ede4531f05dd7ac20fdf |
|
06-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made release solaris compatible
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2365 cec4b9c1-7d33-0410-9eda-942365e851bb |
481d4fe351800ab00fd323db8974559431227305 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected capa, hacapa target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2360 cec4b9c1-7d33-0410-9eda-942365e851bb |
59aa311e6da1576f135701d1e778628b912d6677 |
|
02-Apr-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added a strip call to the apache_doc target.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2352 cec4b9c1-7d33-0410-9eda-942365e851bb |
97812b7ce9860bf514a8822a63503451795dbc65 |
|
01-Apr-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
automatic detection of import directory for DrIFT implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2346 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6a8a380ddaac0396c5816163bdb8e8113a6c010 |
|
29-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructed HasCASL symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2337 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0cefaa0e46c95bfb1afee0efd6dd13631cf1aff |
|
26-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected target hacapa (make check fails in CASL due to restruction)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2329 cec4b9c1-7d33-0410-9eda-942365e851bb |
5958fabb264ec3f5b2125ac5602121bd34814a79 |
|
24-Mar-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed the order of commands of goal apache_doc; excluded Isabelle/IsaSign.hs from documentation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2315 cec4b9c1-7d33-0410-9eda-942365e851bb |
404166b9366552e9ec5abb87a37c76ec8a815fb7 |
|
22-Mar-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved recompilation checking of utils/genRules and utils/DrIFT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2308 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e7050bcbcf0f372a5bad32ecd0282bccabf0983 |
|
22-Mar-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added new stuff for GenerateRules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2302 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebde431fb3ce536c8bc397fcfc610ac6f92e3be4 |
|
18-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2290 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d09621f989f5e6dfbf603b36b2fccbacf639a3c |
|
12-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Comorphism from CASL to Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2260 cec4b9c1-7d33-0410-9eda-942365e851bb |
77a65251ee036c6aaf09c2775315a4ee24259fbd |
|
08-Mar-2004 |
Jorina Freya Gerken <jfgerken@gmx.de> |
increased DrIFT Ksize
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2249 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed9207cf24e96b0d6f59985822054ae28cb69b2e |
|
03-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed TESTDIRS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2238 cec4b9c1-7d33-0410-9eda-942365e851bb |
76712faeb5ffeb3ff704404a34f2b8d284aa92bc |
|
01-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted DERIVEPATH for DrIFT to ghc-6.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2229 cec4b9c1-7d33-0410-9eda-942365e851bb |
327a9b9bf44b6e33f71fee7526dc1c0035251591 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
Haskell/Language no longer used
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2216 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce50fe187cdae64e75e510daafb78156280bdb91 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
deliterated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2204 cec4b9c1-7d33-0410-9eda-942365e851bb |
c432483b64662e8db604a58758cd18ea7fa65659 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Named.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2189 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4ca4fdf5f65975ce3d5fe7c7325bc3741983d01 |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
also removed *.o and *.hi files of utils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2144 cec4b9c1-7d33-0410-9eda-942365e851bb |
779c439cbe2630d73332afe908f6a4dd01d1765c |
|
03-Feb-2004 |
Martin Kühl <martin.kuehl@gmail.com> |
added usage of GHC_IMPORTS for DERIVEPATH
can be utilized for compiling hets at home
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2083 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f990c66bbf9fdb0fb10a9a69db7b8bcfad6b9fa |
|
03-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected binary name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2073 cec4b9c1-7d33-0410-9eda-942365e851bb |
33d042fe6a9eb27a4c48f840b80838f3e7d98e34 |
|
03-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
target doc modified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2070 cec4b9c1-7d33-0410-9eda-942365e851bb |
02a42d9fbc41445bac7e93a3df810a531f14e1a0 |
|
03-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
haddock 0.6 base stuff into docs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2064 cec4b9c1-7d33-0410-9eda-942365e851bb |
149dd26a03ea86cfd27e9cdf1c4e5f731be98d72 |
|
02-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made an extra Makefile for the release
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2057 cec4b9c1-7d33-0410-9eda-942365e851bb |
25cc5fbba63f84b47e389af749f55abbbde71c8c |
|
02-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove CVS dirs properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2056 cec4b9c1-7d33-0410-9eda-942365e851bb |
1506040dd8ba08710797f4320d10159f92487900 |
|
02-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove CVS dirs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2055 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac0bbbcb2774629bb87986e69cf53d3402c5f575 |
|
02-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
release management
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2054 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8d782e6e650b71a2b0ee8461fd8d9fa31525591 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL data is in Sign now instead of StaticAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2038 cec4b9c1-7d33-0410-9eda-942365e851bb |
c55a0f77be7e88d3620b419ec8961f4379a586e3 |
|
30-Jan-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added atctest2 rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2035 cec4b9c1-7d33-0410-9eda-942365e851bb |
b19eec475ae84d2ae2b45c495d96f666f5ce4360 |
|
29-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep happy files for hets-opt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2021 cec4b9c1-7d33-0410-9eda-942365e851bb |
857992065be4ed40a72c6296b6c0aec62ab4c5b9 |
|
27-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
working Makefile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2012 cec4b9c1-7d33-0410-9eda-942365e851bb |
724ecbf67db2531c73555411c57555065f12913b |
|
26-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed path to ghc's haddocked library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2010 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d41217fe78d6b302bc95a77d8dd3d744e93005a |
|
23-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added new file to gen_rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1997 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d4038657f6a63e131f5804af2f7957b69e15a43 |
|
13-Jan-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* added -O2 flag for optimization to $(HC_FLAGS)
(please remove if compilation lasts to long on your system)
* added further dependencies for genRules
* added target for atermlibtest
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1944 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0294d73dcefc502ddaa13e18b46103a5916971f |
|
03-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Prepared ATerm output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1910 cec4b9c1-7d33-0410-9eda-942365e851bb |
d579f5b263e6c73d466c265f2fbfd45b0e69ca64 |
|
19-Nov-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Another change for the documentation generation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1847 cec4b9c1-7d33-0410-9eda-942365e851bb |
670691f757fefac75f63a15f6aa14706e05fe155 |
|
17-Nov-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Imroved the generation of documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1843 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa21fba9ceb1ddf7b3efd54731a12ed8750191d8 |
|
29-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new target hets-opt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1805 cec4b9c1-7d33-0410-9eda-942365e851bb |
96ef2e46d048c357927f2795a40e9e66f21b85fb |
|
29-Oct-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added genrule_files related to Hatchet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1796 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc199f858c206cfd5241c930c223c0a1d5743300 |
|
27-Oct-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Restored old Makefile...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1791 cec4b9c1-7d33-0410-9eda-942365e851bb |
624e0b398c5e311971a39292678747e38049994e |
|
27-Oct-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added just one Haskell/Hatchet/ file to genrule_files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1790 cec4b9c1-7d33-0410-9eda-942365e851bb |
d644340a8bc5888a2f46c29d73dbb3f2d160f464 |
|
27-Oct-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
removed genrule_files related to Hatchet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1785 cec4b9c1-7d33-0410-9eda-942365e851bb |
b44d59b7797c99b40d15229fd04feec5fc613351 |
|
27-Oct-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Corrected addition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1782 cec4b9c1-7d33-0410-9eda-942365e851bb |
8659594bb40eb5f3da5439692f0908300947191e |
|
27-Oct-2003 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added genrule_files related to Hatchet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1781 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1905890322767ae24c4594d80e31877037f4055 |
|
12-Sep-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
adjusted the paths for make doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1689 cec4b9c1-7d33-0410-9eda-942365e851bb |
740811847920eaf0b3b211b720c5323d43154022 |
|
03-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated copying of ghc-html-base directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1683 cec4b9c1-7d33-0410-9eda-942365e851bb |
d74c3c29c2fd9b3d78d26e2a225214d803de2111 |
|
02-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
try with a copy rather than a link to ghc-html-base
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1680 cec4b9c1-7d33-0410-9eda-942365e851bb |
5dbb9048bd3e9df82afc5f5fdbf3d88d73a57854 |
|
01-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included ghc-base in a-docs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1678 cec4b9c1-7d33-0410-9eda-942365e851bb |
f29371d8bd5a232c974e736b06d0d8a655d320fb |
|
22-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved generation of sources_hetcats.mk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1674 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2ae6f28be7e4b556951a7392e987e4e406a31f6 |
|
14-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added directories "ATC, ToHaskell, Proofs, Comorphisms" to variable CLEAN_PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1667 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac43fa22d2d3f91a17674ac164cba3cf39a17795 |
|
13-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed -e to -f in gen_atc_files for solaris /bin/sh
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1666 cec4b9c1-7d33-0410-9eda-942365e851bb |
1323eba62fc519b068f5aaec4f9d2be05ffabea9 |
|
08-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
seperated the post processing for apache into a new target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1661 cec4b9c1-7d33-0410-9eda-942365e851bb |
efa8f9db01f64e2c719c201e4037743caefae045 |
|
07-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
reintroduced an explicit dependency for Version.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1657 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba0ec5e897ef99d420c8c14c2374e0f32b7043db |
|
05-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
fixed two bugs that caused unecessary recompilations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1655 cec4b9c1-7d33-0410-9eda-942365e851bb |
88c800932dd7053322501ea2039d9f234be6866c |
|
01-Aug-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added a Variable DRIFT_ENV to the Makefile. This variable sets the DERIVEPATH for DrIFT automatically
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1650 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b0f493ae42bad8b94918cc0957f1af57096cda4 |
|
31-Jul-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
added target to generate files with genRules, this files will be drifted to ATC-instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1642 cec4b9c1-7d33-0410-9eda-942365e851bb |
b391fd2c38849689e02c23dee372739eca29b7b6 |
|
01-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included links to ghc-6.0 linux base library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1541 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebe517300051f765f2ed856a789dd5613d681ab0 |
|
30-Jun-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
apache_doc target does not include sources_hetcats.mk now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1534 cec4b9c1-7d33-0410-9eda-942365e851bb |
caf544dc9b8f02e05e37786681153f5660e67f64 |
|
15-Jun-2003 |
Martin Kühl <martin.kuehl@gmail.com> |
implemented a working GUI for hets and davinci-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1498 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e74e458ca844d5b6ec688b2122cae32575f3259 |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
always link toplevel binaries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1480 cec4b9c1-7d33-0410-9eda-942365e851bb |
29633f709477530c1dc68039695cdc3cbb051184 |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed HasCASL test path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1355 cec4b9c1-7d33-0410-9eda-942365e851bb |
3693a4b9ecbb9e16be359723582b49f591520b6b |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed CASL test directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1349 cec4b9c1-7d33-0410-9eda-942365e851bb |
809afe029307414ed253ebcba83e0eff8c62a49d |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test directories and a new target for annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1346 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a648682ccaa8ef63583548c3edb01c6542d7885 |
|
16-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed testing via RunParsers.hs (now in Common/)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1267 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf731ab5ef055c75bf26e8e5b2eb4a4a11ab61eb |
|
17-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added a line to move the new docs to the right destination only when everything was made correct
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1110 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd972b47389b19614f97c7d7b63ee30eac907648 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added dependency for new default target all
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1062 cec4b9c1-7d33-0410-9eda-942365e851bb |
b49276c9f50038e0bd499ad49f7bd6444566a834 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1060 cec4b9c1-7d33-0410-9eda-942365e851bb |
75cda7e5b890d050d560d970af244a183f28328f |
|
05-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected distclean. Made apache_doc safer.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1054 cec4b9c1-7d33-0410-9eda-942365e851bb |
19933e754a6a244efca3b63184fb191668e08931 |
|
05-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added 'make distclean' to the apache_doc target. Now everything is made
up correctly.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1053 cec4b9c1-7d33-0410-9eda-942365e851bb |
725a68ec81cba9b8aa8647bebfb5baa449803e7e |
|
05-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Changed some spaces back to \t so that Make recognizes also the last line
as a command (-;
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1052 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef67402074be14deb95e4ff564737d5593144130 |
|
05-Mar-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Changed the title of the Project and added a target to create HTML pages
that fit the constraints of apache.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1051 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d6ee210ac97051e4d1830d4c346d8a8db01a6b5 |
|
27-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
tested Haskell (and HasCASL) as Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1030 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e012772df2ce0dc7e8f0fe3acf458c2871dcfbc |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
no filter-out necessary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1011 cec4b9c1-7d33-0410-9eda-942365e851bb |
09a67ca9b5cdf09e06470d4c965484783e2963f4 |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed CSP-CASL to CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1008 cec4b9c1-7d33-0410-9eda-942365e851bb |
d21f1db14625cb0a536fc06b46fcc115d48a25bb |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
unused package data and FiniteMap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@990 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9625461755578f3eed04676d42a63fd2caebd0c |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
Common/ATerm is no longer included and cleaning was changed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@989 cec4b9c1-7d33-0410-9eda-942365e851bb |
49ad22e8dae6b1ed8733a8bada2538d4713ceb34 |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
more cleaning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@987 cec4b9c1-7d33-0410-9eda-942365e851bb |
470ca7a2797069ae4b27c34c1b71419f67be1f84 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved test_parser to Common
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@985 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecb5a608e8a1219b0657ab58fe8538dae334a357 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed paths
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@983 cec4b9c1-7d33-0410-9eda-942365e851bb |
d67a33b40578beef2e255a274f89bb9c34aaf056 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Haskell paths
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@981 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba904a15082557e939db689fcfba0c68c9a4f740 |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@976 cec4b9c1-7d33-0410-9eda-942365e851bb |
26f228bf3a3fea810223396e5794c217a79a8d5b |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
better cleaning up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@974 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
5191fa24c532d1f67e7a642e9aece65efb8a0975 |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved to Common.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@942 cec4b9c1-7d33-0410-9eda-942365e851bb |
69cdf955318efc36640b4b380030494818457e6d |
|
13-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed default target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@869 cec4b9c1-7d33-0410-9eda-942365e851bb |
a63d1f38ec3e8aaa68ca62352cd707b1522b8766 |
|
26-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed default target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@663 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a6464613c59e35072b90ca296ae402cbe956144 |
|
22-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
Makefile to avoid 'cd hetcats'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@656 cec4b9c1-7d33-0410-9eda-942365e851bb |