Commit Graph

Select branches

Hide Pull Requests

bug/expr-proj-to-app-panic

dev

doc/rationale

env/inspect

env/module

io/async

main

misc/build

parse/level

serial/pickle

#10

#100

#101

#105

#107

#108

#109

#11

#110

#111

#113

#115

#116

#119

#12

#120

#121

#123

#128

#129

#13

#130

#133

#134

#135

#136

#139

#14

#140

#141

#143

#144

#145

#146

#148

#149

#15

#152

#153

#154

#155

#156

#157

#158

#159

#16

#161

#17

#2

#20

#21

#25

#26

#27

#28

#29

#30

#31

#32

#33

#35

#36

#37

#38

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#58

#59

#60

#63

#64

#65

#66

#68

#69

#7

#70

#71

#72

#73

#75

#76

#79

#81

#82

#83

#85

#86

#87

#89

#90

#91

#92

#94

#96

#99

0.1

0.2.3

v0.2.10

v0.2.10-alpha

v0.2.11

v0.2.12

v0.2.13

v0.2.14

v0.2.18

v0.2.19

v0.2.19-alpha

v0.2.20

v0.2.21

v0.2.22

v0.2.23

v0.2.24

v0.2.5

v0.2.6

v0.2.7

v0.2.8

v0.2.9

Mono Color

• ccf5a03647
  
  fix: Printing projection leads to crash Leni Aniva 2023-12-05 22:45:59 -0800
