Commit Graph

Select branches

Hide Pull Requests

enricozb/remove-auto-format

enricozb/rm-auto-format

ghc_compiled_only

master

#1

#10

#10

#11

#12

#12

#13

#14

#15

#16

#17

#17

#18

#19

#2

#3

#4

#5

#6

#7

#8

#9

Mono Color

• 418414286f remove AI comments master Victor Taelin 2024-08-15 13:21:50 -0300
• 402f876f13 Merge branch 'master' of github.com:HigherOrderCO/kind2 Victor Taelin 2024-08-15 13:20:23 -0300
• 5a3494d16c stuff Victor Taelin 2024-08-15 13:19:53 -0300
• 7ef3145135
  Merge a491c3a8cc into c0121aca10 Lorenzo Battistela 2024-07-25 05:39:01 +0200
• 465e51705a
  Merge 67abc5cdf8 into c0121aca10 Eduardo Sandalo Porto 2024-07-25 05:38:47 +0200
• c0121aca10 re-add nam uses definition Enrico Zandomeni Borba 2024-07-23 21:05:07 +0200
• 432f254742 Styling vkobinski 2024-07-23 11:06:28 -0300
• 7183677d0e Working without diagonal vkobinski 2024-07-23 10:50:25 -0300
• cbb8021403 Working board vkobinski 2024-07-22 23:13:22 -0300
• 9f6279ec8c First commit vkobinski 2024-07-22 22:03:39 -0300
• 92677dcaeb
  Merge pull request #18 from HigherOrderCO/enricozb/rm-auto-format Victor Taelin 2024-07-22 09:37:43 -0300
• c3e1d4cac3 remove test enricozb/rm-auto-format Enrico Zandomeni Borba 2024-07-22 13:52:43 +0200
• cb650ef9ca remove unnecessary use Enrico Zandomeni Borba 2024-07-22 13:47:50 +0200
• 27b84c9d4b fix definition being shadowed by uses Enrico Zandomeni Borba 2024-07-22 13:46:06 +0200
• eeda240fef remove format command after merge Enrico Zandomeni Borba 2024-07-19 23:36:56 +0200
• 16b6622d03 show backup file during error reporting Enrico Zandomeni Borba 2024-07-19 23:36:35 +0200
• ce4cbbeffe reverse ADT parameters during readback Enrico Zandomeni Borba 2024-07-19 23:35:48 +0200
• 15c9e258c5 Merge branch 'master' into enricozb/rm-auto-format Enrico Zandomeni Borba 2024-07-19 22:03:48 +0200
• 6c1813fc75 write parsed files (must remove before merge) Enrico Zandomeni Borba 2024-07-19 22:03:07 +0200
• 6e17e472b5 stringify checked annotations Enrico Zandomeni Borba 2024-07-19 22:01:15 +0200
• a491c3a8cc float -> u48 conversion Lorenzobattistela 2024-07-19 07:57:11 -0300
• 8808ca6534 get functions Lorenzobattistela 2024-07-19 07:57:04 -0300
• 617ef3c70c convert float to u48 (truncating) Lorenzobattistela 2024-07-19 07:56:56 -0300
• 062b6d4d18 absolute reference to List/ methods for String/ Enrico Zandomeni Borba 2024-07-19 12:28:16 +0200
• c480a754bf fixing division to 4 digits precision and normalize result Lorenzobattistela 2024-07-19 07:37:53 -0300
• 5b2b0dd3ac normalizing results of other operations Lorenzobattistela 2024-07-19 07:37:41 -0300
• 55c9885839 normalize a float to keep consistent notation Lorenzobattistela 2024-07-19 07:37:27 -0300
• 94c49f3030 fix Nat/half Enrico Zandomeni Borba 2024-07-19 12:05:39 +0200
• fd70f6d0c9 fix Vector/concat Enrico Zandomeni Borba 2024-07-19 12:01:40 +0200
• 4233b80a3a fix implicits Enrico Zandomeni Borba 2024-07-19 11:46:36 +0200
• 7c633d6539 fix String/Chunk functions Enrico Zandomeni Borba 2024-07-19 11:43:19 +0200
• fd2d7d9b6a Nat/is_gte Enrico Zandomeni Borba 2024-07-19 08:47:14 +0200
• acf824c052 adding precision for float division Lorenzobattistela 2024-07-18 20:54:49 -0300
• 7bc0fbbbc8 defining sub for float Lorenzobattistela 2024-07-18 18:37:20 -0300
• 4c1a303009 defining mul for float Lorenzobattistela 2024-07-18 18:37:10 -0300
• 76d334a8c0 defining div for float Lorenzobattistela 2024-07-18 18:36:59 -0300
• 95f3a42138 lambda and forall era syntax Enrico Zandomeni Borba 2024-07-18 22:17:15 +0200
• d3d0c5f4e5 less than cmp u48 -> Bool Lorenzobattistela 2024-07-18 17:15:06 -0300
• bc6cd3d113 implementing exp for u48 Lorenzobattistela 2024-07-18 17:14:58 -0300
• 65c527ee22 match and adding floats Lorenzobattistela 2024-07-18 17:11:26 -0300
• 4660594746 creating float datatype Lorenzobattistela 2024-07-18 17:11:09 -0300
• e76b9d189d
  Merge pull request #16 from Lorenzobattistela/strip-extension Victor Taelin 2024-07-18 13:48:44 -0300
