Commit graph

Select branches

Hide pull requests

main

sync

Mono Color

• 0a9937f16e
  
  chore: Tweak demo main Tibo De Peuter 2025-05-19 10:03:12 +02:00
• 24bfa426ab
  
  chore: Small cleanups Tibo De Peuter 2025-05-19 09:12:37 +02:00
• e087e5f29f
  
  Rename cont. to del.con. Tibo De Peuter 2025-05-19 08:28:51 +02:00
• b294467587
  
  chore: Demo & examples Tibo De Peuter 2025-05-18 23:27:35 +02:00
• 61178cbeac
  
  fix: Univ Tibo De Peuter 2025-05-18 20:28:58 +02:00
• d50ec0f715
  
  chore: Debug error in REPL Tibo De Peuter 2025-05-18 20:28:38 +02:00
• 50b4d192f3
  
  Add password example Tibo De Peuter 2025-05-18 15:45:13 +02:00
• 83f65bd683
  
  fix: Fixes Tibo De Peuter 2025-05-18 14:56:16 +02:00
• a1187238c3
  
  test: Summer example Tibo De Peuter 2025-05-15 21:25:58 +02:00
• e5c61c89da Sync sync Tibo De Peuter 2025-05-15 21:29:02 +02:00
• 28168cb0f1
  
  test: Summer example Tibo De Peuter 2025-05-15 21:25:58 +02:00
• 26c339b8f8
  
  Update PDF Tibo De Peuter 2025-05-12 19:58:14 +02:00
• c6f829a60f
  
  Update figures en PDF Tibo De Peuter 2025-05-12 19:55:00 +02:00
• 2c6dfb77a0
  
  Finale indiening Tibo De Peuter 2025-05-12 19:52:41 +02:00
• f4d96d4143
  
  Voorlopige indiening 2 Tibo De Peuter 2025-05-12 19:39:30 +02:00
• 6f1b252f52
  
  Voorlopige indiening Tibo De Peuter 2025-05-12 19:33:51 +02:00
• 130ff622c9 Verslag drafting Tibo De Peuter 2025-05-09 22:27:26 +02:00
• 44d2876f57
  
  Codex geïmplementeerde predicaten Tibo De Peuter 2025-05-09 19:50:15 +02:00
• a5bd38ef01
  
  Cleanup 3 Tibo De Peuter 2025-05-09 19:49:37 +02:00
• 3c938749d0
  
  Cleanup 2 Tibo De Peuter 2025-05-09 18:30:18 +02:00
• a9bb6e0338
  
  Added loose operators Tibo De Peuter 2025-05-09 16:50:20 +02:00
• 717e5e0954
  
  Add source Tibo De Peuter 2025-05-09 15:08:42 +02:00
• 2089e20da5
  
  Cleanup 1 Tibo De Peuter 2025-05-09 14:43:20 +02:00
• 026218ddbd
  
  Continuations Tibo De Peuter 2025-05-09 14:02:03 +02:00
• 88c90220fe
  
  WriteLn Tibo De Peuter 2025-05-09 10:30:51 +02:00
• 5bfeb96176
  
  Call & Ignore Tibo De Peuter 2025-05-09 08:36:11 +02:00
• 9b454a9669
  
  test: Meta examples Tibo De Peuter 2025-05-08 19:14:48 +02:00
• 1feb3893c5
  
  fix: Mib Tibo De Peuter 2025-05-08 18:58:33 +02:00
• 7daae860fc
  
  Checkpoint Tibo De Peuter 2025-05-08 17:47:13 +02:00
• 3724ac72f9
  
  Checkpoint Tibo De Peuter 2025-05-08 15:07:24 +02:00
• 973365e2ec
  
  feat: Atomic & Compound parsen Tibo De Peuter 2025-05-08 09:35:49 +02:00
• e1763e0510
  
  fix: Repl ook enter duwen Tibo De Peuter 2025-05-08 09:34:05 +02:00
• 8bda3c5af4
  
  Clause Tibo De Peuter 2025-05-07 22:26:02 +02:00
• 752c278cb0
  
  Arg Tibo De Peuter 2025-05-07 21:15:10 +02:00
• 65c4d925d3
  
  Functor Tibo De Peuter 2025-05-07 20:22:14 +02:00
• dff53b4e68
  
  fix: Groene vinkjes Tibo De Peuter 2025-05-06 21:10:44 +02:00
• 4810b91628
  
  fix: Satisfy clause Tibo De Peuter 2025-05-06 14:13:03 +02:00
• 256a189125
  
  ForAll Tibo De Peuter 2025-05-06 11:19:05 +02:00
• 6b46965435
  
  Succ operator Tibo De Peuter 2025-05-05 22:20:55 +02:00
• cdf2513e96
  
  NotEquivalent Tibo De Peuter 2025-05-05 22:14:10 +02:00
• 1179e6a29b
  
  RetractAll Tibo De Peuter 2025-05-05 22:06:26 +02:00
• 4d334c1600
  
  Repl trouble Tibo De Peuter 2025-05-05 21:12:08 +02:00
• fd16c4cedc
  
  Backtracking fixed Tibo De Peuter 2025-05-05 20:11:44 +02:00
• a85169dced
  
  Checkpoint Tibo De Peuter 2025-05-04 21:50:58 +02:00
• 5bfa1691dd
  
  Retract Tibo De Peuter 2025-05-02 23:50:29 +02:00
• 80fb3d1e60
  
  Assert{a,z,} Tibo De Peuter 2025-05-02 21:51:34 +02:00
• f9017da734
  
  Checkpoint Tibo De Peuter 2025-05-02 13:28:00 +02:00
