Commit Graph

Select branches

Hide Pull Requests

dev

doc/rationale

goal/tactic

main

parse/level

serial/pickle

#10

#100

#101

#105

#107

#108

#109

#11

#110

#111

#113

#115

#116

#119

#12

#120

#121

#123

#13

#14

#15

#16

#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.5

v0.2.6

v0.2.7

v0.2.8

v0.2.9

Mono Color

• 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
• 7dc6e4e549
  
  Add documentation about flake v0.2.5 Leni Aniva 2023-10-20 12:54:35 -0700
• 3d7d5d6b4d feat: Add nix flake Leni Aniva 2023-10-20 11:52:09 -0700
• ba53e9087b
  
  feat: Add nix flake Leni Aniva 2023-10-20 11:52:09 -0700
• 538ba6e7d7 Store states instead of goals Leni Aniva 2023-10-15 17:15:23 -0700
• 9447d29e37
  
  Store states instead of goals Leni Aniva 2023-10-15 17:15:23 -0700
• 41db295ff5 Rename tactic to goal and restructure Leni Aniva 2023-10-15 12:31:22 -0700
• 8c93d30ab7
  
  Rename tactic to goal and restructure Leni Aniva 2023-10-15 12:31:22 -0700
• 7a5fe554ba Add holes test stub Leni Aniva 2023-10-06 17:31:36 -0700
• 42133f9b74
  
  Add holes test stub Leni Aniva 2023-10-06 17:31:36 -0700
• 13f3460e9a Fix test failures Leni Aniva 2023-10-05 17:51:41 -0700
• 5b002a9ceb
  
  Fix test failures Leni Aniva 2023-10-05 17:51:41 -0700
• a8cf94ccb1 Bump Lean version to 4.1.0 Leni Aniva 2023-10-05 17:49:43 -0700
• 836a14fa63
  
  Bump Lean version to 4.1.0 Leni Aniva 2023-10-05 17:49:43 -0700
• 0948e71d60 Add dependency for lakefile and lean-toolchain Leni Aniva 2023-10-02 10:30:07 -0700
• 5f2b394471
  
  Add dependency for lakefile and lean-toolchain Leni Aniva 2023-10-02 10:30:07 -0700
• 6d15d1e670 Use makefile instead of ad-hoc script Leni Aniva 2023-10-02 10:26:19 -0700
• 2c3a7adb61
  
  Use makefile instead of ad-hoc script Leni Aniva 2023-10-02 10:26:19 -0700
• 35b391881e Add ready message to indicate the main loop is up Leni Aniva 2023-10-01 21:58:58 -0700
• 8e02e6e7cc Add ready message to indicate the main loop is up Leni Aniva 2023-10-01 21:58:58 -0700
• 79a63be619
  
  Merge branch 'dev' into misc/interaction Leni Aniva 2023-10-02 10:12:10 -0700
• fd4d3226a1
  
  Add ready message to indicate the main loop is up Leni Aniva 2023-10-01 21:58:58 -0700
• d7077ce854 Bump lean version to 4.0.0 Leni Aniva 2023-09-13 21:02:26 -0700
• 1e637dabaa
  
  Bump lean version to 4.0.0 Leni Aniva 2023-09-13 21:02:26 -0700
• 75f43786fb Merge pull request 'Simplify goal bookkeeping mechanism' (#10) from tactic/book into dev Leni Aniva 2023-08-30 19:18:36 -0700
• c4a97d8a76 Merge pull request 'Simplify goal bookkeeping mechanism' (#10) from tactic/book into dev Leni Aniva 2023-08-30 19:18:36 -0700
• f538f580bd Merge branch 'dev' into tactic/book Leni Aniva 2023-08-30 19:17:25 -0700
• acfd4e8288
  
  Merge branch 'dev' into tactic/book Leni Aniva 2023-08-30 19:17:25 -0700
• f1f1c20ff9 Add SemihashMap interface, rename proof commands to goal commands, allow deletion Leni Aniva 2023-08-30 19:16:33 -0700
• 46347d8244
  
  Add SemihashMap interface, rename proof commands to goal commands, allow deletion Leni Aniva 2023-08-30 19:16:33 -0700
• 6b96f7893f Separate max and imax in sort level Leni Aniva 2023-08-27 22:50:18 -0700
• 71327d2d55
  
  Separate max and imax in sort level Leni Aniva 2023-08-27 22:50:18 -0700
• b98304f78a Version bump to 0.2.4 due to breaking change Leni Aniva 2023-08-27 19:59:31 -0700
• 8d5d7b6e3e
  
  Version bump to 0.2.4 due to breaking change Leni Aniva 2023-08-27 19:59:31 -0700
• a6e337a89e Rename proof commands to goal commands Leni Aniva 2023-08-27 19:58:52 -0700
• 80ad7a2bd0
  
  Rename proof commands to goal commands Leni Aniva 2023-08-27 19:58:52 -0700
• a86af1bc57 Add SemihashMap structure for goal bookkeeping Leni Aniva 2023-08-27 19:53:09 -0700