Next meeting moved up to 20/7 | |
|
Technically the last "Tuesday" of the semester is Sunday 25/7, but that is a bit inconvenient so I have made an executive decision to have a closing meeting next Tuesday 20/7. There is no specific milestone for this meeting; each team would just present where they are at and how far along they came. Submission of the final project can be done when you have finished your objectives. |
| פורסם ב-14/8/2024, 11:05:47 Created on 14/8/2024, 11:05:47 Создано14/8/2024, 11:05:47 تم النشر ب-14/8/2024, 11:05:47 |
The promised compiler backend & some further instructions | |
| I have added an item to course material containing two PDF documents and a Python file containing the compiler backend implementation. The documents are short and the instructions are straightforward; please go over them. |
| פורסם ב-6/8/2024, 01:16:50 Created on 6/8/2024, 01:16:50 Создано6/8/2024, 01:16:50 تم النشر ب-6/8/2024, 01:16:50 |
C/C++ Compiler for Today | |
|
When we set up the environment, I told you we will need to compile C/C++ programs. Now is the time in which it is needed. You will need the executables "gcc", "g++", and "make". In WSL, these can be installed via sudo apt install --no-install-recommends build-essential You can do it now to save us some long waiting during class. |
| עדכון אחרון ב-16/7/2024, 15:19:09 Last updated on 16/7/2024, 15:19:09 Последняя модификация16/7/2024, 15:19:09 تمت الحتلنة الأخيرة ب-16/7/2024, 15:19:09 |
Updated Notebooks in Github | |
|
Located in `sw/verify`. Go over these again to see that you can reconstruct what I showed in class. Your current task is to create CHCs for programs written in StASM — in bitvec and int form — and verify that these programs meet their specs. |
| פורסם ב-3/7/2024, 00:52:23 Created on 3/7/2024, 00:52:23 Создано3/7/2024, 00:52:23 تم النشر ب-3/7/2024, 00:52:23 |
Reminder: Meetup Today - Taub 301 | |
|
You will be asked to present the specifications that you wrote for the CPU and how you verified them. Then I will show you a demo to illustrate techniques for verification of software - which is our next step. Please be prepared to take notes, so that you will have pointers when you are taking it on yourself. |
| פורסם ב-2/7/2024, 13:31:23 Created on 2/7/2024, 13:31:23 Создано2/7/2024, 13:31:23 تم النشر ب-2/7/2024, 13:31:23 |
Next Steps | |
|
For the next step of the project, since there was no meeting this week, I have uploaded for you in Course Materials the slides and a document that explains your tasks. Read it through, peruse the accompanying slides and Jupyter notebook, and do the verification tasks. We meet again in three weeks to discuss your hardware specifications and move on to software. |
| פורסם ב-13/6/2024, 11:48:55 Created on 13/6/2024, 11:48:55 Создано13/6/2024, 11:48:55 تم النشر ب-13/6/2024, 11:48:55 |
Next week & further steps | |
|
I wrote on the slide Week #3 11/6 but it has escaped my notion that 11/6 is a holiday so we would not be able to meet. The following week is a bit uncertain, so in order to avoid delays we will take the following actions: ▷ By next week (before the holiday), upload your code to a *PRIVATE* Github repository, place a README with the names of your teams members and student IDs, and send an invite to `ucorwin.amberatgmail.com`. ▷ You do not need to present your warmup assignment in class, but if you wish to get feedback, join the Slack channel and post questions (it is possible to message privately as well). ▷ I will send you written instructions on how to proceed from here so that you can start working on the next milestone right after the holiday. ▷ Next meeting will be 2/7, office hours will be available until 20/6 (I will be out of town the week of 23/6, but will be available to answer questions on Slack). Best of luck. |
| עדכון אחרון ב-5/6/2024, 19:57:53 Last updated on 5/6/2024, 19:57:53 Последняя модификация5/6/2024, 19:57:53 تمت الحتلنة الأخيرة ب-5/6/2024, 19:57:53 |
UPDATE: Meetup will be in Taub 301 | |
| We hope for not too much noise at this time of day. |
| פורסם ב-28/5/2024, 10:23:07 Created on 28/5/2024, 10:23:07 Создано28/5/2024, 10:23:07 تم النشر ب-28/5/2024, 10:23:07 |
Looking for a room for today | |
| We have not been allocated a room yet due to clerical error. We will update you ASAP, stay tuned. |
| פורסם ב-28/5/2024, 09:56:19 Created on 28/5/2024, 09:56:19 Создано28/5/2024, 09:56:19 تم النشر ب-28/5/2024, 09:56:19 |
IMPORTANT: Prepare for the first Project Meetup | |
|
This is a hands-on project. We will have meetings, during which students will present their work, and also we will do some live coding. You are required to prepare for the first meeting, Tue 28/5 at 16:30: ▸ A laptop ▸ If you are using Windows, INSTALL WSL2 and a Linux distribution (Debian recommended). ▸ Install Python 3.11 or above. If you are using WSL2, remember to install it *on the Linux distribution* (not on Windows). It is important that you do this a-priori -- downloading WSL and Linux in particular may take a long time and the Internet access in classrooms is not very fast. Link to instructions for installing WSL2: https://learn.microsoft.com/en-us/windows/wsl/install (Note: I was informed that WSL2 can also be installed from the Windows Store. I have not tried this, but you may give it a shot.) |
| עדכון אחרון ב-26/5/2024, 23:33:05 Last updated on 26/5/2024, 23:33:05 Последняя модификация26/5/2024, 23:33:05 تمت الحتلنة الأخيرة ب-26/5/2024, 23:33:05 |