Commits · master · Alexander Stadelmann / tasmanianDevil · GitLab

Snippets Groups Projects

Aug 15, 2021
- Extended README.MD · a5374ee5
  suehling authored 3 years ago
  
  a5374ee5
- Added README.MD · bf5f001b
  suehling authored 3 years ago
  
  bf5f001b
- Added executables. · cfb5f014
  suehling authored 3 years ago
  
  cfb5f014
- ML with Negation(experimental) · 066f54d6
  Alexander Stadelmann authored 3 years ago
  
  066f54d6
- ML with Negation(experimental) · 4f4cb1ef
  Alexander Stadelmann authored 3 years ago
  
  4f4cb1ef
- Deleted redundant folders (MiniL, GroundL, MiniLWithNegation). · b2455a80
  suehling authored 3 years ago
  
  b2455a80
- Improved documentation. · 2b4c9d1f
  suehling authored 3 years ago
  
  2b4c9d1f
- Improved documentation. · 8502d23c
  Alexander Stadelmann authored 3 years ago
  
  8502d23c
- Improved documentation. · 3d4b67ed
  Alexander Stadelmann authored 3 years ago
  
  3d4b67ed
- Improved documentation. Added documentation to module ML. · 214fb3ea
  suehling authored 3 years ago
  
  214fb3ea
- Improved documentation. · 13731bab
  Alexander Stadelmann authored 3 years ago
  
  13731bab
- Added documentation to modules Declarations, Parser, and Translator. · 1f32006c
  suehling authored 3 years ago
  
  1f32006c
- Proof trees are shown in a nicer way and minor bug fix for trail. · 5c886815
  suehling authored 3 years ago
  
  5c886815
- Code refactoring. · e8947f72
  suehling authored 3 years ago
  
  e8947f72
- Improved user interaction. · 5daab762
  suehling authored 3 years ago
  
  5daab762
- Merge branch 'master' of https://gitlab2.cip.ifi.lmu.de/stadelmanna/tasmaniandevil · 753758e3
  suehling authored 3 years ago
  
  753758e3
- ML doesn't try to proof a goal with the head of the same clause anymore. · 79190989
  suehling authored 3 years ago
  
  79190989
- ML doesn't try to proof a goal with the head of the same clause anymore. · 38c38be5
  suehling authored 3 years ago
  
  38c38be5
Aug 14, 2021
- Minor bug fixes. · fabbce3c
  suehling authored 3 years ago
  
  fabbce3c
- Display of variables now allows for recursive varible binding. · d9ebde2b
  Alexander Stadelmann authored 3 years ago
  
  d9ebde2b
- Fixed incorrect behavior of unification stack again. · efc6b1a7
  suehling authored 3 years ago
  
  efc6b1a7
- Fixed incorrect behavior of trail and unification stack. · 26e7fa08
  suehling authored 3 years ago
  
  26e7fa08
- Fixed a bug where the skip counter wouldn't work as intended. · 84775095
  suehling authored 3 years ago
  
  84775095
Aug 13, 2021
- Minor bug fixes in display of result · 6ef9cffb
  Alexander Stadelmann authored 3 years ago
  
  6ef9cffb
- Minor bug fixes. · 65e89c6f
  suehling authored 3 years ago
  
  65e89c6f
- Fixed a bug where restore_AC_UP didn't work for empty trail. · 4a86c83c
  suehling authored 3 years ago
  
  4a86c83c
- Display variable bindings. · de4ac46f
  Alexander Stadelmann authored 3 years ago
  
  de4ac46f
- Minor bug fixes. · aa56a8e9
  suehling authored 3 years ago
  
  aa56a8e9
- Fixed a bug where level wasn't updated within unify. · 778ba174
  suehling authored 3 years ago
  
  778ba174
Aug 12, 2021
- Extension for GroundL, such that it accepts negative literals. · 0a794b85
  Alexander Stadelmann authored 3 years ago
  
  0a794b85
- Delete Test · 78f4a2a0
  Alexander Stadelmann authored 3 years ago
  
  78f4a2a0
- Correction of a mistaken commit · 06f1c2fa
  Alexander Stadelmann authored 3 years ago
  
  06f1c2fa
- Extension for GroundL, such that it accepts negative literals. · 109539e4
  Alexander Stadelmann authored 3 years ago
  
  109539e4
- Extention for GroundL, such that it accepts negative literals. · 2c6acf62
  Alexander Stadelmann authored 3 years ago
  
  2c6acf62
- Finished implementation of unify. · 4cec96d5
  suehling authored 3 years ago
  
  4cec96d5
Aug 11, 2021
- Implemented unify for Arg = STR Symbol Arity. · ff2881fd
  suehling authored 3 years ago
  
  ff2881fd
- Same changes to tokenizer/parser as in MiniL · 2ef91516
  Alexander Stadelmann authored 3 years ago
  
  2ef91516
- Update Main.hs · 18d37727
  Mana Jaqoubi authored 3 years ago
  
  18d37727
- Update Declarations.hs · af486701
  Mana Jaqoubi authored 3 years ago
  
  af486701
- Update ML.hs · 07dddc9c
  Mana Jaqoubi authored 3 years ago
  
  07dddc9c