 David Peter
|
4d02aa7ad4
Show function instantiations
|
1 rok temu |
|
David Peter
|
dd3987efda
Deduplicate constraints
|
1 rok temu |
|
David Peter
|
767cb0dba4
Improve logging format
|
1 rok temu |
|
David Peter
|
4caa3a0668
Re-introduce logging
|
1 rok temu |
|
David Peter
|
21c5b6709e
Update documentation in extra::algorithms
|
1 rok temu |
|
David Peter
|
e479a77b62
Add documentation
|
1 rok temu |
|
David Peter
|
34b470f6b7
Add first version of color format conversions
|
1 rok temu |
|
David Peter
|
7c8dc420a7
Move back to deploy.sh (CI)
|
1 rok temu |
|
David Peter
|
93340bb93b
Move rustc version check from deploy.sh to build.sh
|
1 rok temu |
|
David Peter
|
29a99e9e23
Add regression test for #534
|
1 rok temu |
|
David Peter
|
e11e0c0f96
Add regression test for angle example in #505
|
1 rok temu |
|
David Peter
|
ed551ebcee
Remove FullSimplify instruction
|
1 rok temu |
 Tamo
|
1b94dadf22
remove useless simplify call
|
1 rok temu |
|
Tamo
|
dacedf1a18
fix warning
|
1 rok temu |
|
Tamo
|
721b8a0f1c
add a floor_in and round_in function
|
1 rok temu |
|
Tamo
|
d5aa78401b
Fix most of the simplify calls
|
1 rok temu |
|
Tamo
|
c735bfec9f
reduce the number of calls to simplify
|
1 rok temu |
|
David Peter
|
6bbc73e139
Fix typo
|
1 rok temu |
|
David Peter
|
d776fb0ef8
Add lines-of-code as a unit
|
1 rok temu |
|
David Peter
|
afd3a57b9b
Type-inference Gauss elimination example
|
1 rok temu |
|
David Peter
|
7a677456a4
Fix pretty printing for some generic types
|
1 rok temu |
|
David Peter
|
3a767fd344
Remove size of typed_ast::Expression from 416 byte to 224 byte
|
1 rok temu |
|
David Peter
|
ff57ae9adf
Safe versions of round/ceil/floor/trunc
|
1 rok temu |
 Guerric Chupin
|
47d90c1543
Use a MapStack for the environment and namespaces in the typechecker
|
1 rok temu |
|
Guerric Chupin
|
315210011f
Add a MapStack datastructure for the typechecker
|
1 rok temu |
|
David Peter
|
cb245cad1d
Fix warning
|
1 rok temu |
 Manish Bhasin
|
0be18ef79f
refactor(numbat): move interpreter.rs and assert_eq_3.rs to interpreter module directory
|
1 rok temu |
|
Manish Bhasin
|
f5645013a2
feat(ffi/procedures): assert_eq_3: in error message, print with precision of epsilon
|
1 rok temu |
|
Manish Bhasin
|
9048da7b8c
tests(interpreter): integration tests for assert_eq/3 failure
|
1 rok temu |
|
Manish Bhasin
|
616ef7ad55
fix(procedures): assert_eq/3: fail check iff difference is greater than epsilon
|
1 rok temu |