• 23b2ce9362
  
  test: Fix failing Tibo De Peuter 2025-05-02 09:09:23 +02:00
• 724e911a6f
  
  Checkpoint Tibo De Peuter 2025-05-01 21:16:48 +02:00
• 9db1c66781
  
  Checkpoint Tibo De Peuter 2025-05-01 17:13:35 +02:00
• 43b364044e
  
  Quoted atoms Tibo De Peuter 2025-04-30 12:08:36 +02:00
• 1e087c8339
  
  Fix double printing Tibo De Peuter 2025-04-30 10:52:58 +02:00
• bfb509f41f
  
  Arithmetic ops parsing Tibo De Peuter 2025-04-30 09:18:46 +02:00
• 0a32797df1
  
  test: Rule met cut Tibo De Peuter 2025-04-29 15:47:00 +02:00
• 8e6a34a231
  
  Argument parsing Tibo De Peuter 2025-04-28 13:36:24 +02:00
• 32165a90f5
  
  Arithmetic preprocessing Tibo De Peuter 2025-04-28 12:20:03 +02:00
• 174855d7a3
  
  Preprocessing Tibo De Peuter 2025-04-27 22:02:50 +02:00
• 82a8fccf87
  
  IO Operators Tibo De Peuter 2025-04-27 20:11:15 +02:00
• b9f419a59d
  
  Rework parsing structure Tibo De Peuter 2025-04-27 19:31:29 +02:00
• a4ec29f084
  
  Remove old lexer+parser implementation Tibo De Peuter 2025-04-27 18:22:03 +02:00
• d5632e9217
  
  feat: Write Tibo De Peuter 2025-04-27 14:47:56 +02:00
• 1b3280a947
  
  REPL checkpoint Tibo De Peuter 2025-04-18 20:36:11 +02:00
• 69c156024a
  
  feat(parser): Terms parsing Tibo De Peuter 2025-04-17 21:44:34 +02:00
• 5d8f2b6f35
  
  chore: Add dependencies Tibo De Peuter 2025-04-17 21:44:10 +02:00
• 48f94c30df
  
  Checkpoint Tibo De Peuter 2025-04-17 17:49:53 +02:00
• e749f8c6cb
  
  feat: Atom parsing Tibo De Peuter 2025-04-16 14:04:39 +02:00
• bd5c825ca2
  
  chore: Naming conventions Tibo De Peuter 2025-04-16 12:53:41 +02:00
• 4a6850527f
  
  feat: Floating point arithmetic Tibo De Peuter 2025-04-15 18:23:04 +02:00
• f9950a3fd3
  
  test: Cut with disjunction Tibo De Peuter 2025-04-15 17:03:14 +02:00
• 2fcab52f65
  
  test: Cut not_equal Tibo De Peuter 2025-04-15 16:40:52 +02:00
• 229a8bbc3c
  
  feat: Cut Tibo De Peuter 2025-04-15 15:37:05 +02:00
• 6469dd6ced
  
  refactor: Rework Tibo De Peuter 2025-04-15 12:32:59 +02:00
• ac55ed4c64
  
  feat: Arithmetic Tibo De Peuter 2025-04-11 21:11:59 +02:00
• e73e5cbfc8 Checkpoint Tibo De Peuter 2025-04-11 19:27:01 +02:00
• e3c84e1761
  
  refactor: Herstructurering Tibo De Peuter 2025-04-06 19:16:50 +02:00
• 1acd1cfb67
  
  fix: Evaluation Tibo De Peuter 2025-04-06 17:29:23 +02:00
• d702b9b081
  
  Checkpoint Tibo De Peuter 2025-04-06 14:42:57 +02:00
• ef8b82457c
  
  Merge remote-tracking branch 'origin/main' Tibo De Peuter 2025-04-06 12:15:30 +02:00
• 6eca9dfcb7
  
  Checkpoint Tibo De Peuter 2025-04-06 12:14:18 +02:00
• 438af6c053
  
  Single clause queries Tibo De Peuter 2025-04-05 18:07:31 +02:00
• da21d890fb Checkpoint Tibo De Peuter 2025-04-05 17:36:37 +02:00
• ca687c0136
  [tutor] Update assignment tolauwae 2025-03-30 21:56:24 +02:00
• 39c3af4ba5
  
  feat(prolog): Atom unification Tibo De Peuter 2025-03-29 16:04:40 +01:00
• 8429733200
  
  feat(lexer): Comments Tibo De Peuter 2025-03-27 18:34:24 +01:00
• dc9e43e9ba
  
  feat(lexer): Parentheses and quoted strings Tibo De Peuter 2025-03-27 18:16:53 +01:00
• e1f632ca40
  
  feat(lexer): Scan alphanumerics & whitespace Tibo De Peuter 2025-03-27 17:25:58 +01:00
• e0754650bc
  
  feat(lexer): Scan alphanumeric Tibo De Peuter 2025-03-27 16:56:11 +01:00
• 3e80aee0db
  
  feat(lexer): Scan dot Tibo De Peuter 2025-03-27 16:05:39 +01:00
• f72501fde2
  
  feat(lexer): Scan empty string Tibo De Peuter 2025-03-27 11:04:31 +01:00
• 4054ed5fce
  
  chore: Project structure Tibo De Peuter 2025-03-27 10:46:40 +01:00
• 948de3de02
  
  chore: Add gitignore Tibo De Peuter 2025-03-10 13:35:34 +01:00
• 9ba25a49f1
  [tutor] Update assignment tolauwae 2025-03-06 15:18:02 +01:00
• c3a5897647
  Initial commit github-classroom[bot] 2025-03-06 09:15:27 +00:00