Next meeting will be 6/5, milestone stays on 13/5 | |
Because 13/5 turns out to be "Career Day" at our establishment, and there will be no classes, we will move our meeting earlier to 6/5. You will be able to present your progress toward Milestone 1 during the meeting, but the deciding date for the milestone will remain 13/5 to allow you time to complete as many verification objectives as possible. I will upload a list of action items for Milestone 1 to the homework assignments tab, to help you remember. |
עדכון אחרון ב-23/4/2025, 11:51:40 Last updated on 23/4/2025, 11:51:40 Последняя модификация23/4/2025, 11:51:40 تمت الحتلنة الأخيرة ب-23/4/2025, 11:51:40 |
Preparations for next meetup | |
Next week we are going to do verification with Z3 (yay). Install Z3 plus its Python API with: | pip install z3-solver Do not forget the `-solver`!! It is crucially important!!! To test that it worked, run this in your Jupyter notebook: | import z3 | s = z3.Solver() If there is no error, you're all set. |
עדכון אחרון ב-17/4/2025, 21:35:58 Last updated on 17/4/2025, 21:35:58 Последняя модификация17/4/2025, 21:35:58 تمت الحتلنة الأخيرة ب-17/4/2025, 21:35:58 |
Join our Slack | |
You are very much encouraged to join the Slack channel using the invite link (also available in the syllabus). https://join.slack.com/t/cstech236346/shared_invite/zt-d1ydapgw-0pccA8fW~uMJR4yjFYWNMg If you have not teamed up yet, you can post on the channel to look for partners. Also, the description of the warmup milestone (Milestone 0) is available under the "assignments" tab. The specifications required for it are the semantics of the assembly instructions and the two programs included in the item. |
פורסם ב-10/4/2025, 16:48:53 Created on 10/4/2025, 16:48:53 Создано10/4/2025, 16:48:53 تم النشر ب-10/4/2025, 16:48:53 |
Meeting will be at Taub 4 |
פורסם ב-8/4/2025, 11:50:41 Created on 8/4/2025, 11:50:41 Создано8/4/2025, 11:50:41 تم النشر ب-8/4/2025, 11:50:41 |
Project meeting hours: Tue 16:30-18:00 | |
Due to some malfunction, the times were omitted from the SAP views. I apologize for anyone who has already registered without knowing this information. Meetings are not going to be every single week, but teams are expected to be present in order to present their progress. |
פורסם ב-7/4/2025, 13:55:22 Created on 7/4/2025, 13:55:22 Создано7/4/2025, 13:55:22 تم النشر ب-7/4/2025, 13:55:22 |
Prepare for next meeting Tue 8/4 | |
We will be starting our project. To make it most efficient, please prepare a minimal environment on your laptops (we will be doing some in-class activities). You will need Python 3.10 or greater, an IDE with Python support (VSCode or PyCharm), and Jupyter Lab. The latter is not mandatory for the first meetup but is recommended and will be needed later anyway. |
פורסם ב-6/4/2025, 23:17:26 Created on 6/4/2025, 23:17:26 Создано6/4/2025, 23:17:26 تم النشر ب-6/4/2025, 23:17:26 |
First lecture postponed | |
Due to severe health issues, the first lecture will not take place as planned. Updates will be posted towards the following week. |
פורסם ב-28/3/2025, 16:52:34 Created on 28/3/2025, 16:52:34 Создано28/3/2025, 16:52:34 تم النشر ب-28/3/2025, 16:52:34 |