• f2b54ec018 Merge pull request 'feat: Handling of private names' (#36) from library/catalog into dev Leni Aniva 2023-12-05 20:22:38 -0800
• 56966b27cf Merge pull request 'feat: Handling of private names' (#36) from library/catalog into dev Leni Aniva 2023-12-05 20:22:38 -0800
• 3c2d93259f Merge branch 'dev' into library/catalog Leni Aniva 2023-12-05 20:21:22 -0800
• 9276d47e0d
  
  Merge branch 'dev' into library/catalog Leni Aniva 2023-12-05 20:21:22 -0800
• 079f12d6d3 chore: Version bump Leni Aniva 2023-12-05 20:21:07 -0800
• cf856d2880
  
  chore: Version bump Leni Aniva 2023-12-05 20:21:07 -0800
• d846210b9e Merge pull request 'feat: Print structural projection as application' (#35) from io/serial into dev Leni Aniva 2023-12-05 20:20:51 -0800
• beb837ccab Merge pull request 'feat: Print structural projection as application' (#35) from io/serial into dev Leni Aniva 2023-12-05 20:20:51 -0800
• dbfee00420 feat!: Display public name only if name is private Leni Aniva 2023-12-05 20:20:08 -0800
• da74258dd1
  
  feat!: Display public name only if name is private Leni Aniva 2023-12-05 20:20:08 -0800
• cdb1e8576f feat: Display whether a symbol is private Leni Aniva 2023-12-05 19:07:00 -0800
• 9f2b07757f
  
  feat: Display whether a symbol is private Leni Aniva 2023-12-05 19:07:00 -0800
• c80d7567b6 feat: Expose _private names Leni Aniva 2023-12-04 23:36:09 -0800
• 07ade4c822
  
  feat: Expose _private names Leni Aniva 2023-12-04 23:36:09 -0800
• f72a82a4c9 feat: Remove stem deduce Leni Aniva 2023-12-04 16:40:15 -0800
• a454aaf1d4
  
  feat: Remove stem deduce Leni Aniva 2023-12-04 16:40:15 -0800
• 35f411041e feat: Remove printing projections Leni Aniva 2023-12-04 16:21:02 -0800
• ec09304e02
  
  feat: Remove printing projections Leni Aniva 2023-12-04 16:21:02 -0800
• 860d2e239a feat: Remove | in symbol output Leni Aniva 2023-11-27 09:54:41 -0800
• 967e3dfb4f
  
  feat: Remove | in symbol output v0.2.9 Leni Aniva 2023-11-27 09:54:41 -0800
• e0cfdfaf16 chore: Version bump to 0.2.9 Leni Aniva 2023-11-26 23:48:47 -0800
• 0a5a96275f
  
  chore: Version bump to 0.2.9 Leni Aniva 2023-11-26 23:48:47 -0800
• fe850ded98 feat: Shorter symbol category Leni Aniva 2023-11-26 22:14:58 -0800
• 7690272bfa
  
  feat: Shorter symbol category Leni Aniva 2023-11-26 22:14:58 -0800
• aaebb6b121 feat: Read dependencies of library symbols Leni Aniva 2023-11-25 15:07:56 -0800
• 7b59937853
  
  feat: Read dependencies of library symbols Leni Aniva 2023-11-25 15:07:56 -0800
• a1d991f5db fix: Rectify error format Leni Aniva 2023-11-09 22:24:17 -0800
• 2a9931c134
  
  fix: Rectify error format Leni Aniva 2023-11-09 22:24:17 -0800
• cc9e659c06 Merge pull request 'feat: Allow selective continuation of goals' (#27) from goal/continuation into dev Leni Aniva 2023-11-07 16:49:55 -0800
• c99125c4a6 Merge pull request 'feat: Allow selective continuation of goals' (#27) from goal/continuation into dev v0.2.8 Leni Aniva 2023-11-07 16:49:55 -0800
• a491316541 fix: Do not show parent state in continue Leni Aniva 2023-11-07 13:10:14 -0800
• 8218d3f004
  
  fix: Do not show parent state in continue Leni Aniva 2023-11-07 13:10:14 -0800
• e654613182 fix: New goal state not inserted correctly Leni Aniva 2023-11-07 13:07:50 -0800
• 736e68639f
  
  fix: New goal state not inserted correctly Leni Aniva 2023-11-07 13:07:50 -0800
• d35803791e Merge branch 'dev' into goal/continuation Leni Aniva 2023-11-07 12:11:14 -0800
• cfd1cfd107
  
  Merge branch 'dev' into goal/continuation Leni Aniva 2023-11-07 12:11:14 -0800
• d9745094fa fix: Remove the error prone SemihashMap Leni Aniva 2023-11-07 12:09:54 -0800
• 764be6d14b
  
  fix: Remove the error prone SemihashMap Leni Aniva 2023-11-07 12:09:54 -0800
• 53b63bf46c fix: Remove the error prone SemihashMap Leni Aniva 2023-11-07 12:04:17 -0800
• 5ac5198f51
  
  fix: Remove the error prone SemihashMap Leni Aniva 2023-11-07 12:04:17 -0800
• 4396da3e65 chore: Code formatting Leni Aniva 2023-11-06 12:20:08 -0800
• 7076669c3d
  
  chore: Code formatting Leni Aniva 2023-11-06 12:20:08 -0800
• ce585f7288 feat: Print the root mvar name Leni Aniva 2023-11-06 11:51:31 -0800
• 245e76b2f1
  
  feat: Print the root mvar name Leni Aniva 2023-11-06 11:51:31 -0800
• 32fedede6a Merge branch 'dev' into goal/continuation Leni Aniva 2023-11-06 11:45:24 -0800
• 7c28cf4ed0
  
  Merge branch 'dev' into goal/continuation Leni Aniva 2023-11-06 11:45:24 -0800
• 8182da436d chore: Remove unnecessary unsafe's Leni Aniva 2023-11-06 11:43:57 -0800
• c5f563598d
  
  chore: Remove unnecessary unsafe's Leni Aniva 2023-11-06 11:43:57 -0800
• c6bb4be597 chore: Update documentation Leni Aniva 2023-11-06 11:04:28 -0800
• a7aeb03b43
  
  chore: Update documentation Leni Aniva 2023-11-06 11:04:28 -0800
• ce1cb13e54 fix: Use Lean's built in name parser Leni Aniva 2023-11-06 10:45:11 -0800
• dbace9f2d5
  
  fix: Use Lean's built in name parser Leni Aniva 2023-11-06 10:45:11 -0800
• a5b5e01858 chore: Version bump to 0.2.8 Leni Aniva 2023-11-04 15:54:28 -0700
• 782ce38c87
  
  chore: Version bump to 0.2.8 Leni Aniva 2023-11-04 15:54:28 -0700
• 4be9dbc84a feat: Goal continuation fails if target has goals Leni Aniva 2023-11-04 15:53:57 -0700
• d809a960f9
  
  feat: Goal continuation fails if target has goals Leni Aniva 2023-11-04 15:53:57 -0700
• 97d658cfc5 feat: Add goal.continue command Leni Aniva 2023-11-04 15:51:09 -0700
• db706070ad
  
  feat: Add goal.continue command Leni Aniva 2023-11-04 15:51:09 -0700
• 333355a85d feat: Partial state continuation Leni Aniva 2023-11-04 15:33:53 -0700
• 754fb69cff
  
  feat: Partial state continuation Leni Aniva 2023-11-04 15:33:53 -0700
• 4a4a33cea7 test: Separate mvar coupling tests Leni Aniva 2023-11-04 15:00:51 -0700
• dc2cc5be77
  
  test: Separate mvar coupling tests Leni Aniva 2023-11-04 15:00:51 -0700
• 1638c308a9 Merge pull request 'feat: Minor updates to serialization' (#26) from io/serial into dev Leni Aniva 2023-10-30 14:47:41 -0700
• f5ed87f740 Merge pull request 'feat: Minor updates to serialization' (#26) from io/serial into dev v0.2.7 Leni Aniva 2023-10-30 14:47:41 -0700
• 59ac83f0b7 bug: Fix quote escape problem Leni Aniva 2023-10-30 14:45:43 -0700
• 8dd994d1ca
  
  bug: Fix quote escape problem Leni Aniva 2023-10-30 14:45:43 -0700
• d1c0dc376f feat: Print metavariable name in goal Leni Aniva 2023-10-30 14:44:06 -0700
• d87217c6bb
  
  feat: Print metavariable name in goal Leni Aniva 2023-10-30 14:44:06 -0700
• 6cf328a84f Merge pull request 'feat: Simplify printing of names and expressions' (#25) from io/serial into dev Leni Aniva 2023-10-29 13:08:05 -0700
• 796f0d8336 Merge pull request 'feat: Simplify printing of names and expressions' (#25) from io/serial into dev Leni Aniva 2023-10-29 13:08:05 -0700
• 1a99a2e7b2 fix: Sanitize name in universe levels Leni Aniva 2023-10-29 13:03:48 -0700
• e5acd4b26c
  
  fix: Sanitize name in universe levels Leni Aniva 2023-10-29 13:03:48 -0700
• 60854525b9 feat: Simplify printing of function applications Leni Aniva 2023-10-29 12:50:36 -0700
• 454a5bc6b9
  
  feat: Simplify printing of function applications Leni Aniva 2023-10-29 12:50:36 -0700
• e523e8bcc6 chore: Version bump (breaking change) Leni Aniva 2023-10-29 11:57:24 -0700
• afed5bbc8d
  
  chore: Version bump (breaking change) Leni Aniva 2023-10-29 11:57:24 -0700
• de250eafd0 feat: Print names in one segment separated with . Leni Aniva 2023-10-29 11:56:56 -0700
• e2526f11b1
  
  feat: Print names in one segment separated with . Leni Aniva 2023-10-29 11:56:56 -0700
• c0dfa04b18 feat: Simplify name printing Leni Aniva 2023-10-29 11:18:35 -0700
• c2d606b9d9
  
  feat: Simplify name printing Leni Aniva 2023-10-29 11:18:35 -0700
• 4ce932eb3b Merge pull request 'Enable handling of m-Coupled goals' (#20) from goal/dependency into dev Leni Aniva 2023-10-27 19:30:20 -0700
• c19fd1bcfb Merge pull request 'Enable handling of m-Coupled goals' (#20) from goal/dependency into dev v0.2.6 Leni Aniva 2023-10-27 19:30:20 -0700
• 045181356c feat: Add REPL function for root expression Leni Aniva 2023-10-27 15:41:12 -0700
• 427d819349
  
  feat: Add REPL function for root expression Leni Aniva 2023-10-27 15:41:12 -0700
• 41e1f64d44 Merge branch 'dev' into goal/dependency Leni Aniva 2023-10-27 15:33:47 -0700
• ca7a081cac
  
  Merge branch 'dev' into goal/dependency Leni Aniva 2023-10-27 15:33:47 -0700
• 3b1746490d feat: Add REPL command for assigning an expression Leni Aniva 2023-10-27 15:32:59 -0700
• 82f5494718
  
  feat: Add REPL command for assigning an expression Leni Aniva 2023-10-27 15:32:59 -0700
• f064bb21a4 feat: Assigning a goal with an expression Leni Aniva 2023-10-27 15:15:22 -0700
• b381d89ff9
  
  feat: Assigning a goal with an expression Leni Aniva 2023-10-27 15:15:22 -0700
• 269e5c707c refactor: Separate goal printing and processing Leni Aniva 2023-10-26 22:47:42 -0700
• e98fb77f33
  
  refactor: Separate goal printing and processing Leni Aniva 2023-10-26 22:47:42 -0700
• c852db2f46 test: m-coupled goals Leni Aniva 2023-10-26 11:22:02 -0700
• 4ffd226cac
  
  test: m-coupled goals Leni Aniva 2023-10-26 11:22:02 -0700
• 8029298db7 feat: Display user name in Goal structure Leni Aniva 2023-10-25 22:18:59 -0700
• 0ecfa9fc26
  
  feat: Display user name in Goal structure Leni Aniva 2023-10-25 22:18:59 -0700
• d991533170 feat: Add proof continue and root extraction Leni Aniva 2023-10-25 16:03:45 -0700
• 0a0f0304a8
  
  feat: Add proof continue and root extraction Leni Aniva 2023-10-25 16:03:45 -0700
• a9294e0338 Add documentation about flake Leni Aniva 2023-10-20 12:54:35 -0700