Commit Graph

Select branches

Hide Pull Requests

master

parser

parser-new

parser-old

pre-0.1.0

prepare-0.1.0

v0.0.1

v0.1.0

Mono Color

• 5c51018ab1
  
  Add unit test for function declaration formatting Patrick Lühne 2020-03-30 05:07:17 +0200
• 23e1854346
  
  Test term formatting Patrick Lühne 2020-03-30 04:28:36 +0200
• a3da369346
  
  Split formatting functionality into two files Patrick Lühne 2020-03-30 04:27:58 +0200
• caf957deed
  
  Fix implication parser and output Patrick Lühne 2020-03-30 01:08:54 +0200
• 1ece0e89ef
  
  Add note Patrick Lühne 2020-03-27 21:33:57 +0100
• 0fdec430af
  
  Parentheses for stronger checks Patrick Lühne 2020-03-27 20:54:04 +0100
• 5ea0a96ec4
  
  Test disjunction parser Patrick Lühne 2020-03-27 04:54:40 +0100
• 17d8dbd8ba
  
  Test conjunction parser Patrick Lühne 2020-03-27 04:53:31 +0100
• 834e59207f
  
  Add note Patrick Lühne 2020-03-27 04:53:24 +0100
• 257e02f285
  
  Minor refactoring Patrick Lühne 2020-03-27 04:43:34 +0100
• 2e3707e0af
  
  Check that names don’t start with special characters Patrick Lühne 2020-03-27 04:42:47 +0100
• d0263dd1c4
  
  Add missing word boundary character Patrick Lühne 2020-03-27 04:40:54 +0100
• a7dd4d2fe9
  
  Disallow reserved keywords as names Patrick Lühne 2020-03-27 04:37:37 +0100
• c127bc5eea
  
  Address clippy warning Patrick Lühne 2020-03-27 04:05:00 +0100
• cb616eba87
  
  Refactor term parser tests Patrick Lühne 2020-03-27 04:01:48 +0100
• 95677bae34
  
  Fix negation parser Patrick Lühne 2020-03-27 03:20:23 +0100
• 3414e8075c
  
  Address warnings Patrick Lühne 2020-03-27 03:18:31 +0100
• 675063e1b8
  
  Move string parser to separate module Patrick Lühne 2020-03-27 03:13:55 +0100
• 7d78a504b1
  
  Move special integer parser to separate module Patrick Lühne 2020-03-27 03:09:48 +0100
• 6f86cd40d7
  
  Move integer parser to separate module Patrick Lühne 2020-03-27 03:04:55 +0100
• 29ea4578e4
  
  Move boolean parser to separate module Patrick Lühne 2020-03-27 03:00:09 +0100
• a1bbae9201
  
  Finish implementing formula parsing Patrick Lühne 2020-03-27 02:46:33 +0100
• 1c00e5be16
  
  Continue parsing formulas Patrick Lühne 2020-03-14 02:11:33 +0100
• 1b89d8900e
  
  Start parsing formulas Patrick Lühne 2020-03-13 22:58:53 +0100
• af1ec8a606
  
  Fix term parsing and finish tests Patrick Lühne 2020-03-13 02:35:28 +0100
• 2907d10148
  
  Make parse feature the default Patrick Lühne 2020-03-12 21:05:58 +0100
• 19e70a90c5
  
  Test associativity of multiplication Patrick Lühne 2020-03-12 00:10:51 +0100
• 385c878597
  
  Add term parsing test Patrick Lühne 2020-03-04 22:49:46 +0100
• 5b98e8a29c
  
  Finish implementing term parsing Patrick Lühne 2020-03-04 22:35:42 +0100
• 3530364ea8
  
  Implement variable parsing Patrick Lühne 2020-02-28 15:35:47 +0100
• deae102405
  
  Require word boundaries around names Patrick Lühne 2020-02-26 14:25:58 +0100
• 0fc8506164
  
  Implement booleans Patrick Lühne 2020-02-26 14:15:33 +0100
