dude-test's People
dude-test's Issues
Test 0108
1:08
Test 1438
2:38
Test comment
8:31
Test 2200
Example 10:00
Test 1440
2:40
Test 2357
23:57
Test413
4:13
Test identical
8:31
Test 2347
23:47
Test 1415
2:15
Real case 1-2
I wonder if I can only consider instructions used for HW1: SmaLLVM Interpreter.
There are many opcode in Llvm.opcode to be appeared even if we use only integers and limited boolean for conditionals.
Such as
- Logical opeartors (shift, or, and, not, ....)
- Select (used in ? : )
- Switch
Test 1140
11:40
Test 1430
2:30
Test 1611
4:11
Test 1412
2:12
Test 1406
2:06
Test 0000
00:00
Test 2031
8:31
Test 1422
2:22
Test 2355
23:55
Test 2157
Example 9:57
Test 1427
2:27
Test 1151
11:51
Test358
3:58
Test 1156
11:56
Test 1541
3:41
Test 1627
4:27
Test 1554
3:54
Test 2008
20:08
Test 2342
23:42
Test 1238
12:38
Test 1246
12:46
Test 1643
4:43
Real case 1-1
Hello, I have several questions on Hw3.
- In README.md, it is written that skeleton code will provide isAssertFail and isAssume, but I cannot see both of them in my repo. Can I ask whether they are intentionally not provided or just missing?
- I guess we should write some code for understanding the semantics of LLVM to create constraints in each CHC. Since there are lots of instructions that LLVM support and we've done similar work for limited set of instructions in Hw1, I guess this applies to Hw3 as well. In fact, I found some instructions such as zext that we did not support in Hw1 but we can see in this homework, so I think we should support more instructions than in Hw1. Can you let me know what kind of instructions we should support?
Thank you in advance.
Test 1452
2:52
Test 1202
12:02
Test identical2
8:31
Test 1405
2:05
Test 1145
11:45
Test comment2
8:31
Test 2151
Example 9:51
Test comment3
8:31
Test333
3:33
Test 1227
12:27
Test334
3:34
Test 2204
10:04
Test comment4
Similarly, 8:31
Test341
3:41
Test 1532
3:32
Test 2153
Example 9:53
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.