• 0ca63ea6ea stripping extension when calling kind2 Lorenzobattistela 2024-07-18 13:34:59 -0300
• f027e267b2
  Merge pull request #15 from Lorenzobattistela/v2-operations Victor Taelin 2024-07-18 12:46:47 -0300
• f9d3da5bf4 V2 lib functions from linear algebra Lorenzobattistela 2024-07-18 10:03:28 -0300
• fec0603898 inefficient sqrt (newton approx and nat conversion) Lorenzobattistela 2024-07-18 10:03:03 -0300
• fcfa6f8105 U48 -> nat conversion Lorenzobattistela 2024-07-18 10:02:46 -0300
• 0e6cf370f3 fixing? half Lorenzobattistela 2024-07-18 10:02:29 -0300
• a9fdd76f8c calculating square root on nats Lorenzobattistela 2024-07-18 10:02:23 -0300
• 5a5d1bd66a fix let stringification Enrico Zandomeni Borba 2024-07-16 08:11:53 +0200
• 5fe93d11f2 fix ADT indices stringification Enrico Zandomeni Borba 2024-07-16 08:11:26 +0200
• bf88ca6e03 inline ADT stringification Enrico Zandomeni Borba 2024-07-16 08:02:42 +0200
• ccbe711e0b fix use and U48 stringification Enrico Zandomeni Borba 2024-07-16 07:54:07 +0200
• 668e7ff6d2 impl Display Enrico Zandomeni Borba 2024-07-15 15:14:02 +0200
• 79d1111e18 remove format command Enrico Zandomeni Borba 2024-07-15 15:13:58 +0200
• 5a4a3b8e2c tests pass (ignoring book/ top-level kind2 files) Enrico Zandomeni Borba 2024-07-15 14:47:19 +0200
• 0ff051b497 implement kind->js/html5 compiler, quadtrees and some other demo files and libs Victor Taelin 2024-07-11 21:58:59 -0300
• 7bd588f9b6 stuff Victor Taelin 2024-07-11 12:41:48 -0300
• 0a48196422 WIP Victor Taelin 2024-07-11 00:50:58 -0300
• 3062ce4b6e WIP, starting working with KindAI soon Victor Taelin 2024-07-10 19:42:18 -0300
• bf2d62a572 new tld syntax ghc_compiled_only Victor Taelin 2024-07-08 18:13:17 -0300
• e20170a8bb auto fix files - sonnet Victor Taelin 2024-07-05 13:00:18 -0300
• d409b9d5b7 U60 to U48, use let to make match expr, WIPs Victor Taelin 2024-07-05 10:06:49 -0300
• 24510cedbe WIP Victor Taelin 2024-07-05 02:03:05 -0300
• 89c6a0d155 initial syntax guide Victor Taelin 2024-07-05 01:09:41 -0300
• 1142db1144 Update ADT param syntax; update many things (WIP) Victor Taelin 2024-07-05 00:47:13 -0300
• c44314af75 main.rs compilation errors enricozb/remove-auto-format Enrico Zandomeni Borba 2024-07-04 11:13:19 +0200
• 98022098f2 Display for Book Enrico Zandomeni Borba 2024-07-04 11:13:06 +0200
• 9473678ebd fix term/show.rs warning Enrico Zandomeni Borba 2024-07-04 11:13:00 +0200
• 424201c33f sugar/mod.rs: Display Enrico Zandomeni Borba 2024-07-04 11:03:13 +0200
• 469bb29ccb term/show.rs: rearrange Enrico Zandomeni Borba 2024-07-04 11:03:05 +0200
• 560cf18dab sugar: rm whitespace Enrico Zandomeni Borba 2024-07-04 10:20:19 +0200
• 8541573426 Display for Term and Oper Enrico Zandomeni Borba 2024-07-04 10:19:22 +0200
• 667b9cedb8 rm show/mod.rs Enrico Zandomeni Borba 2024-07-04 10:19:16 +0200
• 70a7ceafc5 some trailing whitespace Enrico Zandomeni Borba 2024-07-03 14:46:05 +0200
• c6779b7581 parse _ in name, fix hole parser Victor Taelin 2024-06-22 23:37:35 -0300
• 314aaeee1c use compiled GHC checker only Victor Taelin 2024-06-22 23:00:56 -0300
• d5438cd7df
  Merge 1988935b87 into 2434f5f901 Luna 2024-06-12 21:59:57 +0200
