HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-15 19:30:41 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,701 Commits 10 Branches 10 Tags 56 MiB
master
Commit Graph

2701 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rígille S. B. Menezes
8dfd06447a bound result of Word.to_nat 2021-11-29 13:25:36 -03:00
rheidner
f1f6dcbd09 add keybord function in setup phase 2021-11-29 10:45:43 -03:00
Derenash
2602cf884d Updated chips system 2021-11-29 07:46:07 -03:00
Derenash
21ddb03e43 several additions: 
basic_attack
fixed movement
pull_sword now pulls
moved constants to Constants.kind file
 2021-11-27 04:27:51 -03:00
Rígille S. B. Menezes
dadd623825
Merge pull request #305 from windwardly/ww-markdown 
thanks, good catch
 2021-11-26 17:39:53 -03:00
windwardly
76c2a4f5fb
Markdown formatting fix 
The extra backtick caused formatting aberration in IOS Working Copy.
I checked for other groups of 4 (rg -F $four_backticks) and found none.
 2021-11-26 15:00:02 -05:00
Rígille S. B. Menezes
92b812d14c reduce RLP.aux.bytes_from_nat to a simpler lemma 2021-11-26 12:15:53 -03:00
Rígille S. B. Menezes
6dd1ea45c7 prove a == a^1 2021-11-26 11:08:36 -03:00
Rígille S. B. Menezes
cd93998f2a correct broken proof 2021-11-26 11:06:00 -03:00
Rígille S. B. Menezes
d050d47dce prove Byte.to_nat is the inverse of Bytes.from_nat 2021-11-25 18:06:02 -03:00
rheidner
ca2c5a6f59 temp fix for screen cut 2021-11-25 16:37:09 -03:00
Rígille S. B. Menezes
98d51ba9af prove important lemma 2021-11-25 16:19:29 -03:00
Rígille S. B. Menezes
6728e3b020 readd missing proof 2021-11-25 15:00:02 -03:00
Derenash
e89af2e7c6 updated todos 2021-11-25 06:54:45 -03:00
Derenash
35795dc8de updated turns 2021-11-25 06:50:34 -03:00
Rígille S. B. Menezes
d4ea067d3d get close to prove correctness of Byte.to_nat 2021-11-24 20:53:37 -03:00
Rígille S. B. Menezes
1973287eb6 remove small hole 2021-11-24 14:13:14 -03:00
Rígille S. B. Menezes
d4e7e13ef7 prove RLP.aux.split.1 2021-11-24 13:52:14 -03:00
Rígille S. B. Menezes
6e1684a4cb prove RLP.aux.3 2021-11-24 11:16:14 -03:00
Rígille S. B. Menezes
0d9f0dc30a prove everything except two lemmas 2021-11-23 16:23:01 -03:00
Rígille S. B. Menezes
30003dd12c make holes in node case purely arithmetical 2021-11-23 09:54:57 -03:00
Derenash
51efd45f5d Merge branch 'grid_game' of github.com:kind-lang/Kind into grid_game 2021-11-23 07:57:52 -03:00
Vitor
d5fd701ca7 Added fewer new stuff 2021-11-23 17:30:27 -03:00
Vitor
43e023f40d merging 2021-11-23 15:36:43 -03:00
Vitor
200e2d54ca Added effects and WIP AI 2021-11-23 15:35:01 -03:00
Derenash
8ccd6414e7 update multiople 2021-11-23 07:57:40 -03:00
Derenash
232e8b3bd5 updated to use shapes 2021-11-23 05:13:10 -03:00
Derenash
fbfa202a2e added shapes 2021-11-23 05:00:27 -03:00
Derenash
7929ee2a0a added turns 2021-11-23 04:53:40 -03:00
Rígille S. B. Menezes
e6ba12c22c remove lots of todo's from node case 2021-11-22 17:41:05 -03:00
MaiaVictor
2411295585 Merge branch 'master' of github.com:kind-lang/kind 2021-11-22 14:16:17 -03:00
MaiaVictor
79afeb9863 Add missing file 2021-11-22 14:07:09 -03:00
Rígille S. B. Menezes
da36a89740 bound length of subencodings 2021-11-22 12:40:08 -03:00
caotic123
b342967a43 reorganize files on ether project 2021-11-21 21:47:34 -03:00
Rígille S. B. Menezes
1ff9f8210b start proof about conversion from Nat to word 2021-11-21 12:38:28 -03:00
Derenash
cf82629aaa several different updates 2021-11-20 01:22:31 -03:00
Rígille S. B. Menezes
8d22c0c7d5
Merge pull request #303 from saludes/master 
That's perfect
 2021-11-19 16:05:06 -03:00
Jordi Saludes
18a6325ea7 Split Nat.pow definitions in Nat/pow folder 2021-11-19 17:48:21 +01:00
Jordi Saludes
320ba59e29 Renamed definitions to Nat.pow. 2021-11-19 12:57:27 +01:00
caotic123
2dd72e2424 finish split 1 2021-11-18 23:46:05 -03:00
caotic123
79a3f27947 prove split 0 lemma 2021-11-18 20:05:39 -03:00
Rígille S. B. Menezes
929b0a8a34 include definition I forgot 2021-11-18 18:40:35 -03:00
Rígille S. B. Menezes
0627885130 cover all cases except some arithmetic 2021-11-18 18:38:40 -03:00
Derenash
6a1cbbbd44 color update 2021-11-18 17:29:24 -03:00
Rígille S. B. Menezes
cd7cd28758 corret inconsistency in comparison 2021-11-18 15:26:46 -03:00
Rígille S. B. Menezes
29ab09c82c get really really close to prove the node case 2021-11-18 14:52:32 -03:00
Jordi Saludes
b43fe75ea8
Merge branch 'kind-lang:master' into master 2021-11-18 18:28:16 +01:00
Rígille S. B. Menezes
2b189398d5
Merge pull request #294 from Eloitor/Subsets 
Added Subsets
 2021-11-18 14:17:24 -03:00
Rígille S. B. Menezes
4e4dcfdd2a apply multiple arguments not just 1 2021-11-18 13:12:50 -03:00
Rígille S. B. Menezes
578d770c22 make progress 2021-11-18 13:02:05 -03:00