• e6a5c20d42
  
  Add pipe character to allowed word boundaries Patrick Lühne 2020-02-26 14:04:41 +0100
• d5cd179a2d
  
  Implement strings Patrick Lühne 2020-02-26 13:56:19 +0100
• 5ec9331b4c
  
  Implement word boundaries Patrick Lühne 2020-02-26 12:42:02 +0100
• 896af02120
  
  Start parsing terms Patrick Lühne 2020-02-25 19:34:59 +0100
• 0c057211ed
  
  Implement name parsing Patrick Lühne 2020-02-25 17:58:45 +0100
• 91918cf645
  
  Start reimplementing parser Patrick Lühne 2020-02-25 15:36:34 +0100
• fd6ba4a005
  
  Test crate with GitHub Actions Patrick Lühne 2020-04-09 15:28:45 +0200
• 153f77621e
  
  Fix precedence of absolute value operation Patrick Lühne 2020-03-30 06:42:54 +0200
• 551c35ed75
  
  Fix formatting of binary operations Patrick Lühne 2020-03-30 05:57:56 +0200
• 549f127729
  
  Derive simple enums from basic traits Patrick Lühne 2020-03-30 05:54:14 +0200
• a304ec9a75
  
  Fix output of Booleans in formulas Patrick Lühne 2020-03-30 05:45:56 +0200
• a82b4080c8
  
  Fix function formatting Patrick Lühne 2020-03-30 05:39:20 +0200
• 90f7be2f33
  
  Minor refactoring for clarity Patrick Lühne 2020-03-30 05:38:42 +0200
• a127a053b2
  
  Support formatting special integers separately Patrick Lühne 2020-03-30 05:30:29 +0200
• ae3925c72b
  
  Fix function formatting master Patrick Lühne 2020-03-30 05:39:20 +0200
• 6183ae22b5
  
  Minor refactoring for clarity Patrick Lühne 2020-03-30 05:38:42 +0200
• a7e07380ff
  
  Support formatting special integers separately Patrick Lühne 2020-03-30 05:30:29 +0200
• 14abd73110
  
  Remove unneeded lifetime specifiers Patrick Lühne 2020-03-30 05:17:24 +0200
• 3a5788bd24
  
  Remove redundant release badge Patrick Lühne 2020-02-25 15:27:24 +0100
• a446aed011
  
  Initial commit v0.1.0 Patrick Lühne 2020-02-05 03:17:28 +0100
• a0cbb8704f
  
  Clarify readme prepare-0.1.0 Patrick Lühne 2020-02-05 03:14:49 +0100
• 8fe66915d7
  
  Add metadata to Cargo.toml Patrick Lühne 2020-02-05 03:10:17 +0100
• b4fa564088
  
  Add license Patrick Lühne 2020-02-05 03:01:38 +0100
• 597897f0a5
  
  Add readme Patrick Lühne 2020-02-05 03:00:43 +0100
• 02481ae4fd
  
  Clean-up Patrick Lühne 2020-02-05 02:47:21 +0100
• 75356d2972
  
  Remove variable declaration stack Patrick Lühne 2020-02-05 02:27:00 +0100
• e335ab5e4f
  
  Implement Debug and Display for declarations types Patrick Lühne 2020-02-04 23:47:58 +0100
• 1694a2d0f4
  
  Minor restructuring Patrick Lühne 2020-02-04 23:47:12 +0100
• 09e16edbe4
  
  Assert against inconsistent numbers of arguments Patrick Lühne 2020-02-04 02:55:56 +0100
• 88274e4396
  
  Represent parent precedence with optional type Patrick Lühne 2020-02-03 23:23:41 +0100
• 5e96c3f85e
  
  Remove parsing capabilities for now Patrick Lühne 2020-02-03 23:22:14 +0100
• ab0727fe5b
  
  Reorder formatting calls Patrick Lühne 2020-02-03 22:58:11 +0100
• 81b9ca4cfa
  
  Require identity equality for variable declarations Patrick Lühne 2020-02-03 02:39:15 +0100