• 2434f5f901
  Merge pull request #14 from NoamDev/ascii-alternatives Victor Taelin 2024-06-08 12:27:06 -0300
• 906bc6474b fix ascii syntax for lambda and forall previously, it collided with names starting with lambda/forall. NoamDev 2024-05-26 18:59:59 +0300
• 80e3ff76c2
  Merge pull request #13 from NoamDev/ascii-alternatives Victor Taelin 2024-05-25 15:07:50 -0300
• b516d3b7ea Ascii alternatives to forall and lambda NoamDev 2024-05-25 20:51:12 +0300
• 058633c6c9 desugar match with implicit args Victor Taelin 2024-05-24 23:40:13 -0300
• ecc1455231 Merge branch 'master' of github.com:HigherOrderCO/kind2 Victor Taelin 2024-05-19 18:10:38 -0300
• 12fc18c697 fix match motive on proofs WIP Victor Taelin 2024-05-19 18:10:31 -0300
• 1988935b87 Remove some functions from kind2.hs prelude, update kind2.hvm2 LunaAmora 2024-03-21 12:27:15 -0300
• 8f498bf1b9 Apply style polishments from hs to kind2.hvm2 LunaAmora 2024-03-20 15:46:07 -0300
• 28e8fda2ca
  Merge pull request #11 from Eduardogbg/patch-1 Yan Mendes 2024-05-16 14:07:53 -0300
• 5e13be733c
  WIP update Yan Mendes 2024-05-15 16:57:01 -0300
• d84640201d
  fix typo in equality docs Eduardo Gomes 2024-04-18 11:21:37 -0300
• 67abc5cdf8 Refactor code generation to use Show Eduardo Sandalo Porto 2024-04-11 20:18:54 -0300
• af819567fd Add specific Kind2 tests for constructor generation Eduardo Sandalo Porto 2024-04-11 17:52:12 -0300
• 63f0dc3466 Test nested module Eduardo Sandalo Porto 2024-04-11 16:10:49 -0300
• 258104ad48 (Mostly) fully test constructor generation Eduardo Sandalo Porto 2024-04-10 21:43:22 -0300
• 67ea1e648c Add test for constructor generation Eduardo Sandalo Porto 2024-04-10 13:11:30 -0300
• 735628816f Start testing constructor generation Eduardo Sandalo Porto 2024-04-09 22:23:32 -0300
• c11e0819cb Solve one of the TODO questions Eduardo Sandalo Porto 2024-04-09 12:41:44 -0300
• b8a382c586 Improve description of the constructor generation result Eduardo Sandalo Porto 2024-04-09 11:50:05 -0300
• ac6438b563 Create folder structure for the constructor if it does not exist Eduardo Sandalo Porto 2024-04-09 11:12:44 -0300
• c428ebc967 Format type indices into construtors, finishing constructor generation Eduardo Sandalo Porto 2024-04-09 10:26:00 -0300