e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
ecc41b9e2d14a3f43c231251a16fadb08b38f5b7 |
|
20-Aug-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
DOL equivalences added to parser; Pretty instance still missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18133 cec4b9c1-7d33-0410-9eda-942365e851bb |
bcd914850de931848b86d7728192a149f9c0108b |
|
05-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
embed process equations as CASL formula extension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14851 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c88a431223614af07dbc297b020c947e3218e70 |
|
25-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
collect trailing line annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14633 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e6fb6f753791dc9bafeda28c786256369b37944 |
|
25-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected trailing annos parsing after var and added warning for unused local names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14631 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6a16d60a0d5c672e5525ec04b82373e754b2fac |
|
24-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to omit semicolons or use a comma instead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14626 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ac9fad8454f66963e8985a41e061653147d4d60 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted CASL parsing for FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14540 cec4b9c1-7d33-0410-9eda-942365e851bb |
57c51f0673511217c416090de812b779612e7551 |
|
10-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified expected output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14211 cec4b9c1-7d33-0410-9eda-942365e851bb |
6417c19d1ed7d53a78da95ec7a4023db8f901e1c |
|
10-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid parsec's lookAhead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14210 cec4b9c1-7d33-0410-9eda-942365e851bb |
6580bdf70c4890c2c73ca0a3f0d528e745f3ae83 |
|
09-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14209 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e4157a70efe2acab30dbe5079bba6db90923785 |
|
12-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13220 cec4b9c1-7d33-0410-9eda-942365e851bb |
10b02b2343246df6773585636fe3ddbefa3b6a1b |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13160 cec4b9c1-7d33-0410-9eda-942365e851bb |
97279257021fd703f25019ae8869d86f455d1ea1 |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12725 cec4b9c1-7d33-0410-9eda-942365e851bb |
4f44c3bd57a73a9ad893fbf490bdb4639ac39e48 |
|
16-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11694 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fea05697c5001b458d1694ba7dd18fedd43932f |
|
14-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
wrote a parser for trailing annos for DFOL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11683 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f2a1658b1518abf2160176f9755727f18e706db |
|
12-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlint suggestions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11252 cec4b9c1-7d33-0410-9eda-942365e851bb |
bccea164bdfc2ddc3d1e20749bb5477a46eab3a6 |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed Anno_Parser to AnnoParser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11205 cec4b9c1-7d33-0410-9eda-942365e851bb |
de2f13b8310de00ca228385b1530660e036054c2 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed double spaces after =
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10689 cec4b9c1-7d33-0410-9eda-942365e851bb |
61e38a4f194d3adc66646326c938eb9263a2f39b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed functions over Range from Pos to Range
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10299 cec4b9c1-7d33-0410-9eda-942365e851bb |
75786b1d5f16323ea56369dc3a56f8f70935dd33 |
|
04-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened parser messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10065 cec4b9c1-7d33-0410-9eda-942365e851bb |
54c8454d2757d2e31bd32796b7c497c4af2ce0e9 |
|
04-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected tryItemEnd
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10064 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
d543cf2bb0c810781625c76fe135476d46270d88 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7285 cec4b9c1-7d33-0410-9eda-942365e851bb |
327519e04e56b411fd48311aca545d7f15b9714e |
|
16-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided try
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6031 cec4b9c1-7d33-0410-9eda-942365e851bb |
6df75332e8960746c68c9f809475a44422cdcec0 |
|
26-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused commaT and semiT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5721 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed all position infos to [Pos]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb |
9649121fccc566b6101dbed1da91893243c011bb |
|
20-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed result type of optSemi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3697 cec4b9c1-7d33-0410-9eda-942365e851bb |
414ffa281d82f05a2d742c702f8e06b0cb05b229 |
|
20-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made AParser polymorphic in further user state component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3578 cec4b9c1-7d33-0410-9eda-942365e851bb |
35db0960aa2e2a13652381c756fae5fb2b27213b |
|
06-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Common.Lib.Parsec with Text.ParserCombinators.Parsec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3524 cec4b9c1-7d33-0410-9eda-942365e851bb |
157155d1b098dbeff08a36c23b772851853566c1 |
|
07-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
use AParser only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2559 cec4b9c1-7d33-0410-9eda-942365e851bb |
50dce6b011347f92377adb8bbabaeeb80975e86d |
|
21-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made CASL parsers accept an additional keyword list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2447 cec4b9c1-7d33-0410-9eda-942365e851bb |
380234395c345cf1d3557349c321bb8f5de0dbce |
|
20-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved reading of plural keyword for better reuse
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2432 cec4b9c1-7d33-0410-9eda-942365e851bb |
51876ed7d3f64f019605a4d07adf5215204e3996 |
|
20-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2428 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
ec3c8eccceca72fc850cc72740e1ae8e7b85dfb4 |
|
16-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
excluded =e= when trying =
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1963 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc6450cbe8052df97e15fed82ee35265cf7e39bf |
|
22-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused variable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1584 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b863b011b3dc6e3e51133f2069a3e37e932174f |
|
05-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved stuff from CASL.ItemList to here
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1324 cec4b9c1-7d33-0410-9eda-942365e851bb |
eed8fb40f0da9aacd3be905dfdea14eaa8036d25 |
|
20-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added functions to change the user state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1129 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 |