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

• 7283c5c970
  
  refactor: Use library functions when possible Leni Aniva 2024-03-31 16:11:41 -0700
• a1ed8f4b3d refactor: Use library functions when possible Leni Aniva 2024-03-31 16:11:41 -0700
• 52d3283b5c
  
  refactor: Use library goalStartExpr function Leni Aniva 2024-03-31 16:06:30 -0700
• 7988a25ce8 refactor: Use library goalStartExpr function Leni Aniva 2024-03-31 16:06:30 -0700
• 65ac0d5c58
  
  feat: Specify type in echo Leni Aniva 2024-03-31 15:55:08 -0700
• 2802cc204f feat: Specify type in echo Leni Aniva 2024-03-31 15:55:08 -0700
• 6235d61433
  
  fix: unfoldAuxLemma should be coreM Leni Aniva 2024-03-31 15:40:14 -0700
• e9c9548f17 fix: unfoldAuxLemma should be coreM Leni Aniva 2024-03-31 15:40:14 -0700
• e13b119ed1
  
  fix: Instantiation causes infinite loop Leni Aniva 2024-03-30 00:17:16 -0700
• 2b71203c1e fix: Instantiation causes infinite loop Leni Aniva 2024-03-30 00:17:16 -0700
• 0c260addcf Merge pull request 'feat: Instantiation tests' (#52) from io/serial into dev Leni Aniva 2024-03-30 00:08:32 -0700
• f939388dbf Merge pull request 'feat: Instantiation tests' (#52) from io/serial into dev Leni Aniva 2024-03-30 00:08:32 -0700
• 90f7f251e9
  
  Merge branch 'dev' into io/serial Leni Aniva 2024-03-30 00:07:46 -0700
• 2c48ff9e42 Merge branch 'dev' into io/serial Leni Aniva 2024-03-30 00:07:46 -0700
• ff8a462bcd Merge pull request 'fix: Build failure on macOS due to LLVM version' (#53) from misc/toolchain into dev Leni Aniva 2024-03-30 00:07:26 -0700
• 621b10c354 Merge pull request 'fix: Build failure on macOS due to LLVM version' (#53) from misc/toolchain into dev Leni Aniva 2024-03-30 00:07:26 -0700
• 431bdab236
  
  doc: Reason why not to follow nixpkgs Leni Aniva 2024-03-30 00:03:37 -0700
• 73e4c1d81c doc: Reason why not to follow nixpkgs Leni Aniva 2024-03-30 00:03:37 -0700
• a4a1dfabef
  
  Merge branch 'dev' into misc/toolchain Leni Aniva 2024-03-30 00:01:24 -0700
• 7f6b57bc08 Merge branch 'dev' into misc/toolchain Leni Aniva 2024-03-30 00:01:24 -0700
• 08874d433f
  
  fix: Update flake so lean builds on Darwin Leni Aniva 2024-03-29 23:59:14 -0700
• 140055b16b fix: Update flake so lean builds on Darwin Leni Aniva 2024-03-29 23:59:14 -0700
• 5c970bfeed
  
  fix: Lean build failure on macOS Leni Aniva 2024-03-29 23:50:30 -0700
• 1bea2ca4e1 fix: Lean build failure on macOS Leni Aniva 2024-03-29 23:50:30 -0700
• c701210f53 Merge pull request 'feat: Query arbitrary assignment in goal' (#47) from goal/relation into dev Leni Aniva 2024-03-29 23:48:20 -0700
• e09a6c7c9d Merge pull request 'feat: Query arbitrary assignment in goal' (#47) from goal/relation into dev Leni Aniva 2024-03-29 23:48:20 -0700
• 113e65e193
  
  Merge branch 'dev' into goal/relation Leni Aniva 2024-03-29 23:47:09 -0700
• 10e6877f0e Merge branch 'dev' into goal/relation Leni Aniva 2024-03-29 23:47:09 -0700
• bc83a5732e
  
  feat: Instantiation tests Leni Aniva 2024-03-29 23:46:08 -0700
• 252f85e66c feat: Instantiation tests Leni Aniva 2024-03-29 23:46:08 -0700
• aeed233846 Merge pull request 'chore: Version bump and toolchain cleanup' (#51) from misc/toolchain into dev v0.2.14 Leni Aniva 2024-03-28 22:36:25 -0700
• 14011945a0 Merge pull request 'chore: Version bump and toolchain cleanup' (#51) from misc/toolchain into dev Leni Aniva 2024-03-28 22:36:25 -0700
• 3e1a14222c
  
  Merge branch 'dev' into misc/toolchain Leni Aniva 2024-03-28 22:35:48 -0700
• 2ea8b1c73c Merge branch 'dev' into misc/toolchain Leni Aniva 2024-03-28 22:35:48 -0700
• 0ade3d1637 Merge pull request 'feat: Remove display of implementation details' (#50) from io/serial into dev Leni Aniva 2024-03-28 22:35:37 -0700
• 431e81ca2f Merge pull request 'feat: Remove display of implementation details' (#50) from io/serial into dev Leni Aniva 2024-03-28 22:35:37 -0700
• bdb060b79f
  
  build: Dev shell Leni Aniva 2024-03-28 22:26:46 -0700
• cfd74aba91 build: Dev shell Leni Aniva 2024-03-28 22:26:46 -0700
• c5404b8210
  
  build: Ignore test files when building target Leni Aniva 2024-03-28 22:23:19 -0700
• 4a1114ab00 build: Ignore test files when building target Leni Aniva 2024-03-28 22:23:19 -0700
• 1d1a151a4b
  
  doc: Main README.md Leni Aniva 2024-03-28 22:09:56 -0700
• 4a89aaf70e doc: Main README.md Leni Aniva 2024-03-28 22:09:56 -0700
• d853cb8cc2
  
  chore: Version bump Leni Aniva 2024-03-28 22:08:22 -0700
• 46faa5c089 chore: Version bump Leni Aniva 2024-03-28 22:08:22 -0700
• 78a3b240ba
  
  test: Catalog has no numeric symbols Leni Aniva 2024-03-28 19:56:03 -0700
• e79e386b39 test: Catalog has no numeric symbols Leni Aniva 2024-03-28 19:56:03 -0700
• 35c4ea693d
  
  feat: Stop cataloging internal/detail dependencies Leni Aniva 2024-03-28 19:49:44 -0700
• 8fa1a7d383 feat: Stop cataloging internal/detail dependencies Leni Aniva 2024-03-28 19:49:44 -0700
• d9af064888
  
  test: Elimination of aux lemmas Leni Aniva 2024-03-28 19:27:45 -0700
• 9e68a9cae4 test: Elimination of aux lemmas Leni Aniva 2024-03-28 19:27:45 -0700
• 01a23b338a
  
  feat: Unfold aux lemmas when printing root expr Leni Aniva 2024-03-28 18:56:42 -0700
• a698a4250f feat: Unfold aux lemmas when printing root expr Leni Aniva 2024-03-28 18:56:42 -0700
• 91e55245fa
  
  doc: Update README.md Leni Aniva 2024-03-28 11:37:07 -0700
• 47fabf333b doc: Update README.md Leni Aniva 2024-03-28 11:37:07 -0700
• 22fdb7bea9
  
  build: Nix build targets and checks Leni Aniva 2024-03-28 11:33:15 -0700
• 62d20be841 build: Nix build targets and checks Leni Aniva 2024-03-28 11:33:15 -0700
• 60903bf31f
  
  feat: Bump toolchain version Leni Aniva 2024-03-28 00:06:35 -0700
• 516ab15961 feat: Bump toolchain version Leni Aniva 2024-03-28 00:06:35 -0700
• a3a244159b
  
  chore: Version bump to 0.2.13 v0.2.13 Leni Aniva 2024-03-16 19:00:28 -0700
• f016d60d07 chore: Version bump to 0.2.13 Leni Aniva 2024-03-16 19:00:28 -0700
• bb09d1e964
  
  chore: Version bump to 4.8.0 prerelease Leni Aniva 2024-03-15 18:44:28 -0700
• aae19ec942 chore: Version bump to 4.8.0 prerelease Leni Aniva 2024-03-15 18:44:28 -0700
• b7542b4749
  
  chore: Lean version bump to 4.7.0-rc2 Leni Aniva 2024-03-15 06:01:25 -0700
• 81aabc52ea chore: Lean version bump to 4.7.0-rc2 Leni Aniva 2024-03-15 06:01:25 -0700
• 689112d973
  
  fix: Use Arrays only in the ABI Leni Aniva 2024-03-14 22:40:14 -0700
• e6dbf88ce2 fix: Use Arrays only in the ABI Leni Aniva 2024-03-14 22:40:14 -0700
• b64adf31cf
  
  feat(lib): Export goal.print function Leni Aniva 2024-03-14 16:34:01 -0700
• 3debcc021a feat(lib): Export goal.print function Leni Aniva 2024-03-14 16:34:01 -0700
• c83af044b4
  
  fix: Pass options by reference Leni Aniva 2024-03-11 21:31:59 -0700
• 4eec930dd4 fix: Pass options by reference Leni Aniva 2024-03-11 21:31:59 -0700
• 285cf0416a
  
  feat(lib): Option creation function Leni Aniva 2024-03-10 15:33:32 -0700
• ef864ea16d feat(lib): Option creation function Leni Aniva 2024-03-10 15:33:32 -0700
• 5db727e30b
  
  fix: Execute expr parsing within goal.start Leni Aniva 2024-03-10 15:09:38 -0700
• 0b91c41ad2 fix: Execute expr parsing within goal.start Leni Aniva 2024-03-10 15:09:38 -0700
• f42a27e036
  
  feat(lib): Expose goal state interface Leni Aniva 2024-03-10 08:13:10 -0700
• a5b0721482 feat(lib): Expose goal state interface Leni Aniva 2024-03-10 08:13:10 -0700
• d958dbed9d
  
  feat(lib): CoreM execution function Leni Aniva 2024-03-10 06:41:35 -0700
• 996f16bbb8 feat(lib): CoreM execution function Leni Aniva 2024-03-10 06:41:35 -0700
• ca89d671cc
  
  refactor: Move some functions to `Library.lean` Leni Aniva 2024-03-09 20:33:36 -0800
• f18a9dd1d5 refactor: Move some functions to `Library.lean` Leni Aniva 2024-03-09 20:33:36 -0800
• 4706df2217
  
  feat(lib): Search path function Leni Aniva 2024-03-09 19:36:25 -0800
• eeb149a32c feat(lib): Search path function Leni Aniva 2024-03-09 19:36:25 -0800
• 863c6d9e7d
  
  feat(lib): Catalog command FFI Leni Aniva 2024-03-09 16:50:36 -0800
• 2ad7ad8778 feat(lib): Catalog command FFI Leni Aniva 2024-03-09 16:50:36 -0800
• 021d0b5b7d
  
  feat: Add exported version function Leni Aniva 2024-03-08 23:50:44 -0800
• 7bc0f82654 feat: Add exported version function Leni Aniva 2024-03-08 23:50:44 -0800
• ecacf2107c
  
  feat(build): Add shared facet for lean_lib Leni Aniva 2024-03-06 15:27:22 -0800
• 267d635c05 feat(build): Add shared facet for lean_lib Leni Aniva 2024-03-06 15:27:22 -0800
• 075bec6da2
  
  feat: Output shared library in flake Leni Aniva 2024-03-06 15:26:35 -0800
• 93b7d8b67d feat: Output shared library in flake Leni Aniva 2024-03-06 15:26:35 -0800
• 8853b17fee
  
  test: More diagnostics for tests Leni Aniva 2024-03-06 15:14:08 -0800
• 7e28ded23f test: More diagnostics for tests Leni Aniva 2024-03-06 15:14:08 -0800
• 48e18f6b75
  
  chore: Version bump to 0.2.12 v0.2.12 Leni Aniva 2024-02-15 14:55:26 -0800
• cb0712ccf6 Merge pull request 'feat: Print parent expression assignment' (#45) from goal/relation into dev Leni Aniva 2024-02-15 14:55:02 -0800
• 3292b34070 Merge pull request 'feat: Print parent expression assignment' (#45) from goal/relation into dev Leni Aniva 2024-02-15 14:55:02 -0800
• 111781816f test: Delayed metavariable assignment Leni Aniva 2024-02-15 14:47:09 -0800
• d57612ec71
  
  test: Delayed metavariable assignment Leni Aniva 2024-02-15 14:47:09 -0800
• 18c318cb73 Merge branch 'dev' into goal/relation Leni Aniva 2024-02-15 14:39:30 -0800
• 9ac84b3fd1
  
  Merge branch 'dev' into goal/relation Leni Aniva 2024-02-15 14:39:30 -0800
• 0254759581 Merge pull request 'feat: Add leanpkgs to the flake output' (#46) from nix/toolchain into dev Leni Aniva 2024-02-15 14:30:30 -0800