2701 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Ferran Delgà	7218d9f2e0	Create reflexivity.kind	2021-12-04 19:03:14 +01:00
Ferran Delgà	1a2ef75255	Create add_right.kind	2021-12-04 18:59:50 +01:00
Ferran Delgà	6e8a09cc68	Create add_left.kind	2021-12-04 18:59:27 +01:00
Ferran Delgà	172fb18425	Create transitivity.kind	2021-12-04 18:58:05 +01:00
Ferran Delgà	a35abcd599	Rename add_combine to add_combine.kind	2021-12-04 18:57:05 +01:00
Ferran Delgà	2028e137c7	Create add_combine	2021-12-04 18:56:44 +01:00
Derenash	96a4d0226b	Status updated	2021-12-04 11:25:22 -03:00
Derenash	92997a6e42	Status updated	2021-12-04 11:25:07 -03:00
Rígille S. B. Menezes	77080b3a82	remove old test files	2021-12-04 11:05:31 -03:00
Rígille S. B. Menezes	bb1fd6b252	write tests for RLP	2021-12-04 11:04:05 -03:00
Rígille S. B. Menezes	14ee65d437	Update support.md	2021-12-04 09:23:43 -03:00
Derenash	1f9899dbb7	organized when.kind	2021-12-03 16:51:39 -03:00
Rígille S. B. Menezes	bd53786d77	Merge pull request #306 from kind-lang/RLP_fix ... RLP proof	2021-12-03 15:12:12 -03:00
Rígille S. B. Menezes	8b0136cc2e	split functions in separate files	2021-12-03 15:06:39 -03:00
Rígille S. B. Menezes	802ea59f65	Merge branch 'RLP_fix' of github.com:uwu-tech/Kind into RLP_fix	2021-12-03 14:47:27 -03:00
Rígille S. B. Menezes	9c9f6bdbc9	replace old files with new ones	2021-12-03 14:47:09 -03:00
Derenash	62688aa39b	Merge branch 'grid_game' of github.com:kind-lang/Kind into grid_game	2021-12-03 14:11:59 -03:00
Derenash	c672641eea	Tile Status, Panel Steal, ... Basic attack scaling, player keeping chips from previous round	2021-12-03 14:11:45 -03:00
Rígille S. B. Menezes	b629ffe94c	Update safe.kind	2021-12-03 14:11:09 -03:00
Rígille S. B. Menezes	28e6ab48bc	move tiago's lemma to Nat lib	2021-12-03 14:05:14 -03:00
Rígille S. B. Menezes	5f7e58366e	update comment	2021-12-03 13:47:31 -03:00
Rígille S. B. Menezes	9e13d9f4d3	Delete succ_div.kind	2021-12-03 13:37:43 -03:00
Rígille S. B. Menezes	a42d43ecc9	Delete pow.kind	2021-12-03 13:36:39 -03:00
Rígille S. B. Menezes	3d3130cc6e	Delete bound.kind	2021-12-03 13:36:23 -03:00
Rígille S. B. Menezes	2fd8b4dff8	Delete concat.kind	2021-12-03 13:33:01 -03:00
Rígille S. B. Menezes	8fcf3908a9	Merge branch 'master' into RLP_fix	2021-12-03 13:28:47 -03:00
Rígille S. B. Menezes	ceed87ecad	qed	2021-12-03 13:26:25 -03:00
Vitor	d01fe46c7a	added fewer status functions	2021-12-02 18:57:30 -03:00
Rígille S. B. Menezes	353b15e237	reduce result to simpler lemma	2021-12-02 13:26:18 -03:00
Rígille S. B. Menezes	ddf79eeae0	prove ltn is preserved under multiplication by positives	2021-12-01 13:34:08 -03:00
Rígille S. B. Menezes	ebb3436bbb	prove little lemma	2021-12-01 12:45:23 -03:00
Rígille S. B. Menezes	82c9fdeb92	fix proof after change in lemma	2021-12-01 12:08:54 -03:00
Rígille S. B. Menezes	59a8eb6449	prove lemma that gets around the tail-recursiveness of div_mod	2021-12-01 11:53:15 -03:00
Rígille S. B. Menezes	16613a2dee	prove swaps	2021-12-01 11:24:31 -03:00
Rígille S. B. Menezes	ccf09c2ce8	prove assumptions of recursive call	2021-12-01 11:07:59 -03:00
Rígille S. B. Menezes	2d3d04fdcf	remove old code from Bytes	2021-12-01 10:52:20 -03:00
Derenash	6808f4d573	Fixed projectile running twice in a frame	2021-12-01 09:26:45 -03:00
Derenash	3a61088373	added extra energy cost for using chips from different classes	2021-12-01 08:43:38 -03:00
Derenash	3c158f82c4	Attributes update	2021-12-01 06:21:10 -03:00
Derenash	4bbe02d006	changed flinch to a generic stun effect	2021-11-30 20:34:13 -03:00
Derenash	e231acad84	Merge branch 'grid_game' of github.com:kind-lang/Kind into grid_game	2021-11-30 19:55:36 -03:00
Derenash	655dfa160a	added next id in grid	2021-11-30 19:54:47 -03:00
Vitor	95f3df995d	Added new statuse	2021-11-30 19:53:30 -03:00
Derenash	06a372bfa1	added creature death ... started energy	2021-11-30 19:08:27 -03:00
Rígille S. B. Menezes	35bd591422	prove spec of Nat.div and Nat.mod ... except recursive call assumptions	2021-11-30 18:46:19 -03:00
Rígille S. B. Menezes	0b934d1475	prove Word.to_nat.safe	2021-11-30 13:15:57 -03:00
Rígille S. B. Menezes	233ae622b9	prove Word.to_nat.from_nat assuming Nat.mod.succ_left and ... Nat.mod.mul_both	2021-11-30 12:54:33 -03:00
Rígille S. B. Menezes	67fee9389e	prove Word.to_nat.inc	2021-11-30 12:25:36 -03:00
Rígille S. B. Menezes	266302def9	commit yesterday's unfinished work	2021-11-30 10:55:45 -03:00
rheidner	fe1fe9c341	Merge branch 'grid_game' of https://github.com/uwu-tech/Kind into grid_game	2021-11-29 13:50:31 -03:00