• 171c725fb8
  
  Assert against empty parameter lists Patrick Lühne 2020-02-02 20:06:41 +0100
• 5e39fc5cec
  
  Remove unnecessary Symbolic type Patrick Lühne 2020-02-02 19:31:16 +0100
• 25c567af06
  
  Assert against empty conjunctions and disjunctions Patrick Lühne 2020-02-02 17:46:55 +0100
• 6163c5b259
  
  Use std::rc::Rc types for variable declarations Patrick Lühne 2020-02-02 17:44:49 +0100
• 3e6e68f6ea
  
  Use ordered sets for declarations Patrick Lühne 2020-02-02 17:39:41 +0100
• e1d616d8b4
  
  Add convenience constructors Patrick Lühne 2020-02-02 02:14:14 +0100
• 749dab228b
  
  Represent parameter lists as vectors and not sets Patrick Lühne 2020-02-02 02:12:05 +0100
• f0958b100e
  
  Rename types for consistency Patrick Lühne 2020-02-02 02:08:39 +0100
• 242435c698
  
  Add useful derive statements Patrick Lühne 2020-02-01 17:40:15 +0100
• dfe86c09cc
  
  Add convenience constructor Patrick Lühne 2020-01-31 13:53:42 +0100
• 72db7c448b
  
  Declare collection types for declarations Patrick Lühne 2020-01-31 13:53:21 +0100
• 03e249e791
  
  Add useful derive statements Patrick Lühne 2020-01-31 13:52:57 +0100
• 6b10cced7c
  
  Expose variable stack Patrick Lühne 2020-01-24 18:56:03 +0100
• f19f1a3eb1
  
  Work in progress Patrick Lühne 2020-01-24 18:43:42 +0100
• 9202c839e2
  
  Support hashing domains v0.0.1 pre-0.1.0 Patrick Lühne 2019-11-07 03:14:21 -0600
• 7af51e9e64
  
  Expose symbolic identifier parser Patrick Lühne 2019-11-06 21:16:04 -0600
• 8870cee179
  
  Support right-to-left implications Patrick Lühne 2019-11-06 19:04:13 -0600
• 9076ecd95d
  
  Allow negated quantified expressions without parentheses Patrick Lühne 2019-11-05 15:53:42 -0600
• acb6c05eec
  
  Allow more variable prefixes Patrick Lühne 2019-11-05 15:53:32 -0600
• 4e3e3689d0
  
  Fix precedence rules for nested subtractions and implications Patrick Lühne 2019-11-05 13:14:47 -0600
• 683236f4a8
  
  Recognize variables better Patrick Lühne 2019-11-05 12:54:15 -0600
• 8a7bd651b2
  
  Support comments Patrick Lühne 2019-11-05 12:43:03 -0600
• 5070965bfe
  
  Make predicate declarations hashable Patrick Lühne 2019-11-02 04:12:16 +0100
• 30ba3e22c1
  
  Fix precedence between predicates and comparisons Patrick Lühne 2019-11-02 04:06:06 +0100
• de4ab29da5
  
  Implement Display formatter in terms of Debug Patrick Lühne 2019-11-02 04:05:57 +0100
• a6fe4b9e08
  
  Respect operator precedence when printing Patrick Lühne 2019-11-01 22:30:31 +0100
• b76287a07b
  
  Restructure crate for a nicer interface Patrick Lühne 2019-11-01 22:00:17 +0100
• 9f32bea10c
  
  Rename project “foliage” Patrick Lühne 2019-11-01 20:54:55 +0100
• d1d20deadb
  
  Add benchmark Patrick Lühne 2019-11-01 06:40:55 +0100
• 48b18b9354
  
  Add example Patrick Lühne 2019-11-01 06:20:19 +0100
• dcf12d45eb
  
  Implement formula parsing Patrick Lühne 2019-11-01 05:40:57 +0100
• 1b9654f44f
  
  Implement term parsing Patrick Lühne 2019-11-01 03:36:38 +0100