GitXplorerGitXplorer
c

minitrace

public
10 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
a10c3e4a9b917401c6ef5033b2c8b0f001e883e0

stuff

ccfbolz committed 4 months ago
Unverified
84cf6820aad84f87a4af23874a6c3fa774febadc

support for constant matching

ccfbolz committed 4 months ago
Unverified
55d5dbfb46cfc230a8f55e74cfe7e1f74f554c00

correct commutativity, sorting

ccfbolz committed 4 months ago
Unverified
1a8ba4be520c55e26c3ed94fdb3841d8cefe876a

generate code

ccfbolz committed 4 months ago
Unverified
d00c7422754b328765b2e7abf92cf71c08b6ee2d

shorter proof conditions

ccfbolz committed 4 months ago
Unverified
9953f75dcc4af0f4e94aceaaf08fda5e26d0c901

if -> check

ccfbolz committed 4 months ago

README

The README file for this repository.

minitrace

experiments in building tiny tracing JITs in various languages (Prolog to start)