GitXplorerGitXplorer
L

untitled-lang

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
eadb7813ed59797eaf58265e39ccd22fcf84c450

Refactor constant values expressions

LLeSeulArtichaut committed 2 years ago
Unverified
6eeacb99f9865887c24e257061070442f5ac0d9a

Restructure the project

LLeSeulArtichaut committed 2 years ago
Unverified
f67a07040970ba841326c3af4e7f1054954d1177

Add smallstep evaluation

LLeSeulArtichaut committed 2 years ago
Unverified
398f680bdc7cbf4e88380f7c329078b0a6fd3b01

Add language with `guess` non-determinism

LLeSeulArtichaut committed 2 years ago
Unverified
45507e105333afcb38c15ba054e257c1c4ece86c

Move deterministic lang to its own folder

LLeSeulArtichaut committed 2 years ago
Unverified
f6da7b81cfda7b0c9321e0e952dc64d02b76673d

Define program equivalence

LLeSeulArtichaut committed 2 years ago