Commit Graph

25 Commits

Author SHA1 Message Date
John J. Camilleri
0ff4b0079d Minor changes to transactions.md 2021-09-24 07:57:52 +02:00
Krasimir Angelov
00d5b238a3 Update transactions.md 2021-09-23 17:56:09 +02:00
Krasimir Angelov
c843cec096 Update transactions.md 2021-09-23 15:28:49 +02:00
Krasimir Angelov
3ee0d54878 Update transactions.md 2021-09-23 15:07:13 +02:00
Krasimir Angelov
5e46c27d86 Update transactions.md 2021-09-23 15:01:19 +02:00
Krasimir Angelov
2a3d5cc617 Update transactions.md 2021-09-23 14:07:50 +02:00
Krasimir Angelov
001e727c29 Update transactions.md 2021-09-23 13:35:11 +02:00
Krasimir Angelov
cb6d3c4a2d Update transactions.md 2021-09-23 13:03:18 +02:00
Krasimir Angelov
cfc1e15fcf Update transactions.md 2021-09-23 12:01:28 +02:00
Krasimir Angelov
bebd56438b Update transactions.md 2021-09-23 10:59:36 +02:00
krangelov
bcbf9efa5f started a page about transactions 2021-09-22 14:44:56 +02:00
Krasimir Angelov
2daf9e2e19 Update abstract_expressions.md 2021-08-31 21:57:13 +02:00
Krasimir Angelov
e03df47911 Update abstract_expressions.md 2021-08-31 21:56:15 +02:00
Krasimir Angelov
6b359a6362 Update abstract_expressions.md 2021-08-31 13:01:04 +02:00
Krasimir Angelov
f25b518186 Update abstract_expressions.md 2021-08-27 18:25:46 +02:00
Krasimir Angelov
5982dbc146 Update README.md 2021-08-26 17:38:58 +02:00
Krasimir Angelov
9b2813f48a Create abstract_expressions.md 2021-08-26 17:38:28 +02:00
John J. Camilleri
03f02ae5d2 A bunch of superficial changes to the docs after reading through them carefully again 2021-08-24 11:27:10 +02:00
Krasimir Angelov
0187be04ff Update memory_model.md 2021-08-08 16:50:16 +02:00
Krasimir Angelov
db8843c8bf Update memory_model.md 2021-08-07 20:39:09 +02:00
Krasimir Angelov
bfd839b7b0 Update README.md 2021-08-07 18:29:59 +02:00
Krasimir Angelov
78d6282da2 Create README.md 2021-08-07 18:29:31 +02:00
Krasimir Angelov
cc8db24a46 Update memory_model.md 2021-08-07 10:36:34 +02:00
Krasimir Angelov
72c51f4bf9 Create memory_model.md 2021-08-07 09:44:50 +02:00
Krasimir Angelov
a8b3537184 Create DESIDERATA.md 2021-07-30 12:55:33 +02:00