 Lucas Stadler
|
77c4e49916
use is_true and is_false in the is_clause_* functions
|
10 anos atrás |
|
Lucas Stadler
|
1a75ade163
change is_true and is_false to work properly with unknowns
|
10 anos atrás |
|
Lucas Stadler
|
321a0b3969
implement is_true, is_false and is_unknown
|
10 anos atrás |
|
Lucas Stadler
|
2a23b38aee
implement "detecting" conflict clauses
|
10 anos atrás |
|
Lucas Stadler
|
0874ad6401
introduce an alias for clauses
|
10 anos atrás |
|
Lucas Stadler
|
35ab48ea8d
start a dpll module, just for... fun?
|
10 anos atrás |
|
Lucas Stadler
|
318fefac2e
mv dpll solve
|
10 anos atrás |
|
Lucas Stadler
|
a70c9c31a7
add (a bit of) a readme
|
10 anos atrás |
|
Lucas Stadler
|
e1df0ff76c
fix indentation
|
10 anos atrás |
|
Lucas Stadler
|
5fddf6bdaa
make the warning a bit more appropriate
|
10 anos atrás |
|
Lucas Stadler
|
6463f6a53c
add a tiny bit of docs
|
10 anos atrás |
|
Lucas Stadler
|
7bb7b26bc3
move cnf stuff into a separate crate, not just a module
|
10 anos atrás |
|
Lucas Stadler
|
406918f813
move cnf code to a separate file
|
10 anos atrás |
|
Lucas Stadler
|
d7161531b2
cargoify
|
10 anos atrás |
|
Lucas Stadler
|
d36ec472e2
put parse_dimac into a module
|
10 anos atrás |
|
Lucas Stadler
|
d90dd178a0
a tiny bit of docs
|
10 anos atrás |
|
Lucas Stadler
|
6e6569a5cf
move println!'s out of parse_dimac
|
10 anos atrás |
|
Lucas Stadler
|
0a2b2faf84
don't prefix every error value with "Error:"
|
10 anos atrás |
|
Lucas Stadler
|
32e45b892b
actually return something from parse_dimac
|
10 anos atrás |
|
Lucas Stadler
|
18f261e1a4
parse cnf clauses
|
10 anos atrás |
|
Lucas Stadler
|
479289db7f
make rustc a bit happier
|
10 anos atrás |
|
Lucas Stadler
|
2d07ba64f8
some terrible rust code, don't look at it
|
10 anos atrás |
|
Lucas Stadler
|
6a1d74b480
support moving left and right with the keyboard
|
10 anos atrás |
|
Lucas Stadler
|
f09aa3f1f8
add a few links to useful resources & inspirational stuff
|
10 anos atrás |
|
Lucas Stadler
|
ec6ab0ae0f
document camera movements
|
10 anos atrás |
|
Lucas Stadler
|
f44f684995
don't block regular keyboard shortcuts
|
10 anos atrás |
|
Lucas Stadler
|
b1db22cece
support navigation with cursor keys as well
|
10 anos atrás |
|
Lucas Stadler
|
5ba30a77fd
support camera movement by default
|
10 anos atrás |
|
Lucas Stadler
|
1edaade071
fix fetching dependencies for pixl
|
10 anos atrás |
|
Lucas Stadler
|
161dc64a1a
prepare for supporting camera movement via mouse & keyboard
|
10 anos atrás |
|
Lucas Stadler
|
d71c9a2763
"align" iMouse with the webgl coords
|
10 anos atrás |
|
Lucas Stadler
|
6178e2d612
fix mouse position/input
|
10 anos atrás |
|
Lucas Stadler
|
77e89bdcbf
add an animated variant of the colors shader
|
10 anos atrás |
|
Lucas Stadler
|
99c0f056a4
make errors a bit more visible
|
10 anos atrás |
|
Lucas Stadler
|
fad69effa4
document how to save things
|
10 anos atrás |
|
Lucas Stadler
|
96fd0567d9
give the editor small padding
|
10 anos atrás |
|
Lucas Stadler
|
3228955b33
hide help if escape is pressed
|
10 anos atrás |
|
Lucas Stadler
|
724db63f67
fix indentation
|
10 anos atrás |
|
Lucas Stadler
|
c91c07b2cb
add (a bit of) documentation
|
10 anos atrás |
|
Lucas Stadler
|
fce404def9
make the editor resizable again
|
10 anos atrás |
|
Lucas Stadler
|
6017623117
reorder includes in the default shader
|
10 anos atrás |
|
Lucas Stadler
|
4cb58c6ae3
split up the default files into (quite a few) small parts
|
10 anos atrás |
|
Lucas Stadler
|
5dd5839e9d
support recursive includes (but no loops)
|
10 anos atrás |
|
Lucas Stadler
|
1a7cf50635
pass shaders through a preprocessing step
|
10 anos atrás |
|
Lucas Stadler
|
930f9654d3
ignore concatenated version
|
10 anos atrás |
|
Lucas Stadler
|
f207d0a79b
move the changed indicator on top of the editor textarea
|
10 anos atrás |
|
Lucas Stadler
|
e89887cd64
integrate file saving & default files with the main editor
|
10 anos atrás |
|
Lucas Stadler
|
912fd37f35
make files.js includable externally
|
10 anos atrás |
|
Lucas Stadler
|
8ceeb691a5
librarize the file storage stuff
|
10 anos atrás |
|
Lucas Stadler
|
dd0db41b25
add a change indicator
|
10 anos atrás |
